loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mohamed Niang 1 ; Alexandre Philippot 2 ; François Gellot 2 ; Raphaël Coupat 3 ; Bernard Riera 2 and Sébastien Lefebvre 3

Affiliations: 1 University of Reims Champagne Ardenne Moulin de la Housse and Société Nationale des Chemins de fer Français, France ; 2 University of Reims Champagne Ardenne Moulin de la Housse, France ; 3 Société Nationale des Chemins de fer Français, France

ISBN: 978-989-758-263-9

ISSN: 2184-2809

Keyword(s): Model-checking, Recipe Book, Factory Tests, Systems Engineers, Railways, Safety.

Related Ontology Subjects/Areas/Topics: Engineering Applications ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Modeling, Analysis and Control of Discrete-event Systems ; Robotics and Automation ; Signal Processing, Sensors, Systems Modeling and Control ; System Modeling

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.227.247.17

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Niang, M.; Philippot, A.; Gellot, F.; Coupat, R.; Riera, B. and Lefebvre, S. (2017). Formal Verification for Validation of PSEEL’s PLC Program.In Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-263-9, ISSN 2184-2809, pages 567-574. DOI: 10.5220/0006418705670574

@conference{icinco17,
author={Mohamed Niang. and Alexandre Philippot. and Fran\c{C}ois Gellot. and Raphaël Coupat. and Bernard Riera. and Sébastien Lefebvre.},
title={Formal Verification for Validation of PSEEL’s PLC Program},
booktitle={Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2017},
pages={567-574},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006418705670574},
isbn={978-989-758-263-9},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - Formal Verification for Validation of PSEEL’s PLC Program
SN - 978-989-758-263-9
AU - Niang, M.
AU - Philippot, A.
AU - Gellot, F.
AU - Coupat, R.
AU - Riera, B.
AU - Lefebvre, S.
PY - 2017
SP - 567
EP - 574
DO - 10.5220/0006418705670574

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.