Interacting Components

SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used approach enables incremental design of execution diagrams by adding restrictions in different interaction diagrams throughout the process of system design. In this way all different diagrams are related into a single formally verifiable system. The concept of reusable formally verifiable interaction contracts is illustrated by designing set of design patterns for typical fault tolerance interaction scenarios

Representation of distribution networks of ships using graph-theory

CETENA S.p.A., SISSA (International School for Advanced Studies) and Lloyd\u2019s Register (Class Society) have recently been involved in a challenge aimed at developing smart algorithms capable to evaluate the effect of different failure modes \u2014 caused by a fire or a flooding\u2014on the systems of passenger ships in order to improve the design of new passenger ships [1]. Considering that a failure may cause serious accidents both to the vessel and human lives, the goal of this project is to evaluate the best reconfiguration of current ship plants after each casualty scenario so as to guarantee the minimal functioning requirements. This implies a continuous cross check activity (design against installation) that follows the whole ship construction process. The urgency of this work is motivated by the necessity to meet the International Maritime Organizations (IMO) Safety Of Life At Sea (Solas) design prescriptions defined in the Safe Return to Port (SRtP) regulations [2]. According to these criteria, a vessel should be able to safely return to port under its own propulsion after an adverse event not exceeding any of the defined casualty thresholds and criteria imposed by the regulations. Thus, the identification of all the possible failure modes and their propagation through the on-board systems has become a task of paramount importance for the proper design of the ship\u2019s systems against failure events. Currently, in accordance with IMO MSC.1/circ.1369 [3], CETENA produces the Operating Manuals that allow the crew to reconfigure the essential systems after a SRtP casualty so as to be able to bring the ship to a port with adequate comfort and safety standards. However, the ship can be operated in a different way from what is planned in the design stage. In these scenarios, the present static Operational Manuals can be a limitation. In order to be effective during emergency operation, Operational Manuals must be dynamic so as to provide interactive information and guidance to crew members about the reconfiguration of the ship and the recovery of her functions based on the systems configuration at the moment of the casualty. The focus of this work is the study of domino effects triggered by fire or flooding casualties in passenger ships in order to provide crew with a tool which speeds up and facilitates the decision-making process when choices have to be made to optimize the ship residual capability after a casualty. The framework of this study may be extended to other types of domino escalation

Hyperswitch communication network

The Hyperswitch Communication Network (HCN) is a large scale parallel computer prototype being developed at JPL. Commercial versions of the HCN computer are planned. The HCN computer being designed is a message passing multiple instruction multiple data (MIMD) computer, and offers many advantages in price-performance ratio, reliability and availability, and manufacturing over traditional uniprocessors and bus based multiprocessors. The design of the HCN operating system is a uniquely flexible environment that combines both parallel processing and distributed processing. This programming paradigm can achieve a balance among the following competing factors: performance in processing and communications, user friendliness, and fault tolerance. The prototype is being designed to accommodate a maximum of 64 state of the art microprocessors. The HCN is classified as a distributed supercomputer. The HCN system is described, and the performance/cost analysis and other competing factors within the system design are reviewed