On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems.
Tim OodesHolger KrispChristian Müller-SchloerPublished in: ARCS (2002)
Keyphrases
- safety critical
- formal methods
- embedded systems
- support systems
- fault tolerant
- safety analysis
- nuclear power plant
- agent architecture
- building blocks
- design process
- knowledge based systems
- regulatory requirements
- knowledge base
- software intensive systems
- expert systems
- case study
- information systems
- learning systems
- decision support
- software development
- open source
- artificial intelligence
- data mining