Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Steven H. VanderLeest"'
Our technology shapes the way we live, interact, work, play, and even worship. Technology and its power are both old and new—as is the wisdom we need to envision, design, build, and use it well. For Christians passionate about developing technology
Publikováno v:
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC).
DO-297/ED-124 defines incremental acceptance as a "process for obtaining credit toward approval and certification by accepting or finding that an IMA module, application, and/or off-aircraft IMA system complies with specific requirements." However, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46a2110823f5b69f49dbc0e6758c8b16
https://doi.org/10.1109/dasc52595.2021.9594404
https://doi.org/10.1109/dasc52595.2021.9594404
Autor:
Steven H. VanderLeest
Publikováno v:
2000 Annual Conference Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c68aeed75e574f189cd3ce9e4bfe708
https://doi.org/10.18260/1-2--8624
https://doi.org/10.18260/1-2--8624
Publikováno v:
1998 Annual Conference Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79d5e5cd70776c6a3a4d60f9e6b24c32
https://doi.org/10.18260/1-2--7148
https://doi.org/10.18260/1-2--7148
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85ebd5bd578214d8e71d7e002a2f2680
https://doi.org/10.4271/2020-01-0016
https://doi.org/10.4271/2020-01-0016
Autor:
Steven H. VanderLeest
Publikováno v:
IEEE Aerospace and Electronic Systems Magazine. 33:16-21
How do we know that the software on a modern aircraft is reliable enough to trust our lives with it? The seL4 microkernel is a minimalist operating system that has potential for use in avionics. It has been formally proven to satisfy its specificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a222042feeacaa2b8279e7db18512cbf
https://doi.org/10.1109/maes.2018.160217
https://doi.org/10.1109/maes.2018.160217
Autor:
Martin Halle, Stefan Harwarth, Bjoern Annighoefer, Steven H. VanderLeest, Marina Reich, Christopher B. Watkins, Patrick Deiber, Andreas Schweiger
Publikováno v:
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).
Today's air vehicles depend on digital technology. It accounts for more than 30% of their development costs. The number of functions, the lines of code, the degree of autonomy, and the number of vehicles rise. This is why there is a need for cutting-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff794aa4d07acc1f5afcf618697ef0a9
https://doi.org/10.1109/dasc43569.2019.9081794
https://doi.org/10.1109/dasc43569.2019.9081794
Publikováno v:
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd1b0f1ad342efbd3f7d9c8bcce79f00
https://doi.org/10.1109/dasc.2018.8569651
https://doi.org/10.1109/dasc.2018.8569651
Autor:
Steven H. VanderLeest
Publikováno v:
2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).
A partitioning environment is one of the components of an avionics architecture aligned with the Future Airborne Capability Environment (FACE™). In this paper, we explore the design of a hypervisor to provide the partitioning specified in the FACE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::581eae95c4276dd54a204dcca23f98c8
https://doi.org/10.1109/dasc.2017.8102056
https://doi.org/10.1109/dasc.2017.8102056
Autor:
Steven H. VanderLeest
Publikováno v:
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).
Mixed criticality functions integrated on a single computing platform require special attention to safety and security. ARINC 653 and DO-248 provide guidelines for partitioning software so that functions of differing levels of criticality are isolate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14ef7c32d56f6eeafd461073e648a41d
https://doi.org/10.1109/dasc.2016.7778001
https://doi.org/10.1109/dasc.2016.7778001