UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.
Michaela HuhnHardi HungarPublished in: Model-Based Engineering of Embedded Real-Time Systems (2007)
Keyphrases
- safety critical
- software intensive systems
- formal methods
- safety analysis
- software engineering
- nuclear power plant
- fault tolerant
- embedded systems
- support systems
- software systems
- agent architecture
- requirements engineering
- software engineering practices
- knowledge based systems
- software development
- artificial intelligence
- model checking
- decision support
- software agents
- load balancing
- object oriented
- high level