research-article

Towards better support for the evolution of safety requirements via the model monitoring approach

Authors:

Zhe Chen,

Gilles MotetAuthors Info & Claims

ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

Pages 219 - 222

https://doi.org/10.1145/1810295.1810334

Published: 01 May 2010 Publication History

Get Access

Abstract

The research is motivated by the challenge from the evolution of safety requirements, which leads to revision of system designs at design-time or post-implementation at a high cost. This paper proposes a complementary methodology, namely the model monitoring approach, to better support the evolution throughout the life-cycle at a lower cost.

References

[1]

Z. Chen and G. Motet. System safety requirements as control structures. In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), pages 324--331. IEEE Computer Society, 2009.

Digital Library

Google Scholar

[2]

E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2000.

Digital Library

Google Scholar

[3]

N. A. Ernst, J. Mylopoulos, Y. Yu, and T. Nguyen. Supporting requirements model evolution throughout the system life-cycle. In RE 2008, pages 321--322. IEEE Computer Society, 2008.

Digital Library

Google Scholar

[4]

S. Harker, K. Eason, and J. Dobson. The change and evolution of requirements as a challenge to the practice of software engineering. In RE 1993, pages 266--272. IEEE Computer Society, 1993.

Google Scholar

[5]

G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.

Digital Library

Google Scholar

[6]

P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. on Control and Optimization, 25(1):206--230, 1987.

Digital Library

Google Scholar

[7]

M. Y. Vardi and P. Wolper. Reasoning about infinite computations. Information and Computation, 115(1):1--37, 1994.

Digital Library

Google Scholar

Cited By

View all

Huang CHuang ZHu JWu ZWang S(2015)A MDE-Based Approach to the Safety Verification of Extended SysML Activity DiagramJournal of Software10.17706/jsw.10.1.56-7010:1(56-70)Online publication date: Jan-2015
https://doi.org/10.17706/jsw.10.1.56-70
Chen ZWei OHuang ZXi H(2015)Formal Semantics of Runtime Monitoring, Verification, Enforcement and ControlProceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering10.1109/TASE.2015.11(63-70)Online publication date: 12-Sep-2015
https://dl.acm.org/doi/10.1109/TASE.2015.11
Shen WLin CMarcus A(2013)Using traceability links to identifying potentially erroneous artifacts during regulatory reviews2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)10.1109/TEFSE.2013.6620149(19-22)Online publication date: May-2013
https://doi.org/10.1109/TEFSE.2013.6620149
Show More Cited By

Index Terms

Towards better support for the evolution of safety requirements via the model monitoring approach

Recommendations

Requirements Evolution in the Midst of Environmental Change: A Managed Approach
CSMR '98: Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98)

Requirements evolve, not only during system development but also after a system has been installed. The aim of the work on the EVE (EVolution Engineering) project is to develop practi-cal methods for dealing with requirements evolution. This pa-per ...
Requirements evolution drives software evolution
IWPSE-EVOL '11: Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution

Changes to software should be made with reference to the requirements of that software, as these requirements provide the reasons for a change. Requirements serve to tie the implementation world of the developers to the problem world of the ...
Operational anomalies as a cause of safety-critical requirements evolution

This paper reports the results of a small study of requirements changes to the onboard software of seven spacecraft subsequent to launch. Only those requirement changes that resulted from operational (i.e., post-launch) anomalies were of interest here, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

May 2010

554 pages

ISBN:9781605587196

DOI:10.1145/1810295

General Chairs:
Jeff Kramer
Imperial College, London, UK
,
Judith Bishop
Microsoft Research, Redmond
,
Program Chairs:
Prem Devanbu
University of California at Davis
,
Sebastian Uchitel
University of Buenos Aires, Argentina and Imperial College London, UK

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: 01 May 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '10

Sponsor:

SIGSOFT

ICSE '10: 32nd International Conference on Software Engineering

May 1 - 8, 2010

Cape Town, South Africa

Acceptance Rates

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

4
Total Citations
View Citations
259
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Huang CHuang ZHu JWu ZWang S(2015)A MDE-Based Approach to the Safety Verification of Extended SysML Activity DiagramJournal of Software10.17706/jsw.10.1.56-7010:1(56-70)Online publication date: Jan-2015
https://doi.org/10.17706/jsw.10.1.56-70
Chen ZWei OHuang ZXi H(2015)Formal Semantics of Runtime Monitoring, Verification, Enforcement and ControlProceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering10.1109/TASE.2015.11(63-70)Online publication date: 12-Sep-2015
https://dl.acm.org/doi/10.1109/TASE.2015.11
Shen WLin CMarcus A(2013)Using traceability links to identifying potentially erroneous artifacts during regulatory reviews2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)10.1109/TEFSE.2013.6620149(19-22)Online publication date: May-2013
https://doi.org/10.1109/TEFSE.2013.6620149
Homoceanu GHuhn M(2011)Tool support for agent-based systems in ptolemyProceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss10.1145/2349913.2349915(1-6)Online publication date: 22-Sep-2011
https://dl.acm.org/doi/10.1145/2349913.2349915

View Options

Get Access

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

Requirements Evolution in the Midst of Environmental Change: A Managed Approach

Requirements evolution drives software evolution

Operational anomalies as a cause of safety-critical requirements evolution