Formalizing Metamodel of Requirements Management System
https://doi.org/10.15514/ISPRAS-2018-30(5)-10
Abstract
Requirements play an important role in the process of safety critical software development. To achieve reasonable quality and cost ratio a tool support for requirements management is required. The paper presents a formal definition of a metamodel that is used as a basis of Requality requirements management tool. An experience of implementation of the metamodel is discussed.
About the Authors
D. S. Kildishev
Ivannikov Institute for System Programming of RAS
Russian Federation
Russian Federation
A. V. Khoroshilov
Ivannikov Institute for System Programming of RAS; Lomonosov Moscow State University; Moscow Institute of Physics and Technology; Higher School of Economics
Russian Federation
Russian Federation
References
1. R. Thayer. M. Dorfman. Software Engineering. IEEE Computer Society press, 1997., 552 p.
2. M. Palumbo. Requirements Management for Safety Critical Systems. Available: http://www.railwaysignalling.eu/wp-content/uploads/2015/06/Req_mgt_safety_critical_system_Mpalumbo.pdf. Accessed: 3-Apr-2018
3. P. Roques. Modeling Requirements with SysML. Requirements Engineering Magazine, issue 2015-02, 2015.
4. Open Group Standard. Dependability through Assuredness (O-DA) Framework. The Open Group Releases, 2013.
5. A. Nordin, A. Ikhwan Omar, M. Usamah Megat Mohamed Amin, N. Salleh.Development of scenario management and requirements tool (SMaRT): towards supporting scenario-based requirements engineering methodology. International Journal of Engineering & Technology, Vol. 7, No 2.14, Special Issue 14, 2018, pp 62-65.
6. D. Lozhkina, S. Staroletov. An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach. In Preliminary Proceedings of the 11th Spring/Summer Young Researchers’Colloquium on Software Engineering, 2017, pp. 23-28.
7. T. von der Maßen, H. Lichter. RequiLine: A Requirements Engineering Tool for Software Product Lines, Software Product-Family Engineering, 2003, Heidelberg, pp. 168-180.
8. N. W. Mogk. A Requirements Management System based on an Optimization Model of the Design Process. In Proc. of the Conference on Systems Engineering Research (CSER 2014), 2014, pp 21-22
9. ProR Requirement Engineering Platform. [Online]. http://www.eclipse.org/rmf/pror/. Accessed: 2-Apr-2018.
10. ReqLine Download (ReqLine.exe). [Online]. Available: http://downloads.informer.com/reqline/. Accessed: 3-Apr-2018.
11. S. Hallerstede, M. Jastram, L. Ladenberger. A method and tool for tracing requirements into specifications. Science of Computer Programming, vol. 82, 2014, pp. 2-21.
12. Alexey Khoroshilov. On formalization of operating systems behaviour verification. In Proceedings of 11th International Conference on Computer Science and Information Technologies (CSIT-2017), 2017, pp. 168-172. DOI:10.1109/CSITechnol.2017.8312164
13. W. Frakes, C. Terry. Software Reuse: Metrics and Models. ACM Computing Surveys Vol. 28, No. 2, 1996.
Review
For citations:
Kildishev D.S., Khoroshilov A.V. Formalizing Metamodel of Requirements Management System. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(5):163-176. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(5)-10
Email this article 