Software Requirements Analysis foi Real-Time Process-Control Systems

Matthew S. Jaffe, Nancy G. Leveson, Mats P.E. Heimdahl, Bonnie E. Melhart

Research output: Contribution to journalArticlepeer-review

117 Scopus citations


A set of criteria is defined to help find errors in software requirements specifications. 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.

Original languageEnglish (US)
Pages (from-to)241-258
Number of pages18
JournalIEEE Transactions on Software Engineering
Issue number3
StatePublished - Mar 1991


Dive into the research topics of 'Software Requirements Analysis foi Real-Time Process-Control Systems'. Together they form a unique fingerprint.

Cite this