Systems of systems engineering: basic concepts, model-based techniques, and research directions
The term “System of Systems”(SoS) has been used since the 1950s to describe systems that
are composed of independent constituent systems, which act jointly towards a common goal …
are composed of independent constituent systems, which act jointly towards a common goal …
Industrial-strength model-based testing-state of the art and current challenges
J Peleska - arxiv preprint arxiv:1303.1006, 2013 - arxiv.org
As of today, model-based testing (MBT) is considered as leading-edge technology in
industry. We sketch the different MBT variants that-according to our experience-are currently …
industry. We sketch the different MBT variants that-according to our experience-are currently …
A systematic literature review on the description of software architectures for systems of systems
Software architectures have been recognized as the backbone to the success of any
software system. In addition, they are responsible to aggregate quality attributes, such as …
software system. In addition, they are responsible to aggregate quality attributes, such as …
Isabelle/UTP: A Mechanised Theory Engineering Framework
We introduce Isabelle/UTP, a novel mechanisation of Hoare and He's Unifying Theories of
Programming (UTP) in Isabelle/HOL. UTP is a framework for the study, formalisation, and …
Programming (UTP) in Isabelle/HOL. UTP is a framework for the study, formalisation, and …
Dynamic-sos: An approach for the simulation of systems-of-systems dynamic architectures
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 …
A review and future directions of SOA-based software architecture modeling approaches for System of Systems
Software architecture is a software system's earliest set of design decisions that are critical
for the quality of the system desired by the stakeholders. The architecture makes it easier to …
for the quality of the system desired by the stakeholders. The architecture makes it easier to …
[HTML][HTML] A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP
Deadlock and nondeterminism may become increasingly hard to detect in concurrent and
distributed systems. UML activity diagrams are flowcharts that model sequential and …
distributed systems. UML activity diagrams are flowcharts that model sequential and …
Ontology-based requirement verification for complex systems
Verification is a necessary part of Model-based systems engineering (MBSE) which is
becoming a mainstream methodology for the design of complex systems. Verification in the …
becoming a mainstream methodology for the design of complex systems. Verification in the …
π-Calculus for SoS: A foundation for formally describing software-intensive systems-of-systems
F Oquendo - 2016 11th System of Systems Engineering …, 2016 - ieeexplore.ieee.org
A critical issue for the design of a System-of-Systems (SoS) is the formal description of its
architecture. One of the complicating factors for formally describing SoS architectures is that …
architecture. One of the complicating factors for formally describing SoS architectures is that …
An integrated semantics for reasoning about SysML design models using refinement
SysML is a variant of UML for systems design. Several formalisations of SysML (and UML)
are available. Our work is distinctive in two ways: a semantics for refinement and for a …
are available. Our work is distinctive in two ways: a semantics for refinement and for a …