A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets.
Nermin KajtazovicAndrea HöllerTobias RauterChristian KreinerPublished in: ModComp@MoDELS (2014)
Keyphrases
- lightweight
- safety critical
- embedded systems
- formal methods
- safety analysis
- communication infrastructure
- management system
- building blocks
- support systems
- decision making
- learning systems
- fault tolerant
- design patterns
- agent architecture
- decision support system
- adaptive systems
- nuclear power plant
- wireless sensor networks