@conference {ElHamlaoui2022424, title = {A Model Based Approach for Generating Modular Manufacturing Control Systems Software}, booktitle = {Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE}, year = {2022}, note = {cited By 0}, pages = {424-427}, abstract = {Digitalization is transforming manufacturing systems to become more agile and smart thanks to the integration of sensors and connection technologies that help capture data at all phases of a product{\textquoteright}s life cycle. Digitalization promises to improve manufacturing flexibility, quality, productivity, and reliability. However, there is still a significant need of effective methods to develop models that could enhance the capabilities of manufacturing systems. Formal methods and tools are becoming essential to achieve this objective. Within this context, this paper introduces a formal software solution for the automatic generation of modular manufacturing control systems software. The proposed solution leverages software Model-Based Design (MBD) techniques to reduce development effort, time, and human error by automating several manual steps. {\textcopyright} 2022 Knowledge Systems Institute Graduate School. All rights reserved.}, keywords = {All phase, Component, Control system software, Control systems, Cybe-physical manufacturing, Cyber Physical System, Cyber physicals, Digital subscriber lines, Embedded systems, formal methods, Grafcet, Industry 4.0, Life cycle, Manufacturing control systems, MDE, Metadata, Model based approach, Modulars}, doi = {10.18293/SEKE2022-151}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85137161158\&doi=10.18293\%2fSEKE2022-151\&partnerID=40\&md5=3784648e72d7591498aa74fb97896480}, author = {El Hamlaoui, M. and Qamsane, Y. and Laghouaouta, Y. and Mishra, A.} }