Lightweight Contracts for Safety-Critical Automotive Systems.
Bernhard KaiserStefan SonskiSuryo BuonoHauke PetersenJustyna ZanderPublished in: GI-Jahrestagung (2015)
Keyphrases
- lightweight
- safety critical
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- agent architecture
- communication infrastructure
- nuclear power plant
- distributed systems
- dos attacks
- support systems
- regulatory requirements
- adaptive systems
- expert systems
- intelligent agents
- intelligent systems
- management system
- wireless sensor networks
- machine learning