Article

Free access

Completeness and consistency analysis of state-based requirements

Authors:

Mats P. E. Heimdahl,

Nancy G. LevesonAuthors Info & Claims

ICSE '95: Proceedings of the 17th international conference on Software engineering

Pages 3 - 14

https://doi.org/10.1145/225014.225015

Published: 23 April 1995 Publication History

PDF eReader

References

[1]

J. Atlee and J. Gannon. State-based model check-ing of event-driven system requirements. In Pro-ceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems. Software Engineering Notes. Volume 16 Number 5, 1991.

Digital Library

Google Scholar

[2]

G. R. Bruns, S. L. Gerhart, 1. Forman, and M. Graf. Design technology assessment: The statecharts approach. Technical Report STP-107- 86, MCC, March 1986.

Google Scholar

[3]

R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans-actions on Computers, C-35(8) :677-691, August 1986.

Digital Library

Google Scholar

[4]

J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, June 1990.

Google Scholar

[5]

E. M. Clarke, M. C. Browne, E. A. Emerson, and A. P. Sistla. Using temporal logic for automatic verification of finite state systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 3-26. Springer-Verlag, Berlin, 1985.

Digital Library

Google Scholar

[6]

E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.

Digital Library

Google Scholar

[7]

Patrice Godefroid, Gerhard J. Holzmann, and Dieder Pirottin. State space caching revisited. In Proceedings of the Fourth Workshop on Computer-Aided Verification, pages 175-186, 1992.

Digital Library

Google Scholar

[8]

D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Program-ming, 8:231-274, 1987.

Digital Library

Google Scholar

[9]

D. Harel. On visual formalisms. Communications of the ACM, 31(5):514-530, May 1988.

Digital Library

Google Scholar

[10]

D. Harel and A. Pnueli. On the development of reactive systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 477-498. Springer-Verlag, 1985.

Digital Library

Google Scholar

[11]

Mats P.E. Heimdahl. Static Analysis of State- Based Requircments: Analyaia for Completeness and Consistency. PhD thesis, University of California, Irvine, 1994.

Digital Library

Google Scholar

[12]

Gerhard J. Holzmann. Tracing protocols. ATtY T Technical Journal, 64(10), December 1985.

Google Scholar

[13]

Gerhard J. Holzmann. Automated protocol validation in Argos: Assertion proving and scatter searching. IEEE Transactions on Sofiware Engineering, 13(6):683-696, June 1987.

Digital Library

Google Scholar

[14]

M. S. Jaffe, N. G. Leveson, M. P.E. Heimdahl, and B. Melhart. Software requirements analysis for real-time process-control systems. IEEE Transactions on Soflware Engineering, 17(3):241-258, March 1991.

Digital Library

Google Scholar

[15]

N. G. Leveson, M. Heimdahl, H. Hildreth, and J. Reese. TCAS II requirements specification.

Google Scholar

[16]

N. G. Leveson, M. P.E. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9), September 1994.

Digital Library

Google Scholar

[17]

A. Pnueli and M. Shalev. What is in a step? In J. Klop, J. Meijer, and J. Rutten, editors, J. W. De Baker, Liber Amicorum, pages 373-400. CWI Amsterdam, 1989.

Google Scholar

[18]

A. P. Ravn and H. Rlchel. Requirements capture for embedded real-time systems. In IMA CS Symposium MCTS, 1991.

Google Scholar

[19]

H. Richel and A. P. Ravn. Requirements capture for computer based systems. Technical Report ID/DTH HR 2/2, Technical University of Den-mark, October 1990.

Google Scholar

Cited By

View all

Bhowmik TThompson ADo ANiu N(2021)Automated Support to Capture Environment Assertions for Requirements-Based Testing2021 IEEE 22nd International Conference on Information Reuse and Integration for Data Science (IRI)10.1109/IRI51335.2021.00023(123-130)Online publication date: Aug-2021
https://doi.org/10.1109/IRI51335.2021.00023
Bhowmik TChekuri SDo AWang WNiu N(2019)The Role of Environment Assertions in Requirements-Based Testing2019 IEEE 27th International Requirements Engineering Conference (RE)10.1109/RE.2019.00019(75-85)Online publication date: Sep-2019
https://doi.org/10.1109/RE.2019.00019
Fleming CLeveson N(2016)Early Concept Development and Safety Analysis of Future Transportation SystemsIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2016.256140917:12(3512-3523)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1109/TITS.2016.2561409
Show More Cited By

