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...

This study aimed to evaluate changes in tibial bone speed of sound (SOS) over time, in preterm and term infants during infancy, in addition to identifying factors influencing the development of tibial SOS during infancy. Preterm (n = 155) and term (n = 65) infants were enrolled in this study. Tibial bone SOS was measured using quantitative ultrasonography (QUS) on the left tibia of newborn infa...

Growth factor receptors activate Ras by recruiting the nucleotide exchange factor son of sevenless (SOS) to the cell membrane, thereby triggering the production of GTP-loaded Ras. Crystallographic analyses of Ras bound to the catalytic module of SOS have led to the unexpected discovery of a highly conserved Ras binding site on SOS that is located distal to the active site and is specific for Ra...

When you create a System of Systems (SoS), you are doing wilful design. It follows that you need a safety case: a justification of why that system will be safe. All safety cases must have certain common properties: they must focus on risk, they must provide appropriate confidence in their claims, and they must have a clear relationship to a causal model of the system's safety behaviour. None of...

The spin-orbit scattering ~SOS! of the Pb and Bi impurities in Cs, K, and Na films is measured by means of weak localization. The dimensionless SOS cross section for Pb in Cs ~in units of 4p/kF 2 ! has the large value of sso *' 2 3 . This SOS cross section is the absolute maximum possible for ~s,p! impurities ~if one neglects d and larger l scattering!. The SOS contributes almost 50% to the tot...

Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based definition, as well as automatically deriving sound and ground-complete axiomatizations for languages, when considering a notion of behavioural...

System of Systems (SoS) development is a complex process that depends on the cooperation of various independent Systems [1]. SoS acquisition and development differs from that typical for a single System; it has been shown to follow a wave paradigm known as the Wave Model [2]. Agent based models (ABMs) consist of a set of abstracted entities referred to as agents, and a framework using simplifie...