The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Construction and analysis of transition systems with MEC
Construction and analysis of transition systems with MEC
Compilation of the ELECTRE reactive language into finite transition systems
Theoretical Computer Science
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The AltaRica formalism for describing concurrent systems
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
An algebraic framework for urgency
Information and Computation
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
On the Construction of Live Timed Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Compositional Specification of Timed Systems (Extended Abstract)
STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Modeling Urgency in Timed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
On the Composition of Hybrid Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Compositional and symbolic model-checking of real-time systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
| Hi-index | 0.00 |
In this paper we present a timed extension of the ALTARICA formalism. Following previous works, we first extend the semantics of ALTARICA with time and define timed components and timed nodes. Moreover we lift the priority features of ALTARICA to the timed case. We obtain a timed version of ALTARICA, called ALTARICA. Finally we give a translation of a ALTARICA specification into a usual timed automaton. These are the semantic foundations of a high-level hierarchical language for the specification of timed systems.