Many systems of systems (SoS) occur today through the collaboration of multiple stakeholders, without any clear authority or direction at the SoS level. Examples include a supply chain, an airport, and the Internet. Because of the uncontrolled interactions, such a SoS exhibits complexity behaviors such as reflexivity, emergence, self-organization, and adaptation. This paper presents underlying ...

The SANY IP consortium (http://www.sany-ip.eu) has recently developed several interesting service prototypes that extend the usability of the Open Geospatial Consortium "Sensor Web Enablement" (OGC SWE) architecture. One such service prototype, developed by the Austrian Research Centers, is the "cascading SOS" (SOS-X). SOS-X is a client to the underlying OGC Sensor Observation service(s) (SOS)....

Model Based Systems Engineering (MBSE) follows a model centric approach in contrast to the traditional document centric approach. The complexity of SoS development lends itself nicely to a model centric approach, especially a model that can represent the independence of the systems that comprise the SoS. An agent-based model provides a framework where the SoS and each system are independent ent...

In this exploratory work, an integrated systems engineering methodology for analyzing architectures of systems of systems (SoS) involves linking an SoS architecture development process to the DoDAF products, using the systems modeling language (SySML 1.0) to represent DoDAF products, and hence to model the SoS architecture, and linking the SysML diagrams with the SoS architecture development pr...

Sos proteins are ubiquitously expressed activators of Ras. Lymphoid cells also express RasGRP1, another Ras activator. Sos and RasGRP1 are thought to cooperatively control full Ras activation upon T-cell receptor triggering. Using RNA interference, we evaluated whether this mechanism operates in primary human T cells. We found that T-cell antigen receptor (TCR)-mediated Erk activation requires ...

Systems of Systems (SoS) have received a lot of attention recently. In this thesis we will focus on SoS that are built atop the techniques of Service-Oriented Architectures and thus combine the benefits and challenges of both paradigms. For this thesis we will understand SoS as ensembles of single autonomous systems that are integrated to a larger system, the SoS. The interesting fact about the...

Ensuring resilience – the ability to remain dependable in dynamic environment – constitutes a major challenge for engineering systems-of-systems (SoS). In this paper, we take a mission-centric view on the behaviour of SoS and demonstrate how to formally reason about their dependability. We use Event-B as our modelling framework and demonstrate how to formally specify and verify generic system-w...

Modular SOS is a recently-developed variant of Plotkin’s Structural Operational Semantics (SOS) framework. It has several pragmatic advantages over the original framework—the most significant being that rules specifying the semantics of individual language constructs can be given definitively, once and for all. Modular SOS is being used for teaching operational semantics at the undergraduate le...

This chapter defines the overall tool-supported “AMADEOS architectural framework”, with its main building blocks and interfaces. It particularly focuses on Structure, Dependability, Security, Emergence, and Multi-criticality viewpoints of an SoS. Finally, for SoS modeling, a “supporting facility tool” based on Blockly is demonstrated. Blockly is a visual DSL and has been adopted to ease the des...