Using the CoRE Requirements Method with ADARTS. Version 01.00.05
Abstract:
This technical report explains how you can use the Ada-Based Design Approach for Real-Time Systems ADARTSSM to build a software design that satisfies software requirements specified using the Consortium Requirements Engineering Method CoRE. ADARTS is a widely accepted object-oriented method for system and software development that results in a robust design that is well documented, meets timing requirements, can withstand change, and contains many reusable components. CoRE is a new object-oriented approach to software requirements engineering that results in requirements that are precise, testable, complete, consistent, and resilient in the face of change. This report is a supplement to the ADARTS Guidebook Version 2 and the CoRE Guidebook Version 1 and discusses developing a CoRE requirements specification for use with ADARTS deriving an ADARTS process structure from CoRE requirements combining ADARTS processes and objects derived from CoRE requirements into an ADARTS software architecture design and taking advantage of CoREs precision in the ADARTS process structuring, class structuring, and software architecture design activities. Object-oriented requirements and design, Concurrency, Real- time software, ADARTS, CoRE, Formal specification, Evaluation criteria.