Software requirements analysis for real-time process-control systems

1 March 1991

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. 17 (3) , 241-258
https://doi.org/10.1109/32.75414

Abstract

A set of criteria is defined to help find errors in, software requirements specifications. Only analysis criteria that examine the behavioral description of the computer are considered. The behavior of the software is described in terms of observable phenomena external to the software. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements.

Keywords

This publication has 13 references indexed in Scilit:

THE ARCHITECTURE OF MARS
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
A Graph-Theoretic Approach for Timing Analysis and its Implementation
IEEE Transactions on Computers, 1987
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987
Software safety: why, what, and how
ACM Computing Surveys, 1986
Correct and Robust Programs
IEEE Transactions on Software Engineering, 1984
An Operational Approach to Requirements Specification for Embedded Systems
IEEE Transactions on Software Engineering, 1982
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering, 1980
A Requirements Engineering Methodology for Real-Time Processing Requirements
IEEE Transactions on Software Engineering, 1977
An analysis of errors and their causes in system programs
IEEE Transactions on Software Engineering, 1975
Some experience with automated aids to the design of large-scale reliable software
IEEE Transactions on Software Engineering, 1975