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.
References
[1]
Lukman, T., Godena, G., Gray, J., Heričko, M. and, Strmčnik, S. (2013) Model-Driven Engineering of Process Control Software—Beyond Device-Centric Abstractions. Control Engineering Practice, 21, 1078-1096. https://doi.org/10.1016/j.conengprac.2013.03.013
[2]
Heck, B.S., Wills, L.M. and Vachtsevanos, G.J. (2009) Software Technology for Implementing Reusable, Distributed Control Systems. In: Valavanis, K.P., Ed., Applications of Intelligent Control to Engineering Systems, Springer, Dordrecht, 267-293. https://doi.org/10.1007/978-90-481-3018-4_11
[3]
Hayward, A., Daun, M., Petrovska, A., Böhm, W., Krajinski, L. and Fay, A. (2021) Function Modeling for Collaborative Embedded Systems. In: Böhm, W., Broy, M., Klein, C., Pohl, K., Rumpe, B. and Schröck, S., Eds., Model-Based Engineering of Collaborative Embedded Systems, Springer, Cham, 71-93. https://doi.org/10.1007/978-3-030-62136-0_4
[4]
Zaytoon, J. and Riera, B. (2017) Synthesis and Implementation of Logic Controllers—A Review. Annual Reviews in Control, 43, 152-168. https://doi.org/10.1016/j.arcontrol.2017.03.004
[5]
Friedrich, D. and Vogel-Heuser, B. (2007) Benefit of a System Modeling in Automation and Control Education. 2007 American Control Conference, New York, 9-13 July 2007, 2497-2502. https://doi.org/10.1109/ACC.2007.4282926
[6]
Fay, A. and Schumacher, F. (2014) Formal Representation of GRAFCET to Automatically Generate Control Code. Control Engineering Practice, 33, 84-93. https://doi.org/10.1016/j.conengprac.2014.09.008
[7]
Da Silva, A.R. (2015) Model-Driven Engineering: A Survey Supported by the Unified Conceptual Model. Computer Languages, Systems & Structures, 43, 139-155. https://doi.org/10.1016/j.cl.2015.06.001
[8]
Mohamed, M.A., Challenger, M. and Kardas, G. (2020) Applications of Model-Driven Engineering in Cyber-Physical Systems: A Systematic Mapping Study. Journal of Computer Languages, 59, Article ID: 100972. https://doi.org/10.1016/j.cola.2020.100972
[9]
Hästbacka, D., Vepsäläinen, T. and Kuikka, S. (2011) Model-Driven Development of Industrial Process Control Applications. Journal of Systems and Software, 84, 1100-1113. https://doi.org/10.1016/j.jss.2011.01.063
[10]
Alvarez, M.L., Sarachaga, I., Burgos, A., Estevez, E. and Marcos, M. (2016) A Methodological Approach to Model-Driven Design and Development of Automation Systems. IEEE Transactions on Automation Science and Engineering, 15, 67-79. https://doi.org/10.1109/TASE.2016.2574644
[11]
Sprinkle, J., Mernik, M., Tolvanen, J.P. and Spinellis, D. (2009) What Kinds of Nails Need a Domain-Specific Hammer? IEEE Software, 26, 15-18. https://doi.org/10.1109/MS.2009.92
[12]
Taye, M.M. and Ghoul, S. (2023) An Approach towards Goal-Oriented Requirements Ontology: Consistency and Completeness Based Requirements Analysis. Journal of Software Engineering and Applications, 16, 31-49. https://doi.org/10.4236/jsea.2023.162003
[13]
Albreshne, A. and Pasquier, J. (2015) A Domain Specific Language for High-Level Process Control Programming in Smart Buildings. Procedia Computer Science, 63, 65-73. https://doi.org/10.1016/j.procs.2015.08.313
[14]
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
[15]
Alaca, O.F., Tezel, B.T., Challenger, M., Goulão, M., Amaral, V. and Kardas, G. (2021) AgentDSM-Eval: A Framework for the Evaluation of Domain-Specific Modeling Languages for Multi-Agent Systems. Computer Standards & Interfaces, 76, Article ID: 103513. https://doi.org/10.1016/j.csi.2021.103513
[16]
Godena, G. and Strmčnik, S. (2018) A New State Machine Behaviour Model for Procedural Control Entities in Industrial Process Control Systems. Journal of Information Technology and Control, 47, 419-430. https://doi.org/10.5755/j01.itc.47.3.19630
[17]
Harel, D. (1987) Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8, 231-274. https://doi.org/10.1016/0167-6423(87)90035-9
[18]
Crane, M.L. and Dingel, J. (2007) UML vs. Classical vs. Rhapsody Statecharts: Not All Models Are Created Equal. Software and Systems Modeling, 6, 415-435. https://doi.org/10.1007/s10270-006-0042-8
