Reference/Literaturverweis [Bre05a]

Bredereke, J.:
Maintaining Families of Rigorous Requirements for Embedded Software Systems.
Habilitation thesis, University of Bremen, Germany (2005).

A revised version appeared as [Bre07b].

Abstract / Zusammenfassung

Rigorous requirements for embedded software systems must and can be maintained over the system's life time. Rigorous requirements are necessary to ensure the dependability of the software system. Embedded software systems are often expected to be dependable. Maintenance is inevitable because of frequent requirements changes after and even before delivery. Maintenance is possible by explicitly considering the entire family of requirements and by structuring it suitably. We demonstrate this for telephone switching systems. They are an example of particularly long-lived embedded software systems.

The book is structured into two parts. The first part introduces to families of rigorous software requirements, and how to organize them into requirements modules. A family of requirements must be organized rather differently than the requirements for a single system. We first take a step back to the foundations. We start with the information hiding principle in particular and develop our notion of requirements module from it. We then step forward again and add this concept to a current approach. Our notion of requirements module allows us to understand some current problems better, and also to propose solutions.

The second part looks at one of the requirements modules in more detail, which is the user interface requirements module. We look at how the requirements for the user interface can be encapsulated. We also make a link back to one kind of the current maintenance problems, which are the "feature interaction" problems. We view these problems from the perspective of human-computer interaction. This gives us interesting new means for reducing them.

Keywords

Requirements; software maintenance; embedded systems; formal techniques; feature interaction problems.

Full Text / Volltext

PDF (172 kB)
Postscript/gzip (100 kB)

Supporting Software

• Typesetting Z Specifications with Family Constructs (in Englisch)
• genFamMem home page - A specification generator and type checker for families of formal requirements. (in Englisch)
• Download: syntax highlighting for CSP in the vim editor. (in Englisch)