• Aucun résultat trouvé

Safety analysis of train control system based on model-driven design

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Safety analysis of train control system based on model-driven design"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Safety analysis of train control system based on model-driven

design methodology

Authors

Abdelhakim Baouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani

Publication date 2019/2/1 Journal Computers in Industry Volume 105 Pages 1-16 Publisher Elsevier Description

Embedded system design is a complex process that demands an extensive system level modeling. Its implementation encompasses software and hardware components and its interconnections. In such systems, it is widely recognized that safety should be considered at the design stage itself, particularly at the architectural level to minimize the design effort. This paper presents a novel methodology based on model-driven specification and probabilistic model checking to automatically analyze safety based availability before synthesizing the embedded software product. Initially, the specification relies on the Architecture Analysis and Design Language (AADL) standard. Applying this standard, software components,

communication links, and hardware platform are modeled. From the software components, a formal specification suitable for analysis and verification is extracted. When the verification is done and …

Références

Télécharger maintenant ( PDF - 1 Page - 240.12 KB )

Documents relatifs

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach

SB-TemPsy includes SB-TemPsy-DSL, a domain- specific language for specifying SBTPs that cover the most frequent requirement types in CPSs, and SB-TemPsy-Check, an

Control-in-the-loop Model Based Safety Analysis

The failures of control components may lead to a loss of the switching functions which handle the redundancy mechanisms between the process components. Hence we propose

Model-Driven Security based on A Unified System of Security Design Patterns

They are collected, specified as reusable aspect models (RAM) [7] to form a coherent system of them. While not only specifying security patterns at the abstract level like in

A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties

i) a model-driven trace checking procedure, which relies on a mapping of temporal requirements written in TemPsy into Ob- ject Constraint Language (OCL) constraints on a meta-model

Model-Driven Architecture Based Security Analysis

Our work is contextualized in the field of automatic code generation for security analysis on communicating em- bedded systems. The choice of this type of system is justified on the

LES INCLUSIONS DIFF ERENTIELLES FRACTIONNAIRES

Key words and phrases: Fractional calculus, anti-periodic boundary conditions, Ba- nach fixed point theorem, existence, uniqueness, Caputo fractional derivative, Hadamard

Contrôle du profil de courant par ondes cyclotroniques électroniques dans les tokamaks

Sur la figure 7.2, le profil de courant g´ en´ er´ e par l’onde hybride basse pendant la phase LH a ´ et´ e repr´ esent´ e, ainsi que le profil de q associ´ e, en l’absence

UI Modeling as Ontology for Composition

So we present a model enabling substitution of elements of the UI coming from two former applications, according to their known roles: Input (elements that