System design validation using formal models

Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is to build and evaluate an abstract model(s) of aspects of the system that are perceiv...

Full description

Saved in:
Bibliographic Details
Published inProceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246) pp. 10 - 14
Main Authors Henderson, P., Walters, R.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1999
Subjects
Computer science
Costs
Ear
Inspection
Programming
Prototypes
Safety
Software engineering
Software tools
User interfaces
Online AccessGet full text

Cover

More Information
Summary:Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is to build and evaluate an abstract model(s) of aspects of the system that are perceived as important. Using a model will not provide proof of the system, but it can help to find shortcomings and errors at an early stage. Executing the model should also give a measure of confidence in the final product. Many systems today are built from communicating components so that the task of the developers is becoming fitting these components together to form the required system. We show how a formal model can be sympathetic to this type of architecture using our tool, RolEnact and explain how this may be related to a COM implementation.
ISBN:9780769502465
0769502466
DOI:10.1109/IWRSP.1999.779024