Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Martin Waßmuth"'
Autor:
Martin Hiller, Laurent Dieudonné, Maurice Girod, Martin Waßmuth, Ottmar Bender, Carsten Strobel
Publikováno v:
Model-Based Engineering of Embedded Systems ISBN: 9783642346132
Model-Based Engineering of Embedded Systems
Model-Based Engineering of Embedded Systems
Avionics systems have to be certified by the airworthiness authorities before they can be installed and operated in an aircraft.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0dc7f8332b18fe72fd560cca4652e57
https://doi.org/10.1007/978-3-642-34614-9_13
https://doi.org/10.1007/978-3-642-34614-9_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642336744
SAFECOMP Workshops
SAFECOMP Workshops
Avionic safety standards such as ARP4754A, DO-178B, and DO-254 specifying the development, validation and verification processes do not provide an unambiguous guideline for system developers, refining ARP4754A system requirements down to DO-178B or D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::201c9747ac8908090a155ffd46054102
https://doi.org/10.1007/978-3-642-33675-1_37
https://doi.org/10.1007/978-3-642-33675-1_37
Publikováno v:
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss.
Development of safety critical systems in the aviation industry is a costly and time-consuming process. Despite the increasing complexity of modern aircraft systems, todays safety analyses and proofs for certification purposes are still performed thr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e1ff142c3e40720ec7a6e8f6c578acb
https://doi.org/10.1145/2349913.2349918
https://doi.org/10.1145/2349913.2349918
