Specification based prototyping of control systems

Mats Heimdahl, Jeffrey M. Thompson

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

3 Scopus citations


A specification based prototyping was used for the simulation and debugging of formal software specifications for control systems. The specification based prototyping combines the advantages of traditional formal specifications with the advantages of rapid prototyping. The consistency between the prototype and the requirements specification eliminates the problems of inconsistent documentation commonly associated with prototyping.

Original languageEnglish (US)
Title of host publicationAIAA/IEEE Digital Avionics Systems Conference - Proceedings
StatePublished - Dec 1 2000

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

Cite this