2019 · 24 citations · 40 references
EngineeringAerospace EngineeringSystems EngineeringAvionicsRequirements EngineeringSoftware EngineeringAvionics ArchitectureAvionics TestingDigital PrototypingEmbedded Systems DesignMission AvionicsAvionics IntegrationAvionics System ArchitectureAvionics ValidationAvionics VerificationEngineering RequirementsSystem Model Development
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-edge technology and development methods. There is a gap between academia's methods and industrial applications due to multi-disciplinary challenges. We summarize the state-of-the-art in avionics, namely avionics platforms, requirements engineering, model-based development, automated verification, emerging technologies, and emerging demands. Experts review the most demanding challenges, research gaps, and promising solutions. They provide recommendations for the enhancement of the cooperation between industry and academia and suggest necessary research topics. This article is an introduction for those who are new to avionics. It is an up-to-date summary, for insiders looking for most promising solutions to their current problems; and it is a guide for those advancing avionics research.
40
Mastering the game of Go without human knowledge
David Silver, Julian Schrittwieser, Karen Simonyan et al. · Nature · 2017 · 9.2K citations
Engineering, Educational Psychology, Cognitive Psychology +7
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
The B-book: assigning programs to meanings
Choice Reviews Online · 1997 · 2.1K citations
János Sztipanovits, Gábor Karsai · Computer · 1997 · 457 citations
Frama-C: A software analysis perspective
Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 388 citations · Full text