Software architecture challenges and emerging research in software-intensive systems-of-systems
F Oquendo - … Architecture: 10th European Conference, ECSA 2016 …, 2016 - Springer
Software-intensive systems are often independently developed, operated, managed, and
evolved. Progressively, communication networks enabled these independent systems to …
evolved. Progressively, communication networks enabled these independent systems to …
A systematic review of IoT systems testing: Objectives, approaches, tools, and challenges
Internet of Things (IoT) systems are becoming prevalent in various domains, from healthcare
to smart homes. Testing IoT systems is critical in ensuring their reliability. Previous papers …
to smart homes. Testing IoT systems is critical in ensuring their reliability. Previous papers …
Formally describing the software architecture of systems-of-systems with SosADL
F Oquendo - 2016 11th system of systems engineering …, 2016 - ieeexplore.ieee.org
Conceiving Software Architecture Description Languages (ADLs) has been the subject of
intensive research in the last two decades resulting in the definition of several ADLs for …
intensive research in the last two decades resulting in the definition of several ADLs for …
Dynamic-sos: An approach for the simulation of systems-of-systems dynamic architectures
W Manzano, VV Graciano Neto… - The Computer …, 2020 - academic.oup.com
Abstract Systems-of-Systems (SoS) combine heterogeneous, independent systems to offer
complex functionalities for highly dynamic smart applications. Besides their dynamic …
complex functionalities for highly dynamic smart applications. Besides their dynamic …
[HTML][HTML] A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric
Abstract Context. Systems-of-Systems (SoS) constitute a new category of complex software
systems resulting from the integration of independent heterogeneous systems. Each …
systems resulting from the integration of independent heterogeneous systems. Each …
Statistical model checking of dynamic software architectures
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …
architecture descriptions as means of supporting automated verification and enforcement of …
Programming dynamic reconfigurable systems
DR-BIP is an extension of the BIP component framework intended for programming
reconfigurable systems encompassing various aspects of dynamism. It relies on …
reconfigurable systems encompassing various aspects of dynamism. It relies on …
Reasoning about distributed reconfigurable systems
This paper presents a Hoare-style calculus for formal reasoning about reconfiguration
programs of distributed systems. Such programs create and delete components and/or …
programs of distributed systems. Such programs create and delete components and/or …
[HTML][HTML] Decision problems in a logic for reasoning about reconfigurable distributed systems
We consider a logic used to describe sets of configurations of distributed systems, whose
network topologies can be changed at runtime, by reconfiguration programs. The logic uses …
network topologies can be changed at runtime, by reconfiguration programs. The logic uses …
[HTML][HTML] Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures
Abstract Background Systems-of-systems (SoS) are alliances of independent and
interoperable software-intensive systems. SoS often support critical domains, being required …
interoperable software-intensive systems. SoS often support critical domains, being required …