The Core method for real-time requirements
- 1 September 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 9 (5) , 22-33
- https://doi.org/10.1109/52.156894
Abstract
The member companies of the Software Productivity Consortium develop large, mission-critical, real-time applications. For these companies, requirements are the top-priority problem in systems and software development. These requirements have driven the development of the Consortium Requirements Engineering (Core) method and its prototype CASE tools. Core is a single, coherent method for specifying real-time requirements that integrates object-oriented and forward models, integrates graphical and formal specifications, permits nonalgorithmic specifications, and provides a machine-like model. The Core requirements, component technologies, and conceptual model are discussed. Some important Core features are illustrated with an example of safety-shutdown software for a shipboard fuel-control system.Keywords
This publication has 4 references indexed in Scilit:
- Semantics of Modechart in real time logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- How to integrate object orientation with structured analysis and designIEEE Software, 1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980