Export Citations
2 Results for: Keyword: timed trace inclusion
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,856,263 records)|Limit your search to The ACM Full-Text Collection (778,706 records)
Select All
- research-articleDecember 2013
Analyzing an embedded sensor with timed automata in uppaal
ACM Transactions on Embedded Computing Systems (TECS), Volume 13, Issue 3Article No.: 44, Pages 1–26https://doi.org/10.1145/2539036.2539040An infrared sensor is modeled and analyzed in Uppaal. The sensor typifies the sort of component that engineers regularly integrate into larger systems by writing interface hardware and software.
In all, three main models are developed. In the first ...
- research-articleOctober 2008
Automatically transforming and relating Uppaal models of embedded systems
EMSOFT '08: Proceedings of the 8th ACM international conference on Embedded softwarePages 59–68https://doi.org/10.1145/1450058.1450068Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems designs. Timed automata may be used to model a system at multiple levels of ...