The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
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
CITATION
John Brackett, James Kirby, Jr., Stuart Faulk, Paul Ward, "The Core Method for Real-Time Requirements", IEEE Software, vol. 9, no. , pp. 22-33, September/October 1992, doi:10.1109/52.156894
138 ms
(Ver )