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 formal 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
Foundations of Software Engineering, Toulouse, France, September, 1999
Associated research group: Critical Systems Research Group
Thompson, Jeffrey; Heimdahl, Mats; Miller, Steven.
Specification-Based Prototyping for Embedded Systems.
Retrieved from the University of Minnesota Digital Conservancy,
Content distributed via the University of Minnesota's Digital Conservancy may be subject to additional license and use restrictions applied by the depositor.