Domain specific views in model-driven embedded systems design in industrial automation (original) (raw)
Related papers
Design patterns for model-based automation software design and implementation
Control Engineering Practice, 2013
The paper presents the application of object-oriented modeling techniques to control software development for complex manufacturing systems, with particular focus on case studies taken from the packaging industry and design patterns that can be abstracted from such case studies. The proposed methodology for control software modeling and implementation is based on a practical approach refined on the basis of on-the-field experience and interactions with control engineers involved in the development projects. The final objective of the paper is to review and analyze patterns for the solution of design and implementation issues that typically arise in the considered application domain.
A Model-Based Approach for Achieving Available Automation Systems
Proceedings of the 19th IFAC World Congress, 2014
Nowadays automation systems are required to be flexible in order to cope with the ever changing requirements of the applications in terms of complexity, extensibility or dynamism. The use of reconfiguration techniques helps to meet these demanding requirements, but at the same time increase the complexity of the systems. This paper presents a supervisor architecture that allows maintaining the availability of a control system in spite of failures such as a node crash, by means of reconfigurations at the control level. To do this, the advantages that Model-Driven Development technology provides have been explored.
Model-driven engineering of industrial process control applications
2010
Abstract Software is an important part of industrial process control systems. However, the state-of-the-practice for developing industrial process control software still has several key challenges that need to be addressed (eg, migration to platforms of different vendors, lack of automation). This paper introduces a model-driven engineering approach to the development of industrial process control software, which is based on the ProcGraph domain-specific modeling language.
A model-driven approach to embedded control system implementation
2007
The work presented here is on setting up methodological support, including (prototype) tools, for the design of distributed hard real-time embedded control software for mechatronic products. The use of parallel hardware (CPUs, FPGAs) and parallel software is investigated, to exploit the inherent parallel nature of embedded systems and their control. Two core models of computation are used to describe the behavior of the total mechatronic system (plant, control, software and I/O): discrete event system (DES) and continuous time system (CTS). These models of computation are coupled via co-simulation, to be able to do consistency checking at the boundaries. This allows for integration of discipline-specific parts on the model level (during design phases) instead of on the code level (during realization and test phases). Crossview design-change influences get specific attention, to allow for relaxation of the tension between several dependability issues (like reliability and robustness), while keeping design time (and thus design costs) under control. Furthermore, the design work can be done as a stepwise refinement process. This yields a shorter design time, and a better quality product. The method is illustrated with a case using the tools being prototyped.
Advances in Software Engineering, 2014
The scope and responsibilities of control applications are increasing due to, for example, the emergence of industrial internet. To meet the challenge, model-driven development techniques have been in active research in the application domain. Simulations that have been traditionally used in the domain, however, have not yet been sufficiently integrated to model-driven control application development. In this paper, a model-driven development process that includes support for design-time simulations is complemented with support for simulating sequential control functions. The approach is implemented with open source tools and demonstrated by creating and simulating a control system model in closed-loop with a large and complex model of a paper industry process.
Object-oriented models for advanced automation engineering
Control Engineering Practice, 1999
The paper focuses on how the object-oriented paradigm can be exploited as a valid modelling technique in many engineering fields and, in particular, in advanced automation engineering. The most typical features of object-oriented modelling techniques include the encapsulation of data, functions to access such data into objects, and the hierarchical composition of objects. On the other hand, the large majority of complex systems, like industrial plants and distributed control systems, can be decomposed into a hierarchical structure that facilitates system comprehension, design and control. For the above reasons, the object-oriented modelling technique is suited to real world modelling, in particular to representing the hybrid dynamics (continuous-time, discrete-time and discrete-event) of industrial plants.
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Model driven requirements engineering (MDRE) is proposed to deal with the ever-increasing complexity of technical systems in the sense of providing requirement specifications as formal models that are correct, complete, consistent, unambiguous and easy to read and easy to maintain. A critical issue in this area is the lack of a universal and standardized modeling language which covers the whole requirements engineering process from requirement specification, allocation to verification. SysML is being proposed to meet these requirements. In this paper a model driven requirements engineering process for industrial applications in the field of automation systems is described in order to reveal shortcomings in recent modeling tools and modeling languages. Special focus is layed on the requirements definition and the automated verification of the design against the requirements using executable models. Based on the analysis a new profile of the Unified Modeling Language (UML) called Model Driven Requirements Engineering for Bosch Rexroth (MDRE4BR) is presented which aims to contribute to latest investigations in this field. An application example of a hydrostatic press system is given to illustrate the approach.
A novel approach for supporting the development cycle of automation systems
The International Journal of Advanced Manufacturing Technology, 2013
The growing complexity of current automation applications demand clear methodologies and procedures in order to assure that the system under design meets the requirements. Within the industrial automation field there are several methods, techniques, tools and standards that have captured the experience of designers through years of practice. On the other hand, the software engineering discipline offers different methodologies covering the different phases of the life cycle (analysis, design, test and maintenance). This work pretends to take advantage of both: the maturity of the software engineering discipline and the wellspread methods and standards of the industrial automation field. In particular, the proposed methodological approach uses model based engineering principles for developing automation control systems combining modeling methods of automation field. Specifically, it combines GEMMA (Guide d'Étude des Modes de Marches et d'Arrêts), UML (Unified Modeling Language) use case diagrams and GRAFCET (GRAphe Fonctionnel de Commande, Etapes, Transitions) for assisting the designer during the analysis, design and coding phases. Using GEMMA, the states of the automated process are identified. Use case diagrams allow identifying the actors that participate in the operation modes. Finally, a set of GRAFCET templates assists in the design of use cases. Thus, the user is guided through the development phases in which the concepts used are familiar to him/her. The final step includes the automatic generation of the Program Organization Units (POUs) in PLCopen XML interface. The proposed methodology is illustrated by means of a simple but illustrative mechatronic case study.
A Software Architecture for Industrial Automation
2003
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that provide the means to model, control and supervise continuous or discrete processes in various market domains, ranging from chemical and metal to paper and consumer industries. Each product works at a different level in the manufacture process, having distinct safety and real time requirements, but all of them rely on a common architecture for interoperability. The architecture proposes a set of components that can be reused in the different products. The current implementation of the architecture provides considerable flexibility in terms of modelling domain information and dynamically modifying it at run-time. On the one hand, this is a feature required by applications that must run 24 hours a day. On the other hand, this flexibility adds complexity to the maintenance of the installed application because dependencies among its components change dynamically. In this paper, we study the different kind of dependencies that can arise between components and show them in the context of an example from automotive industry. We then show how dependency tracking and consistency among components can be improved by representing them in XML, thanks to the structuring and validation properties of XML Schemas. Finally, we also outline the advantages that the use of XML would provide to future developments of the platform in the areas of data manipulation, transmission and storage.