Skip to main content
SpringerLink
Log in
Book cover

International Working Conference on Requirements Engineering: Foundation for Software Quality

REFSQ 2014: Requirements Engineering: Foundation for Software Quality pp 135–151Cite as

INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8396))

Abstract

[Context and motivation] Regulatory requirements for Nuclear instrumentation and control (I&C) systems are first class requirements. They are written by national safety entities and are completed through a large documentation set of national recommendation guides and national/international standards. [Question/Problem] I&C systems important to safety must comply to all of these requirements. The global knowledge of this domain is scattered through these different documents and not formalized. Its organization and traceability relationships within this domain is mainly implicit. As a consequence, such long lasting nuclear I&C projects set important challenges in terms of tacit expertise capitalization and domain analysis. [Principal ideas/results] To tackle this domain formalization issue, we propose a dual Model-driven Engineering (MDE) and Information Retrieval (IR) approach to address the nuclear regulatory requirements domain definition, and assisted traceability based on the acquired requirements model. [Contributions] In this paper, we present the Connexion metamodel that provides a canvas for the definition and capitalization of the nuclear regulatory requirements domain. We also present an hybrid MDE/IR-based approach, named INCREMENT, for acquiring, modeling and analyzing these regulatory requirements. This approach is supported by a tool that is developed in the context of the CONNEXION project, which gathers French major nuclear I&C industrial actors.

