Software-intensive systems are often independently developed, operated, managed, and
evolved. Progressively, communication networks enabled these independent systems to …

Software-intensive systems are often independently developed, operated, managed, and
evolved. Progressively, communication networks have enabled these independent systems …

Abstract Systems-of-Systems (SoS) combine heterogeneous, independent systems to offer
complex functionalities for highly dynamic smart applications. Besides their dynamic …

Smart systems, such as smart cities, smart buildings, and autonomous cars, have recently
gained increasing popularity. Each such system is essentially a System-of-Systems (SoS) …

Hyperproperties have been widely used to express system properties like noninterference,
observational determinism, conformance, robustness, etc. However, the model checking …

Dynamic software architectures emerge when addressing important features of
contemporary systems, which often operate in dynamic environments subjected to change …

A System-of-Systems (SoS) is evolutionary developed from independent systems to achieve
missions not possible to be accomplished by a single system alone. They are architecturally …

System-of-Systems (SoS) result from the collaboration of independent Constituent Systems
(CSs), connected in a certain configuration known as an architectural configuration, to …

Uncertainty is intrinsically associated with the architectural design of Software-intensive
Systems-of-Systems (SoS) by its very nature, eg in Intelligent Transportation Systems (ITS) …

A challenging issue in the architectural design of Systems-of-Systems (SoS) for the Internet-
of-Things (IoT) is how to architect an SoS in a way that the required behavior to fulfil the SoS …