Timed Automata Semantics for Analyzing Creol

ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Mohammad Mahdi Jaghoori, Tom Chothia
• Keywords: Abstract Models, CORR 2010, Education, Multi-core Embedded Systems, Real-time Creol