Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
David DelmasEric GoubaultSylvie PutotJean SouyrisKarim TekkalFranck VédrinePublished in: FMICS (2009)
Keyphrases
- safety critical
- safety analysis
- fault tolerant
- formal methods
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- adaptive systems
- software intensive systems
- real time
- software systems
- load balancing
- regulatory requirements
- software development
- multi agent systems
- open source
- software engineering
- decision making