01435nam 2200445 450 991070968080332120180523103912.0(CKB)5470000002471425(OCoLC)1037096897(EXLCZ)99547000000247142520180523j198304 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAutomation, supervisory control and workload in flight management /Thomas B. SheridanMoffett Field, California :National Aeronautics and Space Administration, Ames Research Center,April 1983.1 online resource (13 unnumbered pages)NASA/CR ;166474"April 1983."Includes bibliographical references (page 13).Flight controlnasatAvionicsnasatCockpitsnasatPilot performancenasatFlight instrumentsnasatFlight control.Avionics.Cockpits.Pilot performance.Flight instruments.Sheridan Thomas B.492149Ames Research Center,GPOGPOBOOK9910709680803321Automation, supervisory control and workload in flight management3465997UNINA03211nam 22006375 450 99657793770331620231019224956.03-8007-5501-7(CKB)4100000011881316606f24c1-ef78-4a5d-bcb4-378eb0dd2d03(EXLCZ)99410000001188131620210325d2021 ||| |enguruuu---uuuuutxtrdacontentcrdamediacrrdacarrierITG-Fb. 296: MBMV 2021 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenNeuerscheinungBerlinVDE Verlag2021Online-Ressource (139 S.)ITG-FachberichtePublicationDate: 202103253-8007-5500-9 Long description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen: • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung • Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) • Schaltungen und Systeme in sicherheitsrelevanten Produkten • Verifikation nichtfunktionaler Eigenschaften • Simulationsbasierte Verifikation und Validierung • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und SystemenOptimierungModellierungSimulationMachine LearningEchtzeitsystemeSyntheseSchaltungen und SystemeFormale VerifikationKI-basierte ModelleModellierungsspracheVerhaltensmodellierungsicherheitsrelevante ProdukteOptimierungModellierungSimulationMachine LearningEchtzeitsystemeSyntheseSchaltungen und SystemeFormale VerifikationKI-basierte ModelleModellierungsspracheVerhaltensmodellierungsicherheitsrelevante ProdukteVDE/VDI GMMedtVDE ITGedtGIedtPROCEEDING996577937703316ITG-Fb. 296: MBMV 20213884117UNISA