This paper introduces the new robot programming language LightRocks(Light Weight Robot Coding for Skills), a domain specific language (DSL) for robot programming. The language offers three different level of abstraction for robot programming. On lowest level skills are coded by domain experts. On a more abstract level these skills are supposed to be combined by shop floor workers or technicians to define tasks. The language is designed to allow as much flexibility as necessary on the lowest level of abstraction and is kept as simple as possible with the more abstract layers. A Statechart like model is used to describe the different levels of detail. For this we apply the UML/P and the language workbench MontiCore. To this end we are able to generate code while hiding controller specific implementation details. In addition the development in LightRocks is supported by a generic graphical editor implemented as an Eclipse plugin.

Engineering digital twins is a software and systems engineering challenge for which no systematic approach exists. The Asset Administration Shell is becoming a popular foundation for digital twins in Industry 4.0 and it comes in different types that support the engineering of different kinds and parts of digital twins. We investigate how it supports realizing common requirements for digital twins. To this end, we investigate how each of the three Asset Administration Shell types can contribute to the systematic engineering of specific components of digital twins. Therefore, we analyzed popular definitions and conceptual models of digital twins and extracted requirements that at least two of them share. We compare the resulting requirements with Asset Administration Shells of different types and conclude with open challenges in the implementation of digital twins with this technology. This supports practitioners and researchers in identifying the most suitable type of Asset Administration Shell for their specific digital twin engineering needs and identifies gaps worthy of future research toward a systematic engineering of digital twins.

Industry 4.0 is a vision of manufacturing in which smart, interconnected production systems optimize the complete value-added chain to reduce cost and time-to-market. At the core of Industry 4.0 is the smart factory of the future, whose successful deployment requires solving challenges from many domains. Model-based systems engineering (MBSE) is a key enabler for such complex systems of systems as can be seen by the increased number of related publications in key conferences and journals. This paper aims to characterize the state of the art of MBSE for the smart factory through a systematic mapping study on this topic. Adopting a detailed search strategy, 1466 papers were initially identified. Of these, 222 papers were selected and categorized using a particular classification scheme. Hence, we present the concerns addressed by the modeling community for Industry 4.0, how these are investigated, where these are published, and by whom. The resulting research landscape can help to understand, guide, and compare research in this field. In particular, this paper identifies the Industry 4.0 challenges addressed by the modeling community, but also the challenges that seem to be less investigated.