Issue No. 05 - September/October (1992 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.156894
<p>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.</p>
mission critical real-time systems; object-oriented models; graphical specification; Software Productivity Consortium; software development; Consortium Requirements Engineering; CASE tools; Core; forward models; formal specifications; nonalgorithmic specifications; conceptual model; safety-shutdown software; shipboard fuel-control system; formal specification; object-oriented methods; object-oriented programming; real-time systems; software houses; software tools
J. Brackett, J. Kirby, Jr., S. Faulk and P. Ward, "The Core Method for Real-Time Requirements," in IEEE Software, vol. 9, no. , pp. 22-33, 1992.