Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Integrating SCR Requirements into Cleanroom Software Engineering

 
: Bunse, C.; Kamsties, E.

Smith, G. ; Q-Labs; IEEE Computer Society:
1st ISEW Cleanroom Workshop 1996
Los Alamitos: IEEE Computer Society Press, 1996
ISBN: 0-8186-7671-X
S.41-52 : Ill., Lit.
Cleanroom Workshop <1, 1996, Berlin>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()
box structure method; cleanroom; formal specification; real-time systems

Abstract
This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanroom Soft ware Engineering, to form a seamless method for the for mal specification and design of real-time systems. SCR documents functional and non-functional requirements such as timing and precision using a tabular notation of mathematical functions. Cleanroom supports the develop ment of near-zero-defect software through formal methods and statistical quality control. The formalism primarily used in Cleanroom for specification and design is called Box Structure Method (BSM). We show how SCR can be integrated in BSM as a black-box-like description, and how the syntax and semantics of box structures can be extended to serve for real-time systems. Subsequently we describe how BSM's refinement and verification proce dures have to be modified according to our previous defini tions. The presentation is illustrated with a simplified example of a safety injection system for a reactor core.

: http://publica.fraunhofer.de/dokumente/PX-19191.html