HiLeS-T: an ADL for early requirement verification of embedded systems.
Horacio HoyosRubby CasallasFernando JiménezPublished in: ACES-MB@MoDELS (2012)
Keyphrases
- embedded systems
- low cost
- computing power
- embedded devices
- resource limited
- embedded software
- model checking
- real time systems
- description language
- real time image processing
- hardware software
- processing power
- safety critical
- software systems
- consumer electronics
- real time
- embedded real time systems
- software development
- open source
- protocol stack