Abstract:Model-driven methods are widely used in embedded control software development. Current design tools, such as Ptolemy-II and Simulink, have strong modeling capability but their simulation and code generation functionalities are challenged by the increasing complexity of control requirements. For simulation, emulating the triggering of the actor leads to additional time overhead and speed degradation. For code generation, generating redundant content degrades the code quality. Besides, current tools do not have a unified interface, which makes it difficult to cooperation. In this article, we propose a unified model-driven design framework MDD to facilitate embedded control software development. MDD can support the unification of models built by different modeling tools for high-efficiency simulation and high-quality code generation. The MDD framework supports the expansion of more modeling tools, and also supports the expansion of more uses, such as unified testing and verification. First, it offers a model intermediate representation (MIR) and several corresponding parsers, which facilitate a unified representation and cooperation for different design tools. Then, based on data flow schedule analysis of the original MIR, intermediate code representation will be generated for optimized code synthesis. Finally, a variety of code translators will synthesize the intermediate code representation into the code of actual use, such as code for simulation and code for deployment. For evaluation, we enhance two widely used design tools in industry, Ptolemy-II and Simulink, and apply them on the implementation of several benchmark models and a real-world self-driving control software of our industrial collaborator. Using MDD can help reduce their simulation time by 98.9% and 92.6%, the generated code by 99.7% and 69.9% in the number of lines, and 94.3% and 34.3% in code execution time, respectively.

A Novel Approach To Automatic Code Generation For Automatic Train Protection

An automatic documentation generator based on model-driven techniques

Model-based Software Development for Automatic Train Protection System

Research Of Automatic Generating Analog Circuits Fault Tree Based On Ieee 1232

Design Of Atp (Auto Train Protection) Software Architecture Based On Hierarchical Component Model

Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems

Modeling safety-critical system requirements with hierarchical state machine

Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking

The Analysis and Design of an ATP Automatic Detective System Based on Distributed Simulation

Automatic Test Data Generation Based on Usage Model and Genetic Algorithm

Implementation of ATP Algorithm for High Speed Trains

Assistance in Model Driven Development: Toward an Automated Transformation Design Process

The Critical Techniques of A Distributed ATP Simulation Detective System

An Automatic Generation Method of Executable Test Case Using Model-Driven Architecture

Automatic code generation based on Abstract Syntax-based encoding. Application on malware detection code generation based on MITRE ATT&CK techniques

Automatic Transformation Technology from AADL Model to UML Model

An Automated Test Generation Technique for Software Quality Assurance

Application of Automatic Code Generation in Software Development of Electronic Controlled Diesel Injection System

Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

MDD: A Unified Model-Driven Design Framework for Embedded Control Software

Research on modeling and simulation of vehicle-on-board Automatic Train Protection subsystem of Communication Based Train Control system