Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Software Requirements Analysis for Real-Time Process-Control Systems
Jaffe M., Leveson N., Heimdahl M., Melhart B. IEEE Transactions on Software Engineering17 (3):241-258,1991.Type:Article
Date Reviewed: Mar 1 1992

The authors discuss a set of criteria useful for the detection of errors in the requirements specification of real-time process-control systems. The criteria are based on an abstract state-machine model and defined formally using first-order predicate calculus. They cover such areas as system states, transitions, input/output variables and conditions, and relationships among them.

Some of the criteria are general and merely serve to illustrate how formalisms can be used. For example, the authors recommend that all input must be used somewhere, every state must be reachable, and input conditions must be exhaustive and mutually exclusive.

The authors rightly point out that the mere existence or nonexistence of an event carries no meaning without timing considerations. The most useful and interesting discussions in the paper are mostly related to timing, such as input and output capacities, timing between successive events, latency, data age, interrupt-signaled events, performance degradation, and anomalies such as being too late or too early. The coverage of the reachability considerations of safe states through robust paths is also interesting.

Although the title of the paper suggests that the universe of discourse is real-time process-control systems, most of the analyses suggested are applicable in general and would be just as useful in any safety-critical system. The criteria proposed are far from complete, and more study is required before the specified systems can be guaranteed to be robust and free from ambiguity. Furthermore, the authors do not indicate how the formally expressed criteria can be linked with specification languages or formal verification techniques.

Reviewer:  T.H. Tse Review #: CR115350
Bookmark and Share
Languages (D.2.1 ... )
Real Time (J.7 ... )
Real-Time And Embedded Systems (C.3 ... )
Real-Time Systems And Embedded Systems (D.4.7 ... )
Reliability (D.2.4 ... )
Models Of Computation (F.1.1 )
Organization And Design (D.4.7 )
Software/ Program Verification (D.2.4 )
Computers In Other Systems (J.7 )
Special-Purpose And Application-Based Systems (C.3 )
Would you recommend this review?
Other reviews under "Languages": Date
An examination of requirements specification languages
Tse T., Pong L. The Computer Journal 34(2): 143-152, 1991. Type: Article
Apr 1 1992
Towards a formal basis for the formal development method and the Ina Jo specification language
Berry D. IEEE Transactions on Software Engineering SE-13(2): 184-201, 1987. Type: Article
Oct 1 1987
On the design of ANNA, a specification language for ADA
Luckham D.  Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany,2271984. Type: Proceedings
May 1 1986

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy