MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.
Markus BeckerGilles B. DefoFranco FummiWolfgang MüllerGraziano PravadelliSara VincoPublished in: DATE (2012)
Keyphrases
- embedded systems
- embedded devices
- low cost
- resource limited
- embedded software
- computing power
- processing power
- flash memory
- hardware software
- real world
- high level
- software systems
- real time systems
- real time image processing
- consumer electronics
- hw sw
- safety critical
- field programmable gate array
- database systems
- model checking
- signal processing
- cooperative
- artificial intelligence