Maintaining families of rigorous requirements for embedded software systems

Más información sobre el libro

Rigorous requirements for embedded software systems must be maintained throughout their lifetime to ensure dependability. As these systems often face frequent changes in requirements, maintenance becomes crucial. This can be achieved by explicitly considering the entire family of requirements and structuring them appropriately. The text demonstrates this approach using telephone switching systems, which are long-lived embedded software systems. Divided into two parts, the first part introduces families of rigorous software requirements and their organization into requirements modules, which differ from those of single systems. It begins with foundational concepts, particularly the information hiding principle, and develops the notion of requirements modules from this basis. This framework helps to better understand current challenges and propose solutions. The second part delves into the user interface requirements module, exploring how to encapsulate these requirements effectively. It also addresses a specific maintenance issue known as "feature interaction" problems, examining them through the lens of human-computer interaction. This perspective offers innovative strategies for mitigating these challenges, enhancing the overall dependability and usability of embedded software systems.