Validating the dependability of embedded systems through fault injection by means of loadable kernel modules.
Marco MurcianoMassimo ViolantePublished in: HLDVT (2007)
Keyphrases
- embedded systems
- fault injection
- low cost
- software systems
- safety critical
- computing power
- embedded devices
- hardware software
- resource limited
- embedded software
- embedded real time systems
- real time systems
- java card
- relational databases
- field programmable gate array
- fault model
- resource constrained
- hw sw
- data model
- case study
- data management
- query language
- consumer electronics