scholarly journals Formal Development of System of Systems

2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Maryam Kamali ◽  
Mats Neovius ◽  
Luigia Petre ◽  
Petter Sandvik
Keyword(s):  
Control Systems ◽  
System Of Systems ◽  
Proof Of Concept ◽  
Formal Approach ◽  
Formal Development ◽  
Formal Integration

Characterising for contemporary systems is their dependence on constituent systems to provide information, functionality, and scalability. Moreover, as the tasks that systems perform are ever more intimate and critical in their nature, reliability and correctness are great concerns. On these matters, we outline a methodology for formal integration of systems. We claim this formal approach to assist in managing the complexity and correctness, in preserving reliability and in respecting the independence of the constituent systems. As a proof of concept, we integrate two in-house control systems specified independently in the Event-B language with the Rodin Platform tool. Moreover, we show how to introduce a new functionality that is only possible due to the integration. Hence, we formally construct a system of systems and provide the methods for hierarchical integration of those.

The Next Generation of Train Control for Canadian Heavy Haul Systems

2020 ◽  
Author(s):  
David F. Thurston
Keyword(s):  
Asset Management ◽  
Pilot Project ◽  
System Of Systems ◽  
Rail Transport ◽  
Test Cases ◽  
Proof Of Concept ◽  
Train Control ◽  
Intermediate Technology ◽  
Heavy Haul ◽  
Operational Concept

Abstract Heavy Haul Rail Transport in Canada has not advanced as in other countries. This gives these railways a chance to leap over intermediate technology in Train Control, Asset Management and levels of RAMS not offered in previous designs. Train Control is part of a System of Systems (SoS) that provides the basis of safety for operations, while allowing other non-vital systems to be implemented cheaper and faster than systems currently being modified to perform these tasks. This paper performs several tasks. First, it will update the reader on work being performed under the auspices of the Railway Association of Canada for Enhanced Train Control, and then it will describe how Train Control will interact with other systems to provide the overall functionality for safe train movement. Finally, the base requirements for a Train Control System meeting the requirements for Enhanced Train Control will be described. The initial concepts and designs will be presented to show how the requirements will be met. In addition, the pilot project that is underway for proof of concept and operational readiness will be detailed. Test cases will be illustrated and portions of an Operational Concept, Requirements Analysis and Form Fit ad Function (F3) specifications will be documented. All of this will be the stepping stone for other systems to lead in advanced functionality and operation on Canadian Railways of the future.

Concepts and Strategies for Quality of Modeling

2010 ◽  
pp. 167-189
Author(s):  
Patrick van Bommel ◽  
Stijn Hoppenbrouwers ◽  
Erik Proper ◽  
Jeroen Roelofs
Keyword(s):  
Proof Of Concept ◽  
Formal Approach ◽  
Prototype Implementation ◽  
Process Oriented ◽  
Formal Rules

A process-oriented framework (QoMo) is presented that aims to further the study of analysis and support of processes for modeling. The framework is strongly goal-oriented, and expressed largely by means of formal rules. The concepts in the framework are partly derived from the SEQUAL framework for quality of modelling. A number of modelling goal categories is discussed in view of SEQUAL/QoMo, as well as a formal approach to the description of strategies to help achieve those goals. Finally, a prototype implementation of the framework is presented as an illustration and proof of concept.

Sign in / Sign up

Export Citation Format

Share Document