Structural transformations for data-enriched real-time systems

DOI10.1007/S00165-014-0306-YMaRDI QIDQ493518zbMATH OpenOpenAlexFDO

Authors Mani Swaminathan, Ernst-Rüdiger Olderog

Publication date 3 September 2015

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-014-0306-y

zbMATH Keywords

separationflatteningcommunication closednessextended timed automatalayered compositionlayered reachabilitynon-interference and precedencereal-time mutual exclusionstructural transformations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Layered composition for timed automata
• Network invariants for real-time systems
• Network invariants for real-time systems
• Modular abstractions for verifying real-time distributed systems
• scientific article; zbMATH DE number 6300098

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1361127 (Why is no real title available?)
• scientific article; zbMATH DE number 1361136 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1405646 (Why is no real title available?)
• A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
• A partial order semantics approach to the clock explosion problem of timed automata
• A principle for sequential reasoning about distributed algorithms
• A theory of timed automata
• An algebraic framework for urgency
• Decomposition of distributed programs into communication-closed layers
• Formal Methods for the Design of Real-Time Systems
• Layered composition for timed automata
• Layered reasoning for randomized distributed algorithms
• Partial Order Reduction for Verification of Real-Time Components
• Randomized mutual exclusion algorithms revisited
• Real-Time Systems
• Timed automata with disjoint activity

Cited in

(1)

• Layered composition for timed automata

Describes a project that uses

Uses Software

• Uppaal
• SLAB
• UNITY

This page was built for publication: Structural transformations for data-enriched real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493518)