Timed Automata Semantics for Analyzing Creol

Details Timed Automata Semantics for Analyzing Creol Timed Automata Semantics for Analyzing Creol

2010-07-29

arxiv.org/abs/1007.5095v1

EPTCS 30, 2010, pp. 108-122

Computer Science

Logic in Computer Science

In Proceedings FOCLASA 2010, arXiv:1007.4993

Scientific paper

10.4204/EPTCS.30.8

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.

Affiliated with

Also associated with

No associations

Rating

Timed Automata Semantics for Analyzing Creol does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Timed Automata Semantics for Analyzing Creol, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Timed Automata Semantics for Analyzing Creol will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-450545