Certification of software for real-time safety-critical systems: state of the art.
Andrew J. KorneckiJanusz ZalewskiPublished in: Innov. Syst. Softw. Eng. (2009)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- real time
- agent architecture
- nuclear power plant
- software intensive systems
- support systems
- regulatory requirements
- adaptive systems
- distributed systems
- low cost
- e learning
- decision making
- software systems
- context awareness
- control system
- multi agent systems
- machine learning
- data mining