Models Oriented Approach for Developing Railway Safety-Critical Systems with UML

2010 ◽  
pp. 305-330
Author(s):  
Jean-Louis Boulanger ◽  
Alban Rasse ◽  
Akram Idani
Keyword(s):  
Software Development ◽  
Dynamic Behavior ◽  
Model Transformations ◽  
Critical Systems ◽  
Safety Critical ◽  
Development Cycle ◽  
Railway Safety ◽  
Safety Critical Systems ◽  
Key Aspects ◽  
Oriented Approach

This chapter presents an approach for certified design of railway critical systems. This approach, which realizes the software development cycle, relies on metamodeling architecture and model-transformations. It combines semi-formal UML models and formal models in order to check, proof and generate code by refinement; we use the process algebra FSP to check the dynamic behavior and B to generate proved code. Initially, the authors select an UML subset, which could be uses to model the key aspects of critical systems. Then, from this subset, the authors perform projections to obtain B and FSP models which are exploited by tools for checking, refinement and proof.

An aspect-oriented approach for designing safety-critical systems

2013 ◽  
Author(s):  
Z. Petrov ◽  
P. G. Zaykov ◽  
J. P. Cardoso ◽  
J. G. F. Coutinho ◽  
P. C. Diniz ◽  
...  
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Oriented Approach

scholarly journals Lessons learnt from IEC61508 software assessments

2018 ◽  
Author(s):  
R H Campbell ◽  
R M Phillips ◽  
C Allsopp
Keyword(s):  
Software Development ◽  
Safety Management ◽  
Critical Systems ◽  
Specific System ◽  
Safety Critical ◽  
Lessons Learnt ◽  
Variable Environments ◽  
Management Processes ◽  
Development Processes ◽  
Safety Critical Systems

With the advances in platform automation and the publication of NAN 06/2018 - Software integrity (previously NAN 02/2016), there has been a drive towards compliance to IEC61508 in the naval domain.  Over the last few years Frazer-Nash have conducted a number of Original Equipment Manufacturer (OEM) audits and assessments to determine whether the requirements for safety critical software development in IEC61508 have been followed for a specific system or if a supplier's development processes are in line with the aspects of the standard which focus on software development, namely Part 3 - Software requirements.  These audits have revealed some common problems across suppliers and highlighted that IEC61508 requires both organisational safety management processes as well as those specific for a system. As the naval industry looks to adopt the processes outlined in IEC61508 or an equivalent standard, this paper will present some of the lessons learnt from our IEC61508 assessments and offer some advice for new and existing suppliers.  The paper will highlight some of the issues going forward as the development of safety critical systems is not a new concept but the specific factors arising in the naval domain from operating in variable environments, changing safe state conditions and ever increasing function complexity, present a key challenge. Included in the paper will be a view on how other industries are tackling IEC61508 compliance and where the strategies that have been adopted may be applicable in the naval domain as well as new tools which could assist with the development of safety critical systems. 

scholarly journals SCCharts - Language and Interactive Incremental Compilation

2017 ◽  
Author(s):  
Christian Motika
Keyword(s):  
Nuclear Power ◽  
Power Plants ◽  
Reactive Systems ◽  
Control Flow ◽  
Model Transformations ◽  
Critical Systems ◽  
Safety Critical ◽  
Incremental Model ◽  
Software Models ◽  
Safety Critical Systems

Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems these days. Such systems control the airbags in our cars, the flaps of an aircraft, nuclear power plants or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models. This thesis presents SCCharts, a Statecharts-based synchronous and visual modeling language for specifying and designing safety-critical systems and for deriving their implementations. It elaborates on why a control-flow oriented and synchronous language is desirable and how incremental language features are chosen to flatten learning curve. It presents an interactive incremental model transformation based compilation approach termed SLIC. It shows how SLIC helps in supporting both, the modeler and the tool smith for building reliable models and maintaining a reliable compiler, respectively. A SLIC-based compiler for SCCharts including its high-level model transformations is presented. Furthermore, practicality aspects of the KIELER SCCharts language and tooling implementation complete the considerations to validate the proposed approach.

scholarly journals SCCharts - Language and Interactive Incremental Compilation

2017 ◽  
Author(s):  
Christian Motika
Keyword(s):  
Nuclear Power ◽  
Power Plants ◽  
Reactive Systems ◽  
Control Flow ◽  
Model Transformations ◽  
Critical Systems ◽  
Safety Critical ◽  
Incremental Model ◽  
Software Models ◽  
Safety Critical Systems

Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems these days. Such systems control the airbags in our cars, the flaps of an aircraft, nuclear power plants or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models. This thesis presents SCCharts, a Statecharts-based synchronous and visual modeling language for specifying and designing safety-critical systems and for deriving their implementations. It elaborates on why a control-flow oriented and synchronous language is desirable and how incremental language features are chosen to flatten learning curve. It presents an interactive incremental model transformation based compilation approach termed SLIC. It shows how SLIC helps in supporting both, the modeler and the tool smith for building reliable models and maintaining a reliable compiler, respectively. A SLIC-based compiler for SCCharts including its high-level model transformations is presented. Furthermore, practicality aspects of the KIELER SCCharts language and tooling implementation complete the considerations to validate the proposed approach.

Sign in / Sign up

Export Citation Format

Share Document