Today’s need for more complex, capable systems in a short timeframe is leading many organizations towards the integration of existing systems into network-centric, knowledgebased system-of-systems (SoS). This presents new acquisition challenges in the area of cost estimation because of the lack of commonly accepted definitions and roles. Software and system cost models to date have focused on t...

This report presents some of the results of the first year of Danse, one of the first EU IP projects dedicated to System of Systems. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful toolsets coming from the formal verification area. At the high level, we use UPDM, the system model provided by the british army as wel...

In contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves auxiliary entities: stores, environments, etc. When specifying SOS rules, particular auxiliary entities often need to be propagated unchanged between premises and conclusions. The standard technique is to make such propagation explicit, using v...

In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scale...

The centre of gravity (COG) is the source of power and the most important system of system-of-systems (SoS). A detailed study of COG analysis of SoS has been carried out by using multi-entity Bayesian networks (MEBN) method. The MEBN can be converted into different domain specific Bayesian networks according to different inputs, which is very useful to tackle with the uncertain behaviors of SoS...

A System of System (SoS) stems from the integration of existing systems (legacy systems), normally operated by different organizations, and new systems that have been designed to take advantage of this integration. Many of the established assumptions in classical system design, such as e.g., the scope of the system is known, that the design phase of a system is terminated by an acceptance test ...

The main objective of this communication is to discuss the engineering of a System of Systems (SoS), including interoperability concept. More precisely, the here presented research focuses on the fundamental requirements to consider in a System of Systems Engineering (SoSE) project and that have to be maintain during the entire life cycle of a SoS. First, the concept of interoperability, accord...

Context: The systems comprising a system of systems (SoS) are independently acquired, operated, and managed. Frequently, the architecture documentation of these existing systems addresses only a stand-alone perspective, and must be augmented to address concerns that arise in the integrated SoS. Objective: We evaluated an architecture documentation viewpoint to address the concerns of a SoS arch...

BACKGROUND Repairing DNA damage begins with its detection and is often followed by elicitation of a cellular response. In E. coli, RecA polymerizes on ssDNA produced after DNA damage and induces the SOS Response. The RecA-DNA filament is an allosteric effector of LexA auto-proteolysis. LexA is the repressor of the SOS Response. Not all RecA-DNA filaments, however, lead to an SOS Response. Certa...

Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1) the model of the SoS, which includes stochastic aspects; 2) the formalization of the SoS requirements in the form of contracts;...