Specification-based prototyping for embedded systems

Jeffrey M. Thompson, Mats P.E. Heimdahl, Steven P. Miller

Research output: Chapter in Book/Report/Conference proceedingConference contribution

51 Scopus citations

Abstract

Specification of software for safety critical, embedded computer systems has been widely addressed in literature. To achieve the high level of confidence in a specification's correctness necessary in many applications, manual inspections, formal verification, and simulation must be used in concert. Researchers have successfully addressed issues in inspection and verification; however, results in the areas of execution and simulation of specifications have not made as large an impact as desired. In this paper we present an approach to specification-based prototyping which addresses this issue. It combines the advantages of rigorous for- mal specifications and rapid systems prototyping. The approach lets us refine a formal executable model of the system requirements to a detailed model of the software requirements. Throughout this refinement process, the specification is used as a prototype of the proposed software. Thus, we guarantee that the formal specification of the system is always consistent with the observed behavior of the prototype. The approach is supported with the Nimbus environment, a framework that allows the formal specification to execute while interacting with software models of its embedding environment or even the physical environment itself (hardware-in-the-loop simulation).

Original languageEnglish (US)
Title of host publicationSoftware Engineering, ESEC/FSE 1999 - 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings
Pages163-179
Number of pages17
StatePublished - Dec 1 1999
Event7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999 - Toulouse, France
Duration: Sep 6 1999Sep 10 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1687 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999
CountryFrance
CityToulouse
Period9/6/999/10/99

Fingerprint Dive into the research topics of 'Specification-based prototyping for embedded systems'. Together they form a unique fingerprint.

Cite this