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.
|Number of pages||14|
|Journal||Electronic Notes in Theoretical Computer Science|
|State||Published - 1999|
|Event||The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems - Carmel, CA, United States|
Duration: 23 Oct 1998 → 26 Oct 1998