Model-based construction and verification of critical systems using composition and partial refinement

This article introduces a new model-based method for incrementally constructing critical systems and illustrates its application to the development of fault-tolerant systems . The method relies on a special form of composition to combine software components and a set of proof rules to obtain high co...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal methods in system design 2010-12, Vol.37 (2-3), p.265-294
Hauptverfasser:	Jeffords, Ralph D., Heitmeyer, Constance L., Archer, Myla M., Leonard, Elizabeth I.
Format:	Artikel
Sprache:	eng
Schlagworte:	CAE) and Design Circuits and Systems Computer programs Computer-Aided Engineering (CAD Construction Electrical Engineering Engineering Fault tolerance Formal method Mathematical models Proving Software development Software Engineering/Programming and Operating Systems Systems design
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!