Modular Schedulability Analysis of Concurrent Objects in Creol

Boer, Frank S. de; Chothia, Tom; Jaghoori, Mohammad Mahdi

doi:10.1007/978-3-642-11623-0_12

Cited by 12 publications

(2 citation statements)

References 13 publications

(21 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Creol is a concurrent object-oriented language with an operational semantics written in an actor-based style, and supported by a language interpreter in the Maude system. In [5], Creol is extended by adding best-case and worst-case execution time for each statement, and a deadline for each method call. In addition, an object is assigned a scheduling strategy to resolve the nondeterminism in selecting from the enabled processes.…”

Section: Related Workmentioning

confidence: 99%

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Aceto¹,

Cimini²,

Ingólfsdóttir³

et al. 2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Buy / Rent full text

In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics of the language using Structural Operational Semantics, and show its expressiveness by means of examples. We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca. We can use the tool to set the parameters of timed Rebeca models, which represent the environment and component variables, and use McErlang to run multiple simulations for different settings. Timed Rebeca restricts the modeller to a pure asynchronous actor-based paradigm, where the structure of the model represents the service oriented architecture, while the computational model matches the network infrastructure. Simulation is shown to be an effective analysis support, specially where model checking faces almost immediate state explosion in an asynchronous setting.

show abstract

Section: Related Workmentioning

confidence: 99%

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Aceto¹,

Cimini²,

Ingólfsdóttir³

et al. 2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Buy / Rent full text

show abstract

“…We discussed a possible encoding from Creol to timed automata in a past paper [4], however this encoding was incomplete, both in the Creol features covered and because it discussed only translation of one method; it would generate many automata to encode each method. In the full, efficient encoding presented in this paper, we improve scalability by reducing the number of generated automata (i.e., release statements do not generate a new automaton now).…”

Section: Related Workmentioning

confidence: 99%

Timed Automata Semantics for Analyzing Creol

Jaghoori¹,

Chothia

2010

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Buy / Rent full text

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

show abstract

Modular Schedulability Analysis of Concurrent Objects in Creol

Cited by 12 publications

References 13 publications

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Timed Automata Semantics for Analyzing Creol

Contact Info

Product

Resources

About