Paper Info
Title
Compiling Modechart specifications
Abstract
The Modechart specification language is a formalism for the specification of real-time systems. A toolset for specification, analysis and simulation for Modechart specifications exists for supporting the design and construction of real-time systems. This paper introduces a new tool in the toolset: a compiler for a class of Modechart specifications, namely, that of deterministic system specifications, extended by a subclass of the non-deterministic system specifications. The object code that the compiler generates is in ESTEREL, a member of the synchronous family of programming languages for real-time systems. We discuss a broad approach to the implementation of timing specifications, providing a range of implementation options, from the basic time step unrolling of states in ESTEREL, to the use of system timers. The compiler presented herein allows the specifier to obtain a correct implementation of a Modechart program, including timing constraints.
Year
DOI
Venue
1995
10.1109/REAL.1995.495215
RTSS
Keywords
Field
DocType
modechart program,timing specification,modechart specification,deterministic system specification,non-deterministic system specification,timina specification,system timers,implementation option,compiling modechart specifications,basic time step,compiling modechart specification,modechart specification language,real-time system,correct implementation,computational modeling,programming language,logic,concurrent computing,specification language,compiler,real time systems,broadcasting,formal specification,computer languages,object code
Specification language,Object code,Programming language,Specifier,Computer science,Formal specification,Compiler,Real-time computing,Deterministic system,Formalism (philosophy),Esterel
Conference
ISSN
ISBN
Citations 
1545-3421
0-8186-7337-0
8
PageRank 
References 
Authors
0.77
5
3
Name
Order
Citations
PageRank
C. Puchol1131.38
Aloysius K. Mok266286.52
D. A. Stuart380.77