Keywords: Modelling, Domain Specific Language, Manufacturing, Industry 4.0
Astract: The dawn of the fourth industrial revolution, Industry 4.0 has created great enthusiasm among companies and researchers by giving them an opportunity to pave the path towards the vision of a connected smart factory ecosystem. In order to achieve this extensive digitization of industrial production, among the main research issues are the horizontal and vertical integration, which can be realized with the help of industrial standards. In order to handle the interconnected nature of the huge variety of industry standards, a model-driven approach to transform these standards is meaningful. Among the plethora of industrial standards available in the context of smart manufacturing, one series of standards is consistently being mentioned for dealing with manufacturing operations management: IEC 62264. Its second part provides a conceptual model for the description of production systems and their capabilities, including runtime information such as tangible maintenance schedules or achieved production goals. In this work, we present a concrete graphical syntax and toolkit for the creation and presentation of IEC 62264-2 compliant models, using techniques from model-driven (software) engineering. We have evaluated our tool by conducting a user study for assessing its usability and effectiveness. As a consequence, the engineered graphical toolkit empowers end users with no coding skills to model automated production systems.

Keywords:

Keywords: Model-Driven Engineering, Smart Manufacturing Systems, ISA-95, AutomationML, Resource-Event-Agent, OPC Unified Architecture, IEC 62264, IEC 62714, IEC 62424, IEC 62541, PDDL, Enterprise Resource Planning, Manufacturing Operations Management, Production Planning
Astract: Automated production systems are following a general technological trend: increasingly complex products, combined with drastically reduced lot-sizes per product variant, as well as shorter response and production times are being demanded. In order to be able to meet these expectations, modern IT systems at all levels of the automation hierarchy are required: from business related software at the corporate management level, down to the programmable logic controllers at the field level. For a well-designed coupling of systems that are located at different levels, it is necessary to find, define, and implement clear data conversion mechanisms - this endeavor is also known as vertical integration. At the same time, it is necessary to automate the inter-organizational data exchange - an aspect of horizontal integration. In this thesis, we are recapitulating a selection of own contributions in the context of information integration for smart manufacturing systems. With respect to conceptual models we have been employing established industrial standards, in order to facilitate industrial application. We have conceptualized, implemented and tested a series of conceptual models, inter-model mappings and transformations. Our approaches and implementations have been successfully evaluated by a number of experiments and case studies and are therefore a contribution towards model-driven smart manufacturing systems.

Keywords:
Astract: Among the plethora of industrial standards available in the context of smart manufacturing, one series of standards is consistently being mentioned for dealing with manufacturing operations management: IEC 62264. Its second part provides a conceptual model for the description of production systems and their capabilities, including runtime information such as concrete maintenance schedules or achieved production goals. In this work, we present a concrete graphical syntax and toolkit for the creation and presentation of IEC 62264-2 compliant models, using techniques from model-driven (software) engineering. We have evaluated our tool by conducting a user study for assessing its usability and effectiveness.

Keywords: ISO 26262, EN 50128, DO-178, IEC 61508, MBSE, model-based systems engineering, model-based software engineering, model-driven systems engineering, model-driven software engineering, model-based methods, safety-critical systems, safety life cycle, Systematic Mapping Study, SysML, SysML extension, UML profile, ASIL, ASI, decomposition, ASIL tailoring, safety goal, safety requirement, Automotive Safety Integrity Level, document-centric, international standards for functional safety, design-science research, DSL development, requirement diagram, block diagram, Enterprise Architect, MDG
Astract: Since the release of the IEC 61508 international standard for Functional Safety of Electrical/Electronic/Programmable Electronic (E/E/PE) Safety-related Systems and its specific variants, classical methods of system development have quickly reached their limits due to sophisticated safety requirements such as full traceability. One possible approach to address the issue of managing the ever increasing complexity in the development processes of certified safety-critical systems is model-based systems engineering (MBSE). Different model-based methods are applied depending on their safety-critical domains and specific safety standards such as the ISO 26262 for functional safety of road vehicles rather than applying a set of general methods based only on the parent standard IEC 61508. The first part of the work comprises a Systematic Mapping Study (SMS) investigating and classifying a high number of scientific publications to analyze the similarities and differences of the applied model-based methods and their reasons of application in the standards IEC 61508, ISO 26262 for road vehicles, EN 50128 for railway systems, and DO-178 for airborne systems. Based on the results, a Systematic Map is created in order to identify patterns of model-based methods in different sectors of industry. The second part of the thesis addresses the question of an appropriate means to represent the ISO 26262 Automotive Safety Integrity Level (ASIL) tailoring and decomposition concept in a SysML extension. This includes the development of a SysML profile, a use case, and a descriptive evaluation based on the requirements specified in the ISO 26262 series of standards. This SysML profile can help to simplify the modeling and decomposition requirements for the Automotive Safety Integrity Level concept.