Integrating rate monotonic analysis into the preliminary Ada design process

Abstract

High quality software is easier to understand, maintain and reuse. The quality of real-time systems is often measured in how well they meet their critical timing requirements as well as their computational requirements. Management and practitioners need to know early on in the development process if what they are designing will meet its critical timing requirements. The Rate Monotonic Analysis (RMA) theory and guidelines for its usage in Ada designs are reviewed. This paper proposes extending this work to include the integration of RMA as a design metric when evaluating the timing correctness of preliminary Ada programs.