SciTePress - Affiliation Profile

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Affiliation

Select a Subject
Refine Ontology Subject

University of Reims Champagne Ardenne Moulin de la Housse and Société Nationale des Chemins de fer Français

Context (please use complete words only)

Field

Sort by

1 Papers

Formal Verification for Validation of PSEEL’s PLC Program

Topics: System Modeling; Modeling, Analysis and Control of Discrete-Event Systems; Engineering Applications

Authors: Mohamed Niang ¹ , Alexandre Philippot ² , François Gellot ² , Raphaël Coupat ³ , Bernard Riera ² and Sébastien Lefebvre ³

Affiliations: ¹ University of Reims Champagne Ardenne Moulin de la Housse and Société Nationale des Chemins de fer Français, France , ² University of Reims Champagne Ardenne Moulin de la Housse, France , ³ Société Nationale des Chemins de fer Français, France

Digital Object Identifier: 10.5220/0006418705670574

Proceedings of ICINCO 2017, ISBN: 978-989-758-263-9

Quick Abstract

In order to keep its leadership in French rail market and to improve work conditions of its systems engineers during automation projects, the SNCF (French acronym for National Society of French Railways) wants to develop solutions increasing the productivity. One of these improvements focuses on the current methodology used by systems engineers to verify and validate PLC programs of electrical installations. This task remains one of the most important during an automation project because it is supposed to ensure installations safety, but it must be optimized. Through an industrial thesis financed by SNCF, the aim of this research project is to improve this method and reduce time validation of programs by providing a tool which will help systems engineers to verify and validate quickly and automatically PLC programs during any automation project, not necessarily during factory tests but directly from their office.

Related Ontology Subjects/Areas/Topics (7)

Engineering Applications	Modeling, Analysis and Control of Discrete-event Systems	Signal Processing, Sensors, Systems Modeling and Control
Informatics in Control, Automation and Robotics	Robotics and Automation	System Modeling
Intelligent Control Systems and Optimization