This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Core Method for Real-Time Requirements
September/October 1992 (vol. 9 no. 5)
pp. 22-33

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.

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:
Stuart Faulk, John Brackett, Paul Ward, James Kirby, Jr., "The Core Method for Real-Time Requirements," IEEE Software, vol. 9, no. 5, pp. 22-33, Sept.-Oct. 1992, doi:10.1109/52.156894
Usage of this product signifies your acceptance of the Terms of Use.