ASAS: an approach to support simulation of smart systems
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) …
gained increasing popularity. Each such system is essentially a System-of-Systems (SoS) …
A formal approach for architecting software-intensive systems-of-systems with guarantees
A challenging issue in the architectural design of a System-of-Systems (SoS) is how to
provide guarantees of the correctness of the designed SoS architecture. To address this …
provide guarantees of the correctness of the designed SoS architecture. To address this …
Formally describing self-organizing architectures for systems-of-systems on the internet-of-things
F Oquendo - Software Architecture: 12th European Conference on …, 2018 - Springer
Abstract Nowadays, the Internet-of-Things (IoT) enables the engineering of Software-
intensive Systems-of-Systems (SoS), which are opportunistically created for achieving …
intensive Systems-of-Systems (SoS), which are opportunistically created for achieving …
Formal modeling systems-of-systems missions with mKAOS
E Silva, T Batista - Proceedings of the 33rd Annual ACM Symposium on …, 2018 - dl.acm.org
Modeling missions in systems-of-systems is a key activity in the development process of
such systems. Since mission models define the objectives and participants of a system-of …
such systems. Since mission models define the objectives and participants of a system-of …
On the emergent behavior oxymoron of system-of-systems architecture description
F Oquendo - 2018 13th Annual Conference on System of …, 2018 - ieeexplore.ieee.org
A major research challenge for the design of a software-intensive System-of-Systems (SoS)
is the formal description of its software architecture. The main complicating factor is that an …
is the formal description of its software architecture. The main complicating factor is that an …
Exogenously describing architectural emergent behaviors of systems-of-systems with SosADL
F Oquendo - 2018 13th Annual Conference on System of …, 2018 - ieeexplore.ieee.org
A System-of-Systems (SoS) is architecturally designed to exhibit emergent behavior from the
interaction of independent systems. Based on the supervenience principle, an emergent …
interaction of independent systems. Based on the supervenience principle, an emergent …
The π-calculus for SoS: novel π-calculus for the formal modeling of software-intensive systems-of-systems
F Oquendo - Communicating Process Architectures 2015 & 2016, 2018 - ebooks.iospress.nl
A major research challenge in the architectural design of a software-intensive System-of-
Systems (SoS) is to enable the formal modeling of its evolutionary architecture. One of the …
Systems (SoS) is to enable the formal modeling of its evolutionary architecture. One of the …