Mechatronic systems combine mechanic and electric effects with programmable controllers to realize their functionality. For a large class of such systems spatial properties are essential. Examples can be found in the domain of factory automation, where material is transported and processed. Today, there are no models with formal semantics to support an integrated description of the behavior of these systems. This hampers the development of complex mechatronic systems. In this thesis, we introduce a novel and mathematically founded approach for the integrated behavior modeling of mechatronic systems that couples the spatial with the behavioral view. Based thereon, an operationalization and a tool prototype are provided, which allow modeling and simulation. This enables early exploration of possible solutions and eases communication within interdisciplinary teams. The results are evaluated in three case studies.
«
Mechatronic systems combine mechanic and electric effects with programmable controllers to realize their functionality. For a large class of such systems spatial properties are essential. Examples can be found in the domain of factory automation, where material is transported and processed. Today, there are no models with formal semantics to support an integrated description of the behavior of these systems. This hampers the development of complex mechatronic systems. In this thesis, we introduc...
»