A Simulation Approach For UML Interaction Model Based On RTX

With the development of computer technology,real-time embedded systems have been widely applied in modern life.From household microwave ovens,washing machines,to the car industry,traffic lights and rail,and even missile guidance,air traffic control and so on.Real-time is an important non-functional properties for such systems.However,verifying whether the system meet the demand needs to implement it in general.Model-Driven Development(MDD,Model Driven Development)approach shift the development center of software and systems to the design stage.UML(Unified Modeling Language)and with its extention MARTE(Modeling and Analysis of Real-Time and Embedded systems)have become the standard modeling language in the software engineering,used to describe the function and non-function aspects of the software and real-time embedded systems in the design phase providing the basis for the realization.Simulation is a multidisciplinary integerated technology which is based on cybernetics,system theory,similarity theory and information theory to make dynamic experiments for the actual or imaginary system with the computer and the special equipment.RTX is the only software solution architected as a high-performance extension to control Microsoft Windows.RTX is proven in thousands of demanding applications providing enhanced performance,control,scalability combined with unmatched dependability for industrial automation,military/aerospace,robotics and many other industries while reducing system costs and speeding time to market.This paper focuses on an simulation approach for UML interaction model based on RTX.The main research work can be summarized as follows:1)This paper proposes the code generation based on the model transformation.It's using UML Class Diagram and Sequence Diagram to describe the static structure and the interaction behavior of real-time systems and real-time nature.Moreover,we established the transformation rule from the design model to RTX API and use Xpand transforming it to C++ code which can reflect the real-time scheduling information.The Xpand above is a statically-typed template language to control the output of the generation in model transfermation.2)The paper presents a simulation approach based on RTX.In RTX architecture,use the sleep function or timer to analog transimission time of the message or the execution time of the action/behavior,and use its timer to simulate the cycle operation of the message or action/behavior.3)Put a case study about updating states of a quadrotor system.The control unit will send flight status information to a remote control panet at a certain period in order to make the operator understand the current real-time flight status.The case study shows how to use the method provided by the paper to simulation the system,and verify the availability of the simulation approach.