TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.
Valérie BertinEtienne ClosseMichel PoizeJacques PulouJoseph SifakisPatrick VenierDaniel WeilSergio YovinePublished in: CDC (2001)
Keyphrases
- embedded systems
- real time systems
- real time
- low cost
- resource limited
- safety critical
- embedded devices
- smart camera
- computing power
- embedded real time systems
- embedded software
- software systems
- hardware software
- circuit design
- real time image processing
- processing power
- hw sw
- field programmable gate array
- flash memory
- consumer electronics
- model checking
- real time embedded
- artificial intelligence