ABSTRACT
In this paper, we propose a multi-scale modeling approach for SoS architecture description. This study aims at mastering the complexity of such systems both at the human and automated processing levels by considering increasingly detailed modeling scales. Some high level properties can be expressed on informal descriptions with a high level of abstractions and checked on simple formal descriptions. Some other properties need more detailed descriptions to be expressed and formal specifications to be elaborated. We elaborate a set of coarse-grained and fine-grained models and we define the corresponding refinement rules to build correct by design Publish-Subscribe software architectures. The defined rules respect the principle of information dissemination guaranteeing that the produced information reaches all the subscribed consumers. In order to formalize the multi-scale characterization process and to use it in the design process, we have chosen to follow an iterative modeling methodology that captures diverse perspectives of the performance modeling of SoS. We discuss how our approach to modeling supports the specific characteristics of an SoS and illustrate this through a case study, based on the (Integrated Air Defense) IAD scenario, demonstrating how we may obtain correct models within a SoS with emergent properties.
- Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, and Matteo Rossi. 2015. Formal Verification and Validation of Embedded Systems: The UML-based MADES Approach. Softw. Syst. Model. 14, 1 (Feb. 2015), 343--363. Google ScholarDigital Library
- J. Bryans, J. Fitzgerald, R. Payne, A. Miyazawa, and K. Kristensen. 2014. SysML contracts for systems of systems. In System of Systems Engineering (SOSE), 2014 9th International Conference on. 73--78.Google Scholar
- Tiago Carneiro. 2006. Nested-CA: a foundation for multiscale modeling of land use and land change. Ph.D. Dissertation. SÃčo JosÃl' dos Campos: INPE.Google Scholar
- Tayfun Gezgin, Christoph Etzien, Stefan Henkler, and Achim Rettberg. 2012. Towards a Rigorous Modeling Formalism for Systems of Systems.. In ISORC. 204--211. Google ScholarDigital Library
- Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Khalil Drira. 2016. Software architectures: Multi-scale refinement. In the 14th International Conference on Software Engineering Research, Management and Applications (SERA2016).Google ScholarCross Ref
- Mark Maier. 1998. Architecting principles for systems-of-systems. Systems Engineering 1, 4 (1998), 267--284.Google ScholarCross Ref
- Elisa Yumi Nakagawa, Marcelo Gonçalves, Milena Guessi, Lucas B. R. Oliveira, and Flávio Oquendo. 2013. The state of the art and future perspectives in systems of systems software architectures. In SESoS. 13--20. Google ScholarDigital Library
- ODUSD. 2008. DoD. System Engineering Guide for Systems of Systems. Technical Report. Office of the Deputy Under Secretary of Defense for Acquisition and Technology.Google Scholar
- P. Petrov, U. Buy, and R.L. Nord. 2011. The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities. In Software Architecture (WICSA), 2011 9th Working IEEE/IFIP Conference on. 147--156. Google ScholarDigital Library
- Mordecai Yaniv and Dori Dov. 2013. 6.5.1 I5: A Model-Based Framework for Architecting System-of-Systems Interoperability, Interconnectivity, Interfacing, Integration, and Interaction. INCOSE International Symposium 23, 1 (2013), 1234--1255.Google Scholar
- Multi-scale modeling for software-intensive systems-of-systems architectures
Recommendations
A refinement-based approach for specifying multi-scale software architectures: application to SoS
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied ComputingSpecifying correct software-intensive Systems of Systems architectures is a challenging research direction requiring new modeling abstractions and techniques. For this purpose, we provide a refinement-based approach for multi-scale description of ...
A multi-scale modelling perspective for SoS architectures
ECSAW '14: Proceedings of the 2014 European Conference on Software Architecture WorkshopsSoftware architectures for System of Systems (SoS) is an important research area. The design of an SoS can be organized around a set of architectural transformation models. In this paper, we propose a multi-scale modeling approach for SoS architecture ...
A bigraphical multi-scale modeling methodology for system of systems
A multi-scale modeling approach for System of Systems design.A formal methodology using Bigraphical reactive systems.A correct by construction approach for describing SoS architectures.An illustration of our methodology with a smart buildings case ...
Comments