Dating concurrent objects: real-time modeling and schedulability analysis

Authors:
Frank S. de Boer;Mohammad Mahdi Jaghoori;Einar Broch Johnsen
Affiliations:
CWI, Amsterdam, The Netherlands and LIACS, Leiden, The Netherlands;University of Oslo, Norway;CWI, Amsterdam, The Netherlands and LIACS, Leiden, The Netherlands
Venue:
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Year:
2010

Citing 11
Cited 5

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
A theory of timed automata

Theoretical Computer Science
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Semantics and pragmatics of Real-Time Maude

Higher-Order and Symbolic Computation
On Conformance Testing for Timed Systems

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Schedulability and Compatibility of Real Time Asynchronous Objects

RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
A Real-Time Extension of Creol for Modelling Biomedical Sensors

Formal Methods for Components and Objects
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A complete guide to the future

ESOP'07 Proceedings of the 16th European conference on Programming
Model based testing with labelled transition systems

Formal methods and testing

Programming and deployment of active objects with application-level scheduling

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Composing real-time concurrent objects: refinement, compatibility and schedulability

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Compositional real-time models

Journal of Systems Architecture: the EUROMICRO Journal
A formal model of user-defined resources in resource-restricted deployment scenarios

FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
User-defined schedulers for real-time concurrent objects

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.