Scenario based requirement analysis modeling and design evaluation for real-time reactive systems

An effective requirements engineering process can greatly improve the quality of software development, direct an effective design solution, reduce early mistakes, and provide a foundation for evaluating design and implementation. In this thesis work, we explored how to integrate scenario-based requirements modeling approach into real time reactive system development. We developed an object-event-scenario requirement analysis modeling method, which describes system context, behavioural characteristics and system usages. We also developed a scenario-based design evaluation method, which applies a black-box approach to simulate design execution, test design solutions, and evaluate design performance. To promote and facilitate our scenario-based design evaluation, some supporting tools are designed and developed