Formal Modelling of Industrial Distributed Control Systems

Industrial Process Measurement and Control Systems are used in most of the industrial sectors to achieve production improvement, process optimisation and time and cost reduction. Integration, reuse, flexibility and optimisation are demanded to adapt to a rapidly changing and competitive market. There is also a growing requirement that all software tools that support the different phases of the development process (design, configuration, management) can be integrated as well. Thus, a consolidation of modelling methodologies for achieving this goal is needed. This paper presents a formal modelling for IPMCS that captures all aspects of the system to design in terms of functionality and implementation (hardware and software).The modelling language, XML, allow to implement model validation as well as to easily transform information between different software tools, achieving tool integration