Experimental Assessment of Astrée on Safety-Critical Avionics Software.

Jean Souyris David Delmas

Published in: SAFECOMP (2007)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
software development
real time
artificial intelligence
decision making
user interface
agent architecture
support systems
nuclear power plant