Access Restriction

Author Huang, Jinfeng ♦ Voeten, Jeroen ♦ Groothuis, Marcel ♦ Broenink, Jan ♦ Corporaal, Henk
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Mechatronic System ♦ Model-driven Design Approach ♦ Multiple Disci-plines ♦ Software Part ♦ Model-driven Approach ♦ Software Design ♦ Concur-rent Component ♦ Software Implementation ♦ Adequate Top-level Model ♦ Handshake Pattern ♦ Systematic Modeling ♦ Different Aspect ♦ Concurrent Aspect ♦ Modeling Stage ♦ Timeliness Issue ♦ Major Part ♦ Different Discipline ♦ Complex Production Cell System ♦ Challenging Task ♦ Real-time Aspect ♦ Important As-pects ♦ Correctness-preserving Synthesis ♦ Unified Model
Abstract The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timeliness issues of the system. On the other hand, it has to glue different disciplines (such as software, control and mechanical) of the system as a whole. In this paper, we pro-pose a model-driven approach to design the software part of a mechatronic system, which consists of two major parts: systematic modeling and correctness-preserving synthesis. The modeling stage is divided into four steps, which focus on different aspects (such as concurrency, multiple disci-plines and timeliness) of the system respectively. In partic-ular, we propose a set of handshake patterns to capture the concurrent aspect of the system. These patterns assist de-signers to build up an adequate top-level model efficiently. Furthermore, they separate the system into a set of concur-rent components, each of which can be further refined in-dependently. Subsequently, the multidisciplinary and real-time aspects of the system are naturally specified and an-alyzed in a series of refinements. After the important as-pects of the system are specified and analyzed in a unified model, a software implementation is automatically synthe-sized from the model, the correctness of which is ensured by construction. The effectiveness of the proposed approach is illustrated by a complex production cell system. 1
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study