System design for enhanced forward-engineering possibilities of safety critical embedded systems.
Martin KrammerMichael KarnerAnton FuchsPublished in: DDECS (2014)
Keyphrases
- embedded systems
- safety critical
- embedded software
- low cost
- computing power
- safety analysis
- formal methods
- agent architecture
- regulatory requirements
- hardware software
- fault tolerant
- software systems
- support systems
- hw sw
- software engineering
- real time
- software architecture
- field programmable gate array
- reinforcement learning
- databases
- context aware
- source code
- open source