Niang, M., Riera, B., Philippot, A., Zaytoon, J., Gellot, F. and Coupat, R. (2020) 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. Computers in Industry, 123, Article ID: 103328.
https://doi.org/10.1016/j.compind.2020.103328

has been cited by the following article:

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

  AUTHORS: Giovanni Godena, Miha Glavan

  KEYWORDS: Model-Driven Software Engineering, Domain-Specific Modelling Languages, Process-Control Software, State Machines, Titanium Dioxide

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.16 No.8, August 24, 2023

  ABSTRACT: 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.