Iterative framework for modeling and validation of requirements for systems-of-systems

• Grant number: 15/06195-3
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: May 01, 2017
• End date: March 02, 2020
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Agreement: Coordination of Improvement of Higher Education Personnel (CAPES)
• Principal Investigator: Elisa Yumi Nakagawa
• Grantee: Cristiane Aparecida Lana
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
• Associated scholarship(s): 17/15354-3 - Modeling and Validation of Architectures and Requirements of Systems-of-Systems, BE.EP.DR

Abstract

Systems-of-Systems (SoS) refer to large, complex, and software-intensive systems, resulted from the interoperability among heterogeneous, independent constituent systems. The main purpose of SoS is to perform tasks that could not be achieved by these constituents separately. In parallel, Requirements Engineering (RE) has been already extensively researched and many proposals (e.g., processes, methods, techniques, and tools) have been made and in fact adopted, including in the industry. In this scenario, the main problem that has motivated the conduction of this PhD project is that SoS present an inherent and continuous evolution, sometimes, resulted from new missions that emerge at runtime or changes in their independent constituents or even in the environment. As a consequence, new requirements emerge and must be elicited, analyzed, modeled, validated, designed, implemented, and incorporated in the SoS. Moreover, problems in such requirements, when not adequately treated, could be fatal to human life and/or lead to the lost of valuable physical assets or monetary, considering the critical application domains where SoS operate. Continuous changes directly impact the requirements of both SoS and their constituents and also the subsequent stages of the SoS development. In this context, the main goal of this PhD project is to establish an iterative framework composed of a method for modeling and a method for validation of SoS requirements, mainly addressing the new missions not previously predicted in design time. To evaluate this framework, we will conduct surveys with experts and case studies. As main results, we expect contribute to the SoS development by providing a means to adequately deal with the diverse, interconnected, and changing SoS requirements. Keywords: Formal Methods, Requirements Engineering, Requirements Modeling, Requirements Validation, System-of-Systems, SoS. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

LANA, CRISTIANE APARECIDA; GUESSI, MILENA; ANTONINO, PABLO OLIVEIRA; ROMBACH, DIETER; NAKAGAWA, ELISA YUMI. A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling. IEEE SYSTEMS JOURNAL, v. 13, n. 3, p. 2201-2212, SEP 2019. (17/22107-2, 17/06195-9, 15/06195-3)

FILISBINO PASSINI, WILLIAM; APARECIDA LANA, CRISTIANE; PFEIFER, VINICIUS; AFFONSO, FRANK JOSE. Design of frameworks for self-adaptive service-oriented applications: A systematic analysis. SOFTWARE-PRACTICE & EXPERIENCE, v. 52, n. 1, JUN 2021. (15/06195-3)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

LANA, Cristiane Aparecida. Requirements analysis for technical interoperability driven by mission engineering. 2020. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.