Abstract | ||
---|---|---|
Abstract: This paper introduces MacBeth, a language for the behavioral specification and programming of real-time applications. MacBeth is designed to specify as well as implement systems that treat timing and state as first-class objects, in a general, yet formal, concise and efficient fashion. The purpose of MacBeth is to produce not only better code but also correct code in a fast but structured fashion. While MacBeth inherits features like concurrency, synchrony, hierarchy and broadcast communication from existing synchronous languages, it also incorporates new features like asynchronous communication among components, language support for the execution of periodic and event-driven tasks with timing constraints, extended and flexible transition expressions, simplification of basic common constructs such as interrupts and exceptions, modularization, as well as static typing, structuring and parametrization of state diagrams. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1109/RTTAS.2001.929885 | IEEE Real-Time Technology and Applications Symposium |
Keywords | Field | DocType |
macbeth inherits feature,state diagram,correct code,structured fashion,broadcast communication,language support,synchronous language,programming language,efficient fashion,better code,macbeth specification,asynchronous communication,concurrency,real time systems,static typing,real time applications,hardware,broadcasting,modularization,computer languages,concurrent computing,state,state diagrams,marine technology,application software,hierarchy,high level languages,interrupts | Specification language,Domain-specific language,Fifth-generation programming language,Second-generation programming language,Programming language specification,Programming language,Computer science,Fourth-generation programming language,Real-time computing,Theoretical computer science,High-level programming language,Third-generation programming language | Conference |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carlos Puchol | 1 | 138 | 18.65 |
Subramanian K. Iyer | 2 | 24 | 2.94 |