Real-time systems development with MASS??

Vered Gafni*, Yishai Feldman, Amiram Yehudai

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


In this paper, we demonstrate the capability of MASS, a real-time design language, for large systems specification. The paper presents a hierarchical specification of an automatic cruise controller that evolves through stepwise refinement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of specifications in MASS.

Original languageEnglish
Pages (from-to)73-86
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
StatePublished - 1999
EventThe 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems - Carmel, CA, United States
Duration: 23 Oct 199826 Oct 1998


Dive into the research topics of 'Real-time systems development with MASS??'. Together they form a unique fingerprint.

Cite this