Improving methods and processes for the development of safety-critical automotive embedded systems.
Martin KrammerNadja MarkoEric ArmengaudDirk GeyerGerhard GriessnigPublished in: ETFA (2010)
Keyphrases
- safety critical
- embedded systems
- support systems
- formal methods
- safety analysis
- fault tolerant
- agent architecture
- embedded software
- adaptive systems
- low cost
- real time
- artificial intelligence
- open source
- medical images
- knowledge based systems
- software systems
- cooperative
- multi agent
- e learning
- computing power
- embedded devices
- databases