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

This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of heterogeneous components whose number evolves with time. Such components cooperate to accomplish functions that they could not achieve in isolation. Examples of SoS include smart cities or airport management system. The dynamical evolution of SoS behavior and architecture makes it impossible ...

Receptor tyrosine kinases participate in several signaling pathways through small G proteins such as Ras (rat sarcoma). An important component in the activation of these G proteins is Son of sevenless (SOS), which catalyzes the nucleotide exchange on Ras. For optimal activity, a second Ras molecule acts as an allosteric activator by binding to a second Ras-binding site within SOS. This alloster...