Open Access Open Access  Restricted Access Subscription or Fee Access

Software Requirements Specification and Traceability for Automobile Sector

S. Dhivya, S. P. Rajamohana


This paper aims at identifying and investigating the quality of the Software Requirement Specifications and traceability (SOREST) model and the relationships between the customer requirement, interpersonal factors and product specification. Requirements are the foundation of the product, and they form the basis for design, manufacture, test and operation. The SOREST model uses both functional and technical product requirements and integrates the requirement and those are used for the design process. In this research we are going to study the quality of SOREST documents qualitatively and to assess the impact of the various factors on this quality in a quantitative method.


Elicitation Process, Parsing, Product Design, Software Requirement, SOREST

Full Text:



Pelánek, Radek. "Fighting state space explosion: Review and evaluation." In International Workshop on Formal Methods for Industrial Critical Systems, Springer, Berlin, Heidelberg, pp. 37-52, 2008.

Alur, Rajeev, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, and Sriram K. Rajamani. "Partial-order reduction in symbolic state space exploration." In International Conference on Computer Aided Verification, Springer, Berlin, Heidelberg, pp. 340-351, 1997.

Dhaussy, Philippe, and Jean-Charles Roger. "Cdl (context description language): syntax and semantics." Rapport technique, ENSTA-Bretagne 37 (2011).

Hassine, Jameleddine, Juergen Rilling, and Rachida Dssouli. "An ASM operational semantics for use case maps." In Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on, pp. 467-468.

Whittle, Jon. "Specifying precise use cases with use case charts." In International Conference on Model Driven Engineering Languages and Systems, Springer, Berlin, Heidelberg, pp. 290-301, 2005.

Dhaussy, Philippe, Frédéric Boniol, Jean-Charles Roger, and Luka Leroux. "Improving model checking with context modelling." Advances in Software Engineering 2012 (2012): 9.

Dhaussy, Philippe, Jean-Charles Roger, Luka Leroux, and Frédéric Boniol. "Context aware model exploration with obp tool to improve model-checking." In ERTS 2012, p. xx. 2012.

Dhaussy, Philippe, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, and Benoit Baudry. "Evaluating context descriptions and property definition patterns for software formal validation." In International Conference on Model Driven Engineering Languages and Systems, Springer, Berlin, Heidelberg, pp. 438-452, 2009.

Berthomieu, Bernard, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frederic Lang, and François Vernadat. "Fiacre: an intermediate language for model verification in the topcased environment." In ERTS 2008.

Atkinson, Colin, Ralph Gerbig, and Thomas Kühne. "A unifying approach to connections for multi-level modeling." In Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, pp. 216-225.

Lamport, Leslie. "Solved problems, unsolved problems and non-problems in concurrency." ACM SIGOPS Operating Systems Review 19, no. 4, pp. 34-44, 1985.

Benabbou, Amel, Safia Nait Bahloul, and Philippe Dhaussy. "An Automated Transformation Approach for Requirement Specification." Procedia Computer Science 91, pp. 891-900, 2016.

Mustafiz, Sadaf, Jorg Kienzle, and Hans Vangheluwe. "Model transformation of dependability-focused requirements models." In Modeling in Software Engineering, 2009. MISE'09. ICSE Workshop on, pp. 50-55.

Language and Tools set website:

Benabbou, Amel, Safia Nait Bahloul, and Dhaussy Philippe. "Context-aware approach for formal verification." EAI Endorsed Transactions on Context-aware Systems and Applications 3, no. 7, pp.1-10, 2016.


  • There are currently no refbacks.

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.