Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems.

Claude Baron Vincent Louis

Published in: Comput. Ind. (2023)

Keyphrases

safety critical
embedded systems
embedded software
formal methods
safety analysis
development projects
knowledge based systems
low cost
distributed systems
database management systems
agent architecture
support systems
fault tolerant
databases
intelligent systems
decision support system
expert systems
data mining