Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.
Jan JürjensSiv Hilde HoumbPublished in: LADC (2003)
Keyphrases
- safety critical
- formal methods
- risk analysis
- safety analysis
- support systems
- fault tolerant
- embedded systems
- knowledge based systems
- agent architecture
- adaptive systems
- model checking
- software engineering
- decision making
- artificial intelligence
- software systems
- learning systems
- formal specification
- information systems
- real time
- fuzzy numbers
- low cost
- risk assessment
- management system