A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems

Niang, Mohamed; Riera, Bernard; Carré-Ménétrier, Véronique; Zaytoon, Janan; Gellot, François; Coupat, Raphaël

doi:10.1016/j.compind.2020.103328

Cited by 13 publications

(4 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although MBD has previously been used to generate PLC code for industrial equipment in [36], there is little evidence in the literature to suggest that the use of MBD to develop and validate equipment software has been considered by manufacturers of equipment for regulated environments. This paper aimed to address this gap in the literature by presenting a novel approach to the design and validation of custom software for equipment control.…”

Section: Discussionmentioning

confidence: 99%

“…The use of MBD in these sectors has resulted in reduced development time [30], increased testing coverage [31], shorter commissioning [32] and significant cost savings [33]. More recently, the use of MBD to generate PLC code in the form of structured text is becoming more prevalent in industrial manufacturing environments, with applications including process control [34,35], safety systems [36] and equipment optimisation [37,38].…”

Section: Model-based Designmentioning

confidence: 99%

See 1 more Smart Citation

A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments

McCarthy

McMorrow²,

O’Dowd

et al. 2022

Applied Sciences

View full text Add to dashboard Cite

Validation is a critical stage of the equipment design process as it provides documentary evidence that the equipment is performing as per specification and ensures consistent product quality is maintained at all times. The advent of Industry 4.0 has led to a requirement for reconfigurable manufacturing systems as manufacturers adapt to an increased customer demand for personalised products. As equipment control software becomes increasingly complex to accommodate these requirements, a new approach to equipment validation is required. This paper presents a methodology for the design and validation of equipment in regulated manufacturing environments, using a model-based design platform (MathWorks® Simulink®) to model and digitally validate the Programmable Logic Controller (PLC) code required to control manufacturing equipment. A workflow is presented detailing the steps required to implement this approach and a demonstration model was developed as a proof of concept. Validation documentation and PLC code are automatically generated based on the system model and the functionality of the generated PLC code was successfully verified on a physical demonstrator, proving the feasibility of the proposed approach. Adoption of the approach outlined in this work would enable manufacturers in regulated industries, such as medical devices and pharmaceutical products, to rapidly design, build, reconfigure and revalidate manufacturing equipment as required to accommodate an increased demand for customised products.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Model-based Designmentioning

confidence: 99%

A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments

McCarthy

McMorrow²,

O’Dowd

et al. 2022

Applied Sciences

View full text Add to dashboard Cite

show abstract

“…Namely, conventional testing or simulation is not sufficient to demonstrate the safety of an industrial-sized I&C system [112]. As an option, formal methods are widely used for these purposes, such as, for example, model checking, which has been successfully applied to verify the control logic of NPPs [107,114,3,97], railway systems [100], avionics [44,145], and automotive driving [136,68,41]. It allows for a rigorous check of a system as a whole and provides mathematical proof of the computed result.…”

Section: Quality Assurance Of Iandc Systems and Architecturesmentioning

confidence: 99%

Change-based causes in counterexample explanation for model checking

Ovsiannikova

Pakonen

Vyatkin

2021

IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

show abstract

“…Another concept is Domain-Specific Modelling (DSM) and Domain-Specific Modelling Languages (DSML), which enables the modelling of software and systems using highly expressive and reusable domain specific abstractions [11] and ontologies that provide conceptual models and the expressivity to capture requirements sufficiently [12]. Domain-specific modelling and Domain-specific modelling languages have recently been used in an increasing number of different domains, for example the domain of smart buildings [13] or railway control systems [14].…”

Section: Introductionmentioning

confidence: 99%

DSML ProcGraph: Overview and a Mid-Size Industrial Application Example

Godena,

Glavan

2023

JSEA

View full text Add to dashboard Cite

This paper presents model-based approach to process-control software development. The presented approach enables modelling of control software in a straightforward manner and, at the same time, on a high level of abstraction. The essence of the presented approach is a high-level, domain-specific modelling language ProcGraph, which is based on three types of diagrams that describe the modelled system using a domain-oriented hierarchical structure of interdependent procedural control entities and state-transition diagrams describing the behaviour of the procedural control entities. The presented concept is demonstrated by means of higher-level model segments of a real process-control application that deals with the micronisation process in the production of titanium dioxide. The presented industrial case shows that the application of ProcGraph provides adequate expressive power for an elegant preparation of graphic specifications in a transparent and easy way.

show abstract

A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems

Cited by 13 publications

References 24 publications

A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments

A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments

Change-based causes in counterexample explanation for model checking

DSML ProcGraph: Overview and a Mid-Size Industrial Application Example

Contact Info

Product

Resources

About