Index Terms

Completeness and consistency analysis of state-based requirements

Recommendations

Static analysis of state-based requirements analysis for completeness and consistency
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems
TASE '08: Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering

For many event-driven systems, the completeness and consistency (C&C) are the most important characteristics of those software requirements. This paper presents a systematic approach to perform C&C analysis on the requirements, and an intelligent ...
Automatic analysis of requirements consistency with the B method

A consistent requirements specification is a fundamental success factor for quality software development projects. On the one hand, writing requirements in a natural language is not good for an automated conflict detection process. On the other hand, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '95: Proceedings of the 17th international conference on Software engineering

April 1995

336 pages

ISBN:0897917081

DOI:10.1145/225014

Chairman:
Dewayne Perry
AT&T Bell Labs

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 April 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICSE95

Sponsor:

SIGSOFT
IEEE-CS\TCSE

ICSE95: 17th International Conference on Software Engineering

April 24 - 28, 1995

Washington, Seattle, USA

Acceptance Rates

ICSE '95 Paper Acceptance Rate 28 of 155 submissions, 18%;

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
949
Total Downloads

Downloads (Last 12 months)106
Downloads (Last 6 weeks)4

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bhowmik TThompson ADo ANiu N(2021)Automated Support to Capture Environment Assertions for Requirements-Based Testing2021 IEEE 22nd International Conference on Information Reuse and Integration for Data Science (IRI)10.1109/IRI51335.2021.00023(123-130)Online publication date: Aug-2021
https://doi.org/10.1109/IRI51335.2021.00023
Bhowmik TChekuri SDo AWang WNiu N(2019)The Role of Environment Assertions in Requirements-Based Testing2019 IEEE 27th International Requirements Engineering Conference (RE)10.1109/RE.2019.00019(75-85)Online publication date: Sep-2019
https://doi.org/10.1109/RE.2019.00019
Fleming CLeveson N(2016)Early Concept Development and Safety Analysis of Future Transportation SystemsIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2016.256140917:12(3512-3523)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1109/TITS.2016.2561409
Barnat JBauch PBeneš NBrim LBeran JKratochvíla T(2016)Analysing sanity of requirements for avionics systemsFormal Aspects of Computing10.1007/s00165-015-0348-928:1(45-63)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1007/s00165-015-0348-9
Androutsopoulos KClark DHarman MKrinke JTratt L(2013)State-based model slicingACM Computing Surveys10.1145/2501654.250166745:4(1-36)Online publication date: 30-Aug-2013
https://dl.acm.org/doi/10.1145/2501654.2501667
Barnat JBauch PBrim L(2012)Checking sanity of software requirementsProceedings of the 10th international conference on Software Engineering and Formal Methods10.1007/978-3-642-33826-7_4(48-62)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-642-33826-7_4
Post AHoenicke J(2012)Formalization and analysis of real-time requirementsProceedings of the 4th international conference on Verified Software: theories, tools, experiments10.1007/978-3-642-27705-4_18(225-240)Online publication date: 28-Jan-2012
https://dl.acm.org/doi/10.1007/978-3-642-27705-4_18
Post AHoenicke JPodelski A(2011)rt-inconsistencyProceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software10.5555/1987434.1987440(34-49)Online publication date: 26-Mar-2011
https://dl.acm.org/doi/10.5555/1987434.1987440
Post AMenzel IPodelski A(2011)Applying restricted english grammar on automotive requirementsProceedings of the 17th international working conference on Requirements engineering: foundation for software quality10.5555/1987360.1987384(166-180)Online publication date: 28-Mar-2011
https://dl.acm.org/doi/10.5555/1987360.1987384
Wenbin Li (2011)Toward consistency checking of natural language temporal requirementsProceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2011.6100148(651-655)Online publication date: 6-Nov-2011
https://dl.acm.org/doi/10.1109/ASE.2011.6100148
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Static analysis of state-based requirements analysis for completeness and consistency

Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems

Automatic analysis of requirements consistency with the B method