Timed Automata Semantics for Analyzing Creol

15 years 2 months ago

Download homepages.cwi.nl

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.

Mohammad Mahdi Jaghoori, Tom Chothia

Real-time Traffic

Abstract Models | CORR 2010 | Education | Multi-core Embedded Systems | Real-time Creol |

claim paper

» Dating Concurrent Objects RealTime Modeling and Schedulability Analysis

» Romeo A Tool for Analyzing Time Petri Nets

» Partial Order Reduction for Model Checking of Timed Automata

» Partial Order Reduction for Verification of RealTime Components

» Timed Patterns TCOZ to Timed Automata

» Verification of Quantitative Temporal Properties of SDL Specifications

» Dynamic Classes Modular Asynchronous Evolution of Distributed Concurrent Objects

» A timing model for synchronous language implementations in simulink

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Mohammad Mahdi Jaghoori, Tom Chothia

Comments (0)

Sciweavers

Timed Automata Semantics for Analyzing Creol

Abstract Models | CORR 2010 | Education | Multi-core Embedded Systems | Real-time Creol |

Explore & Download

Productivity Tools

Sciweavers