Anzeige
Erschienen in:
2016 | OriginalPaper | Buchkapitel
A Feedback Experience on Delta SR: A Smart Tool to Compare Complex SCADE Models
verfasst von : Stéphane Fechter, Myriam Marchand
Erschienen in: Complex Systems Design & Management
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
The signaling railway system company Ansaldo STS develops, with the formal language SCADE, a Carborne Controller for a SIL 4 CBTC (a management system for communicating urban trains). The Carborne Controller SCADE model is a critical software, embedded in the trains, of the CBTC system: 1026 SCADE operators to implement 1323 system requirements and 17 levels for the depth. To be compliant with the standard CENELEC EN 50128, Critical Code Reviews are mandated for the Carborne Controller SCADE model. Without support solution for Critical Code Reviews on complex SCADE models, we have developed a tool: Delta SR. Developed with TCL language, thanks to a heuristic based on textual, syntactic and semantic analyses, it computes a classification of differences between two SCADE models and exhibits the functional impacts of changes. The paper presents a feedback on Delta SR and on its added value for the Critical Code Reviews on SCADE models.