Conformance test of logic controllers of critical systems from industrial specifications

François Chériaux, Laurence Picci, Julien Provost, Jean Marc Faure

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

This paper presents a synthesis of works performed in the frame of an industry/academia cooperative research. The overall objective of this research is to automate the construction of test sequences for conformance test of industrial logic controllers when the expected behavior is described in industrial specification languages. The first contribution is aiming at preventing from combinatorial explosion by preliminary verifications on the implementation so as to check whether it satisfies some structural properties. The second contribution is a method to translate an industrial specification into a formal model to take benefit from theoretical results on conformance test of formal models for discrete event systems description. These two contributions are exemplified on case studies from the domain of energy production.

Original languageEnglish
Title of host publicationReliability, Risk and Safety
Subtitle of host publicationBack to the Future
Pages1569-1576
Number of pages8
StatePublished - 2010
Externally publishedYes
EventEuropean Safety and Reliability Annual Conference: Reliability, Risk and Safety: Back to the Future, ESREL 2010 - Rhodes, Greece
Duration: 5 Sep 20109 Sep 2010

Publication series

NameReliability, Risk and Safety: Back to the Future

Conference

ConferenceEuropean Safety and Reliability Annual Conference: Reliability, Risk and Safety: Back to the Future, ESREL 2010
Country/TerritoryGreece
CityRhodes
Period5/09/109/09/10

Fingerprint

Dive into the research topics of 'Conformance test of logic controllers of critical systems from industrial specifications'. Together they form a unique fingerprint.

Cite this