A Requirement Verification Framework for Real-Time Embedded Systems

Wei-Tek Tsai,Feng Zhu

2002-01-01

Abstract:Failures in real-time embedded reactive applications including safety-critical devices such as cardiac rhythm management devices can be costly and have to be avoided. Software plays the important role of controlling system components in many safety-critical systems and therefore its testing is essential to ensure the high levels of reliability and availability of the products. Requirement verification is one of the critical phases of the product development where the product is checked for its compliance with its requirements through its execution. Object-oriented application frameworks are large and sophisticated systems that provide the structure and functionality for rapid development of applications within the framework's domain through design and code reuse. Frameworks provide this significant improvement in design and code reuse through mechanisms and techniques that encapsulate and implement, by the use of abstraction, the most frequently used domain functionality in a context-independent architecture. The use of encapsulation and abstraction techniques also ensures that framework systems provide the necessary flexibility and extensibility to develop different types of custom applications around the framework architecture. In this thesis, we establish an object-oriented framework for the requirement verification of real-time embedded systems. The main contribution of this thesis is the requirement-centered, pattern-based requirement verification framework for real-time embedded systems. Different from any other existing test approaches and test frameworks, our verification framework makes the requirement an essential component. This basic idea is further developed and enhanced by requirement patterns and verification patterns provided with the framework. Further, the verification framework is not limited to those patterns described in this thesis. New patterns can be added to enrich the framework and all the existing patterns can even be replaced by new patterns that are more appropriate in classifying requirements in a specific application domain. The requirement patterns presented in this thesis are created based on the survey of actual requirement specifications for real-time embedded systems. The concepts of requirement patterns and verification patterns, together with the framework have been proved to be efficient and effective in verify timing-related requirement specifications at an industrial site.