Engineering CASE tools to support formal methods for real-time software development

A prototype toolset that provides comprehensive support for constructing verifiably correct real-time systems is described. The toolset supports the development of specifications in the graphical Modechart language and several methods for improving the correctness of the specifications, including fo...

Full description

Saved in:
Bibliographic Details
Main Authors: Heitmeyer, C.L., Labaw, B.G., Clements, P.C., Mok, A.K.
Format: Conference Proceeding
Language:English
Subjects:
Computer aided software engineering
Delay effects
Design engineering
Laboratories
Programming
Prototypes
Real time systems
Software prototyping
Timing
User interfaces
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A prototype toolset that provides comprehensive support for constructing verifiably correct real-time systems is described. The toolset supports the development of specifications in the graphical Modechart language and several methods for improving the correctness of the specifications, including formal verification, simulation, and consistency and completeness checking. An engineering approach for developing the toolset is presented that integrates software engineering principles, prototyping, and early and continued focus on user interface design. Contributions that the toolset effort makes to computer-aided software engineering (CASE) support for formal methods are summarized.< >
DOI:10.1109/CASE.1992.200138