Standard compliant co-simulation models for verification of automotive embedded systems.
Martin KrammerHelmut MartinZoran RadmilovicSimon ErkerMichael KarnerPublished in: FDL (2015)
Keyphrases
- embedded systems
- simulation models
- simulation model
- low cost
- computing power
- safety critical
- embedded devices
- resource limited
- simulation tools
- embedded software
- real time systems
- processing power
- embedded real time systems
- hardware software
- agent based simulation
- real time image processing
- flash memory
- software systems
- real time
- commercial software
- fault tolerant
- model checking
- hw sw