Advanced search
Start date

Statistical verification of systems-of-systems software architectures

Grant number: 18/21517-5
Support type:Scholarships in Brazil - Scientific Initiation
Effective date (Start): December 01, 2018
Effective date (End): November 30, 2019
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Principal Investigator:Elisa Yumi Nakagawa
Grantee:Wallace Alves Esteves Manzano
Home Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil


In recent years there has been a substantial increase in society's dependence on services provided by software systems and. These services have become increasingly complex, so that an isolated system have not been successful in meeting such demands. In this scenario, Systems-of-Systems (SoS) have emerged as the result of the interoperability of independent systems both operationally and managerially to provide more complex solutions that no single system could provide alone. Because of the independence of the SoS constituent systems, these constituents can come out and enter the SoS context at any time, resulting in a highly dynamic architecture. SoS are often linked to critical mission, that is, that can bring threats to human integrity. Thus, SoS must ensure that certain properties are satisfied by its software architecture so that SoS can provide a reliable and fault-free service. However, due to the non-determinism generated by the dynamic architecture, it is necessary to use simulation together with a statistical verifier in order to formally verify such properties. Considering the high cost and threats of implementing a SoS without proper verification of its architecture, this scientific initiation project aims to develop an infrastructure to enable the statistical and formal verification of properties in SoS software architecture. For this, a inter-process communication will be developed to be able to interoperate the MS4ME simulator with the PLASMA statistical checker. Such statistical verification will enable SoS verifies properties during the SoS architectural design, anticipating eventual problems and failures. As a result, we expect to contribute both to the state-of-the-art advancement in SoS Software Engineering and to a larger research project that addresses the architectural design of SoS.