Modeling approaches for system-of-systems dynamic architecture: Overview, taxonomy and future prospects
System-of-Systems (SoS) result from the collaboration of independent Constituent Systems
(CSs), connected in a certain configuration known as an architectural configuration, to …
(CSs), connected in a certain configuration known as an architectural configuration, to …
Architecting exogenous software‐intensive systems‐of‐systems on the internet‐of‐vehicles with SosADL
F Oquendo - Systems Engineering, 2019 - Wiley Online Library
The pervasiveness of the communication networks increasingly has made possible to
interconnect software‐intensive systems that were independently developed, operated …
interconnect software‐intensive systems that were independently developed, operated …
Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution
Understanding the semantic differences of continuously evolving system architectures by
semantic analyses facilitates engineers during evolution analysis in understanding the …
semantic analyses facilitates engineers during evolution analysis in understanding the …
Dealing with uncertainty in software architecture on the internet-of-things with digital twins
F Oquendo - Computational Science and Its Applications–ICCSA …, 2019 - Springer
Abstract When architecting Software-intensive Systems-of-Systems (SoS) on the Internet-of-
Things (IoT), architects face two sorts of uncertainties. First, they have only limited …
Things (IoT), architects face two sorts of uncertainties. First, they have only limited …
Coping with uncertainty in systems-of-systems architecture modeling on the IoT with SosADL
F Oquendo - 2019 14th Annual Conference System of Systems …, 2019 - ieeexplore.ieee.org
A challenging issue in the architectural design of a System-of-Systems (SoS) is how to cope
with the uncertainty raised by the limited knowledge of the operational environment where …
with the uncertainty raised by the limited knowledge of the operational environment where …
Modeling and Analysis of Stochastic Real-Time Systems
BL Mediouni - 2019 - theses.hal.science
In this thesis, we address the problem of modeling and verification of complex systems
exhibiting both probabilistic and timed behaviors. Designing such systems has become …
exhibiting both probabilistic and timed behaviors. Designing such systems has become …