Advertisement
Published in:
2010 | OriginalPaper | Chapter
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Authors : Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
Published in: CONCUR 2010 - Concurrency Theory
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case execution times and deadlines. We show how to analyze schedulability of an abstraction of real-time concurrent objects in terms of timed automata. Further, we introduce techniques for testing the conformance between these behavioral abstractions and the executable semantics of Real-Time Creol in Real-Time Maude.
As a case study we model and analyze the schedulability of thread pools in an industrial communication platform.