Compositional schedulability analysis of real-time actor-based systems

DOI10.1007/s00236-015-0254-xzbMath1371.68045OpenAlexW2260971813WikidataQ42290005 ScholiaQ42290005MaRDI QIDQ530212

Mohammad Mahdi Jaghoori, Tom Chothia, Delphine Longuet, Marjan Sirjani, Frank S. de Boer

Publication date: 9 June 2017

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-015-0254-x

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• TAXYS
• Uppaal2k
• Eiffel
• Uppaal
• Viptos
• Sumatra
• Grail
• Camelot

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
• Minimum and maximum delay problems in real-time systems
• Scheduler modeling based on the controller synthesis paradigm
• Conformance testing for real-time systems
• Folk theorems on the determinization and minimization of timed automata
• Scala actors: Unifying thread-based and event-based programming
• The timed failures -- Stability model for CSP
• A theory of timed automata
• Symbolic model checking for real-time systems
• Module checking
• Uppaal in a nutshell
• Schedulability of asynchronous real-time concurrent objects
• A refinement-based process algebra for timed automata
• Task automata: Schedulability, decidability and undecidability
• Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability
• Timed I/O automata
• The earlier the better
• A Game Approach to Determinize Timed Automata
• Hard Real-Time Computing Systems
• Undecidable Problems About Timed Automata
• On Conformance Testing for Timed Systems
• A foundation for actor computation
• Model Checking Software
• Formal Approaches to Software Testing
• Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k

This page was built for publication: Compositional schedulability analysis of real-time actor-based systems