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 …

Fuzzy architecture description for handling uncertainty in iot systems-of-systems

F Oquendo - 2020 IEEE 15th International Conference of …, 2020 - ieeexplore.ieee.org
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) …

SAM-SoS: A stochastic software architecture modeling and verification approach for complex system-of-systems

A Mohsin, NK Janjua, SMS Islam, MA Babar - IEEE Access, 2020 - ieeexplore.ieee.org
A System-of-Systems (SoS) is a complex, dynamic system whose Constituent Systems (CSs)
are not known precisely at design time, and the environment in which they operate is …

Automated semantics-preserving parallel decomposition of finite component and connector architectures

O Kautz, B Rumpe, A Wortmann - Automated Software Engineering, 2020 - Springer
For the systematic development of logical, message-driven architectures, automating
parallel decomposition of software components is important to achieve efficient modular and …

[HTML][HTML] On the verification of mission-related properties in software-intensive systems-of-systems architectural design

E Silva, T Batista, F Oquendo - Science of Computer Programming, 2020 - Elsevier
One of the prominent domains of nowadays software engineering concerns on building and
maintaining the so-called system-of-systems (SoS). The activity of integrating independent …

Model synthesis and stochastic automated verification of systems-of-systems dynamic architectures

A Mohsin, NK Janjua, M Masek… - … on Advanced Computer …, 2020 - ieeexplore.ieee.org
Software intensive Systems-of-Systems (SoS) are complex alliances of autonomous
Constituent Systems (CSs) formed at a large scale to achieve a common objective. As such …

Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems

J Brings, M Daun - Proceedings of the IEEE/ACM 42nd International …, 2020 - dl.acm.org
Dynamically forming networks of cyber-physical systems are becoming increasingly
widespread in manufacturing, transportation, automotive, avionics and more domains. The …

Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL

F Oquendo - Internet of Things. A Confluence of Many Disciplines …, 2020 - Springer
A Software-intensive System-of-Systems (SoS) is architecturally designed to exhibit
emergent behavior from the interactions among independent constituent systems. With the …

ESADSA: Enhanced Self-adaptive Dynamic Software Architecture

S Gummalla, G Venkateswara Rao… - Proceedings of the Third …, 2020 - Springer
With the advent of new technologies and the trend in integration of related business, the
software development has become very complex. However, complex systems are realized …