Inversion of control container for safety-critical embedded systems.
Nermin KajtazovicChristopher PreschernChristian KreinerPublished in: EuroPLoP (2013)
Keyphrases
- embedded systems
- safety critical
- low cost
- safety analysis
- computing power
- embedded software
- embedded devices
- formal methods
- software systems
- regulatory requirements
- control system
- fault tolerant
- field programmable gate array
- support systems
- cyber physical systems
- agent architecture
- decision support system
- software engineering
- knowledge representation
- user interface
- e learning
- decision making
- real time
- database