Year: 2010
Type: article
Abstract: We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to verify real time properties of Creol objects, in particular to see whether processes can be scheduled correctly and meet their 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.
DOI: 10.4204/eptcs.30.8
Authors: Mohammad Mahdi Jaghoori, Tom Chothia
Institutions: Centrum Wiskunde & Informatica, University of Birmingham
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W2046022569