The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
|
|
Author(s): Laura Baracchi (Intecs, Italy), Alessandro Cimatti (FBK-Irst, Italy), Gerald Garcia (Thales Alenia Space, France), Silvia Mazzini (Intecs, Italy), Stefano Puri (Intecs, Italy)and Stefano Tonetta (FBK-Irst, Italy)
Copyright: 2018
Pages: 36
Source title:
Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications
Source Author(s)/Editor(s): Information Resources Management Association (USA)
DOI: 10.4018/978-1-5225-3923-0.ch057
Purchase
|
Abstract
The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss the approach taken in FoReVeR, a project funded by the European Space Agency (ESA), where these two issues are tackled in the setting of space systems. The approach taken in FoReVeR is based on the idea of contracts, which allow one to formally specify the requirements of components at different levels of abstraction and to formally prove the correctness of requirements decomposition. In particular, the authors show how system-level requirements can be progressively refined into software requirements and how the contract-based framework supports the reuse of the components of a reference architecture under development by ESA. The authors discuss how the proposed solution has been integrated in a space development process and present the results of case studies.
Related Content
|
G. Sowmya, R. Sridevi, K. S. Sadasiva Rao, Sri Ganesh Shiramshetty.
© 2025.
36 pages.
|
|
Srinidhi Vasan.
© 2025.
20 pages.
|
|
Arul Kumar Natarajan, Yash Desai, Pravin R. Kshirsagar, Kamal Upreti, Tan Kuan Tak.
© 2025.
26 pages.
|
|
R. Leisha, Katelyn Jade Medows, Michael Moses Thiruthuvanathan, S. Ravindra Babu, Prakash Divakaran, Vandana Mishra Chaturvedi.
© 2025.
40 pages.
|
|
Rituraj Jain, Kumar J. Parmar, Kushal Gaddamwar, Damodharan Palaniappan, T. Premavathi, Yatharth Srivastava.
© 2025.
32 pages.
|
|
Anya Behera, A. Vedashree, M. Rupesh Kumar, Kamal Upreti.
© 2025.
30 pages.
|
|
Neha Bagga, Sheetal Kalra, Parminder Kaur.
© 2025.
30 pages.
|
|
|