SA2: languages for safety-critical software: issues and assessment.
Benjamin M. BrosgolPublished in: SIGAda (2007)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- nuclear power plant
- agent architecture
- adaptive systems
- support systems
- software intensive systems
- decision support
- medical diagnosis
- model checking
- software systems
- medical images
- management system
- user interface
- cooperative
- machine learning