A Model-Based Methodology to Formalize Specifications of Railway Systems

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Copyright

show abstract

“…ScOLA is an extension of the formalism of SDLg (Issad et al 2014). It introduces a novel approach for system specifications.…”

Section: Definition Of Scolamentioning

confidence: 99%

A contribution to safety analysis of railway CBTC systems using Scola

Issad¹,

Koul²,

Rauzy³

2015

Safety and Reliability of Complex Engineered Systems

View full text Add to dashboard Cite

show abstract

“…Up to now, MBSA has been widely used in the fields of aviation [9], railways [10], automotives [11], and other safety-critical systems [12]. During the process of MBSA, system engineers and safety analysts share a common system model.…”

Section: Introductionmentioning

confidence: 99%

Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0

Dong

Gu²,

Wang

et al. 2019

Processes

View full text Add to dashboard Cite

The integrated modular avionics (IMA) system is widely used in all classes of aircraft as a result of its high functional integration and resource utilization in developing advanced avionics systems. However, a series of challenges related to safety assessment exist in the background of the logical architecture for multi-message interactions of the IMA system. Traditional safety assessment methods are mainly based on engineering experience, and are difficult to reuse, incomplete, and even error-prone. Here we propose a method to assess the availability of the IMA system based on the thinking of model-based safety analysis. To aid the proposed method, we implement a tool to generate a AltaRica 3.0 file used to assess the IMA system model. The simulation results show that the proposed method makes the availability assessment fast, efficient, and effective. Moreover, we apply this method to the modification analysis of the IMA system under the condition of satisfying the safety requirement. Our study can enhance the safety assessment of safety-critical systems effectively, assist the design of IMA systems, and reduce the amount of errors during the programming process of the safety model.

show abstract

“…In this article, we present a scenario‐oriented modeling methodology dedicated to the analysis and the formalization of complex railway system specifications. This methodology relies on the SCOLA (a Scenario Oriented LAnguage) semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language (see, e.g., Refs. ).…”

Section: Introductionmentioning

confidence: 99%

“…We decided therefore to create SCOLA, a domain‐specific modeling notation dedicated to our reverse engineering purpose, that is, to the representation of railway scenarios. SCOLA relies on a simple process algebra (in the vein of Calculus of Communicating Systems [CCS] and Communicating Sequential Processes [CSP]) to specify behaviors and on System Structure Modeling Language (S2ML) to structure models and to describe systems architectures.…”

Section: Introductionmentioning

confidence: 99%

Scenario‐oriented reverse engineering of complex railway system specifications

Issad

Kloul

Rauzy

2018

Systems Engineering

Self Cite

View full text Add to dashboard Cite

In this article, we present a scenario-oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language. We designed this methodology because we had to review thousands of pages of natural language specifications of a railway system in view of their validation with respect to safety constraints. We needed therefore some means to understand what the system was supposed to be and to do as well as to support a dialog with experts. This article aims at introducing the methodology and the modeling formalism that supports it as well as at discussing its application to the railway systems. K E Y W O R D Sformal specifications, modeling languages, railway systems, systems engineering

show abstract

A Model-Based Methodology to Formalize Specifications of Railway Systems

Cited by 6 publications

References 3 publications

A contribution to safety analysis of railway CBTC systems using Scola

A contribution to safety analysis of railway CBTC systems using Scola

Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0

Scenario‐oriented reverse engineering of complex railway system specifications

Contact Info

Product

Resources

About