Software Development for Real-Time Safety-Critical Applications.
Andrew J. KorneckiJanusz ZalewskiPublished in: SEW Tutorial Notes (2003)
Keyphrases
- safety critical
- software development
- real time
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- software engineering
- software architecture
- software systems
- low cost
- adaptive systems
- life cycle
- decision support
- knowledge management
- case study
- distributed systems
- control system
- artificial intelligence