Analyzing Requirements Using Environment Modelling

Abstract : Analysing requirements is a major challenge in the area of safety-critical software, where requirements quality is an important issue to build a dependable critical system. Most of the time, any project fails due to lack of understanding of user needs, missing functional and non-functional system requirements, inadequate methods and tools, and inconsistent system specification. This often results from the poor quality of system requirements. Based on our experience and knowledge, an environment model has been recognized to be a promising approach to support requirements engineering to validate a system specification. It is crucial to get an approval and feedback in early stage of system development to ensure completeness and correctness of requirements specification. In this paper, we propose a method for analysing system requirements using a closed-loop modelling technique. A closed-loop model is an integration of system model and environment model, where both the system and environment models are formalized using formal techniques. Formal verification of the closed-loop model helps to identify missing system requirements or new emergent behaviours, which are not covered earlier during the requirements elicitation process. Moreover, an environment model assists in the construction, clarification, and validation of the given system requirements.
Type de document :
Communication dans un congrès
Vincent G. Duffy. Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Aug 2015, Los Angeles, United States. Springer, Lecture Notes in Computer Science 9185,, 2015, Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015,. 〈http://link.springer.com/book/10.1007%2F978-3-319-21070-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01245994
Contributeur : Dominique Méry <>
Soumis le : jeudi 17 décembre 2015 - 21:02:07
Dernière modification le : mercredi 22 novembre 2017 - 11:02:25

Identifiants

  • HAL Id : hal-01245994, version 1

Citation

Dominique Méry, Neeraj Kumar Singh. Analyzing Requirements Using Environment Modelling. Vincent G. Duffy. Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Aug 2015, Los Angeles, United States. Springer, Lecture Notes in Computer Science 9185,, 2015, Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015,. 〈http://link.springer.com/book/10.1007%2F978-3-319-21070-4〉. 〈hal-01245994〉

Partager

Métriques

Consultations de la notice

205