Flávio Oquendo

Formally describing the software architecture of Systems-of-Systems with SosADL

2016

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 describing static and dynamic software architectures of (often large) …

Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures

2017 · Journal of the Brazilian Computer Society

Systems-of-systems (SoS) are alliances of independent and interoperable software-intensive systems. SoS often support critical domains, being required to exhibit a reliable operation, specially because people’s safety relies on their services. In this direction, simulations enable …

Security by Design for Industrial Control Systems from a Cyber–Physical System Perspective: A Systematic Mapping Study

2025 · Machines

Industrial Control Systems (ICSs), a specialized type of Cyber–Physical System, have shifted from isolated and obscured environments to ones exposed to diverse Information Technology (IT) security threats, which are now highly interconnected. Their adoption of …