Recent engineering experiences with the Missile Defense Agency (MDA) Ballistic Missile Defense System (BMDS) highlight the need to analyze the BMDS System of Systems (SoS) including the numerous potential interactions between independently developed elements of the system. The term “interstitials” is used to define the domain of interfaces, interoperability, and integration between constituent ...

A novel form of labelled transition system is proposed, where the labels are the arrows of a category, and adjacent labels in computations are required to be composable. Such transition systems provide the foundations for modular SOS descriptions of programming languages. Three fundamental ways of transforming label categories, analogous to monad transformers, are provided, and it is shown that...

Abstract The traveling salesman problem (TSP) is one of typical combinatorial optimization problems. Ant colony (ACO) an effective method to solve the problem, but there are some non-negligible shortcomings hidden in original algorithm. primary objective this research optimize ACO produce quality work throughout solving TSP. To end, hybrid SOS-MMAS algorithm proposed. Concretely, apply advanced...

An important characteristic of a System of Systems (SoS) is interoperability among its constituent systems. It enables the flow of information and the seamless introduction of new systems into the SoS. But interoperability comes at a price. Current studies indicate that there is significant engineering effort involved in making systems interoperable. However, this feature is not adequately repr...

Simulation of Cyber-Physical Systems (CPS) can be quite complex due to heterogeneity of their components and their interactions, which include physical phenomena, levels of abstraction used in modelling the physical and computational structures and processes, and engineering approaches to CPS design and analysis. The concept of system-of-systems (SoS) to designate complex integrated CPS infrast...

Considerable work has been done in the areas of software development, systems engineering, and Commercial Off-the-Shelf (COTS) integration cost modeling, as well as some preliminary work in the area of System of System Engineering (SoSE) cost modeling. These cost models focus on the engineering product, the processes used to develop the product, and the skills and experience levels of the techn...

A systems engineering methodology for analyzing a system of systems (SoS) elucidated in this paper involves the use of process modeling, modeling of the SoS with the systems modeling language (SysML), and subsequent conversion of the resulting SysML model into an end-to-end system of systems executable object-oriented simulation model. A process is a series of actions undertaken by a system or ...

This paper investigates how existing software engineering techniques can be employed, adapted and integrated for the development of systems of systems. Starting from existing system-of-systems (SoS) studies, we identify computing paradigms and techniques that have the potential to help address the challenges associated with SoS development, and propose an SoS development framework that combines...

Structural operational semantics (SOS) [44] provides a framework to give an operational semantics to programming and specification languages. In particular, because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes. SOS generates a labelled transition system, whose states are the closed terms over an algebraic s...