Representing design tradeoffs in safety-critical systems.
Jennifer MorrisPhilip KoopmanPublished in: ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- support systems
- fault tolerant
- building blocks
- case study
- nuclear power plant
- agent architecture
- regulatory requirements
- design process
- distributed systems
- information systems
- knowledge based systems
- intelligent systems
- knowledge acquisition
- decision support system
- low cost
- modeling language
- user modeling
- management system
- control system
- data model
- artificial intelligence
- real time