Embedded Avionics Software

Embedded Avionics Software is a specialized form of embedded software that is formally designed, verified, and integrated into avionic systems to perform critical real-time functions governing flight operations, safety, and aircraft subsystem control within stringent regulatory and certification constraints.

Publications

1.3K

Citations

144

Authors

Institutions

Publications per year

2017–2026

Parents

Avionics

Children

Aerospace MiddlewareAvionics Communication ProtocolsBuilt-in TestCertification ComplianceData Load ManagementDeterministic SchedulingDo-178c ComplianceEmbedded Software ArchitectureExecution Time AnalysisFlight Control Laws

Publications

Unmanned aerial vehicles embedded control

Rogelio Lozano · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations

Engineering, Aerospace Engineering, Robotics Engineering +12

Mixed abstractions for floating-point arithmetic

Angelo Brillout, Daniel Kroening, Thomas Wahl · 2009 · 72 citations

Computing, Computer Engineering, Computer Science +14

SCADE 6: A formal language for embedded critical software development (invited paper)

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet · 2017 · 65 citations

Computing, Computer Engineering, Computer Science +17

Firmware Update Over The Air (FOTA) for Automotive Industry

Moshe Shavit, Andy Gryc, Radovan Miucic · SAE technical papers on CD-ROM/SAE technical paper series · 2007 · 64 citations

Engineering, Automotive Engineering, Computer Engineering +14

A middleware architecture for unmanned aircraft avionics

Juan López, Pablo Royo, Enric Pastor et al. · 2007 · 50 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +17

1–5 of 56

Authors

144

AM
Antoine Miné
École Normale Supérieure - PSL, France
3 publications · 54 citations
3
h-index
MP
Michael Paulitsch
Honeywell (United States), United States
2 publications · 26 citations
2
h-index
MP
Marc Pouzet
Institut national de recherche en sciences et technologies du numérique, France
2 publications · 79 citations
2
h-index
NG
Nancy G. Leveson
Massachusetts Institute of Technology, United States
2 publications · 34 citations
2
h-index
GH
G. Hyslop
2 publications · 31 citations
2
h-index

1–5 of 144

Institutions

1–8 of 56

Venues

IEEE Aerospace and Electronic Systems Magazine
4 publications · 81 citations
4
h-index
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)
Conference · 2 publications · 38 citations
2
h-index
International Journal of Advanced Robotic Systems
ARS · 2 publications · 44 citations
2
h-index
HAL (Le Centre pour la Communication Scientifique Directe)
Repository · 2 publications · 94 citations
2
h-index
Aerospace Science and Technology
AST · 1 publications · 14 citations
2
h-index

1–5