A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems.
Manuel NúñezFernando L. PelayoIsmael RodríguezPublished in: IESS (2005)
Keyphrases
- embedded systems
- low cost
- real time systems
- safety critical
- embedded devices
- computing power
- embedded real time systems
- complex systems
- processing power
- software systems
- real time image processing
- real world
- embedded software
- communication technologies
- hardware software
- resource limited
- formal methods
- field programmable gate array
- flash memory
- test cases
- computer systems
- signal processing
- distributed systems
- high level
- artificial intelligence