This work is partially supported by the French BGLE Project CONNEXION.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Otto, P.N., Antón, A.I., Baumer, D.L.: The choicepoint dilemma: How data brokers should handle the privacy of personal information. IEEE Security & Privacy 5(5), 15–23 (2007)

    Article  Google Scholar 

  2. Maxwell, J.C., Antón, A.I., Swire, P.: Managing changing compliance requirements by predicting regulatory evolution. In: RE 2012, pp. 101–110 (2012)

    Google Scholar 

  3. de la Vara, J.L., Panesar-Walawege, R.K.: Safetymet: A metamodel for safety standards. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 69–86. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  4. RHWG, W.R.H.W.G.: Harmonisation of reactor safety in wenra countries. Technical report, WENRA (2006)

    Google Scholar 

  5. Sannier, N., Baudry, B.: Defining and retrieving themes in nuclear regulations. In: RELAW 2012, pp. 33–41. IEEE (2012)

    Google Scholar 

  6. Johnson, G.: Comparison of iec and ieee standards for computer-based control systems important to safety. In: IEEE Nuclear Science Symposium Conference Record, vol. 4, pp. 2474–2481. IEEE (2001)

    Google Scholar 

  7. Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: ICSE 2011, pp. 633–642 (2011)

    Google Scholar 

  8. Kamsties, E.: Understanding ambiguity in requirements engineering. In: Engineering and Managing Software Requirements, pp. 245–266. Springer (2005)

    Google Scholar 

  9. Breaux, T.D., Antón, A.I.: Analyzing regulatory rules for privacy and security requirements. IEEE Trans. Software Eng. 34(1), 5–20 (2008)

    Article  Google Scholar 

  10. OMG: Documents associated with software assurance evidence metamodel (saem) version 1.0 - beta 1, http://www.omg.org/spec/SAEM/1.0/Beta1/ (2010)

  11. Carlshamre, P., Sandahl, K., Lindvall, M., Regnell, B.: och Dag, J.N.: An industrial survey of requirements interdependencies in software product release plannin. In: RE 2001, pp. 84–93 (2001)

    Google Scholar 

  12. Zhang, W., Mei, H., Zhao, H.: A feature-oriented approach to modeling requirements dependencies. In: RE 2005, pp. 273–284 (2005)

    Google Scholar 

  13. Maxwell, J.C., Antón, A.I., Swire, P.: A legal cross-references taxonomy for identifying conflicting software requirements. In: RE 2011, pp. 197–206. IEEE (2011)

    Google Scholar 

  14. Sawyer, P., Gervasi, V., Nuseibeh, B.: Unknown knowns: Tacit knowledge in requirements engineering. In: RE 2011, p. 329 (2011)

    Google Scholar 

  15. Gotel, O., Morris, S.J.: Out of the labyrinth: Leveraging other disciplines for requirements traceability. In: RE 2011, pp. 121–130 (2011)

    Google Scholar 

  16. Sannier, N., Baudry, B.: Toward multilevel textual requirements traceability using model-driven engineering and information retrieval. In: MoDRE 2012, pp. 29–38 (2012)

    Google Scholar 

  17. Niu, N., Mahmoud, A.: Enhancing candidate link generation for requirements tracing: the cluster hypothesis revisited. In: RE 2012, pp. 81–90. IEEE (2012)

    Google Scholar 

  18. Chen, X., Grundy, J.: Improving automated documentation to code traceability by combining retrieval techniques. In: ASE 2011, pp. 223–232. IEEE Computer Society (2011)

    Google Scholar 

  19. Dumitru, H., Gibiec, M., Hariri, N., Cleland-Huang, J., Mobasher, B., Castro-Herrera, C., Mirakhorli, M.: On-demand feature recommendations derived from mining public product descriptions. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 181–190. ACM, New York (2011)

    Google Scholar 

  20. Thung, F., Wang, S., Lo, D., Lawall, J.: Automatic recommendation of api methods from feature requests. In: ASE 2013, pp. 290–300 (2013)

    Google Scholar 

  21. van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)

    Google Scholar 

  22. Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Requirements Engineering, RE 1997, pp. 226–235. IEEE (1997)

    Google Scholar 

  23. Amyot, D., Mussbacher, G.: User requirements notation: The first ten years, the next ten years (invited paper). Journal of Software (JSW) 6(5), 747–768 (2011)

    Google Scholar 

  24. Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.C.: A model-driven engineering approach to support the verification of compliance to safety standards. In: ISSRE 2011, pp. 30–39 (2011)

    Google Scholar 

  25. Zoughbi, G., Briand, L.C., Labiche, Y.: Modeling safety and airworthiness (rtca do-178b) information: conceptual model and uml profile. SOSYM 10(3), 337–367 (2011)

    Google Scholar 

  26. Li, Y., Narayan, N., Helming, J., Koegel, M.: A domain specific requirements model for scientific computing. In: ICSE 2011, pp. 848–851 (2011)

    Google Scholar 

  27. Helming, J., Koegel, M.: Managing iterations with unicase. In: ICSE 2010, pp. 313–314 (2010)

    Google Scholar 

  28. Maxwell, J.C., Antón, A.I.: Developing production rule models to aid in acquiring requirements from legal texts. In: RE 2009, pp. 101–110 (2009)

    Google Scholar 

  29. Breaux, T.D., Antón, A.I., Doyle, J.: Semantic parameterization: A process for modeling domain descriptions. TOSEM 18(2) (2008)

    Google Scholar 

  30. Gordon, D.G., Breaux, T.D.: Reconciling multi-jurisdictional legal requirements: A case study in requirements water marking. In: RE 2012, pp. 91–100 (2012)

    Google Scholar 

  31. Ghanavati, S., Amyot, D., Peyton, L.: Towards a framework for tracking legal compliance in healthcare. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 218–232. Springer, Heidelberg (2007)

    Google Scholar 

  32. Sawyer, P., Rayson, P., Garside, R.: Revere: Support for requirements synthesis from documents. Information Systems Frontiers 4(3), 343–353 (2002)

    Article  Google Scholar 

  33. Kiyavitskaya, N., Zeni, N., Breaux, T.D., Antón, A.I., Cordy, J.R., Mich, L., Mylopoulos, J.: Automating the extraction of rights and obligations for regulatory compliance. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 154–168. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  34. Cleland-Huang, J., Czauderna, A., Gibiec, M., Emenecker, J.: A machine learning approach for tracing regulatory codes to product specific requirements. In: ICSE 2010, pp. 155–164 (2010)

    Google Scholar 

  35. Mirakhorli, M., Shin, Y., Cleland-Huang, J., Çinar, M.: A tactic-centric approach for automating traceability of quality concerns. In: ICSE 2012, pp. 639–649 (2012)

    Google Scholar 

  36. Cleland-Huang, J., Heimdahl, M., Huffman Hayes, J., Lutz, R., Maeder, P.: Trace queries for safety requirements in high assurance systems. In: Regnell, B., Damian, D. (eds.) REFSQ 2011. LNCS, vol. 7195, pp. 179–193. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  37. Leuser, J., Ott, D.: Tackling semi-automatic trace recovery for large specifications. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol. 6182, pp. 203–217. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inria Rennes Bretagne Atlantique, Campus de Beaulieu, 35042, Rennes Cedex, France

    Nicolas Sannier & Benoit Baudry

Authors
  1. Nicolas Sannier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Benoit Baudry
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre Pierre Mendes France, Université Paris 1 Panthéon - Sorbonne, 90, rue de Tolbiac, 75634, Paris Cedex 13, France

    Camille Salinesi

  2. KIN Research Group, VU University Amsterdam, De Boelelaan 1105, 1081 HV, Amsterdam, The Netherlands

    Inge van de Weerd

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Sannier, N., Baudry, B. (2014). INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis. In: Salinesi, C., van de Weerd, I. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2014. Lecture Notes in Computer Science, vol 8396. Springer, Cham. https://doi.org/10.1007/978-3-319-05843-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-05843-6_11

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-05842-9

  • Online ISBN: 978-3-319-05843-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation