Model-based Development with. Contents. W. Pree, G. Stieglbauer and C. Kirsch

Transcription

1 Model-based Development Wolfgang Pree University of, Austria A joint project of W. Pree, G. Stieglbauer and C. Kirsch tool chain S/G Translator: model transformation, code generation illustrated by the development of a throttle control system 2

2 -based development process S/G Translator generates a SL model with semantics for simulation generated code 3 (from 2003, the W. Pree, G. paper Stieglbauer, published C. Kirsch in the IEEE Control Systems Magazine, Feb. 2003) Case study: code generation from model of a throttle control system 4

3 S/G Translator model transformation for simulation model transformation for functionality code generation generation of program 5 S/G Tranlsator tool SL model SL model with semantics SL model with drivers for integration with E-machine program 6

4 Step 1: S/G model for simulation Step 1 S/G Translator generates a SL model with semantics for simulation 7 (from 2003, the W. Pree, G. paper Stieglbauer, published C. Kirsch in the IEEE Control Systems Magazine, Feb. 2003) required input for the S/G translator Plant modeled using any SL blocks controls Program 1..* Task * SL Block 8

5 Example: two tasks with different frequencies 9 S/G translator is fully compliant with the current SL syntax 10

6 Step 2a: S/G model for the generation of functionality code that seamlessly integrates with the E-machine Step 1 S/G Translator: generates a SL model with semantics for simulation Step 2a: SL model for generating glue code 11 (from 2003, the W. Pree, G. paper Stieglbauer, published C. Kirsch in the IEEE Control Systems Magazine, Feb. 2003) S/G Tranlsator tool SL model SL model with semantics SL model with drivers for integration with E-machine 12

7 preparation for linking timing code and functionality code (I) Timing program ( program) compiler Functionality program (SL C code) C compiler E code Functionality wrappers call Functionality library interprets calls E machine 13 preparation for linking timing code and functionality code (II) program segment task Task1( )output ( ) state ( ) { } schedule Task1(); Functionality wrapper void task_task1() { } Task1(); Functionality code void Task1(void) { } local_task1_output_1=task1_input1+task_input_2; 14

8 preparation for linking timing code and functionality code (III) transport and convert values between task ports: via global variables (Simulink/RTW) via the driver concept task task drivers drivers are called by the E-machine 15 Step 2b: generation of the program Step 1 S/G Translator: generates a SL model with semantics for simulation Step 2a: SL model for generating glue code Step 2b: program 16 (from 2003, the W. Pree, G. paper Stieglbauer, published C. Kirsch in the IEEE Control Systems Magazine, Feb. 2003)

9 S/G Tranlsator tool SL model SL model with semantics SL model with drivers for integration with E-machine program 17 Step 2c: generation of the functionality program with the RTW Embedded Coder Step 1 S/G Translator: generates a SL model with semantics for simulation Step 2a: SL model for generating glue code Step 2c: C program Step 2b: program 18 (from 2003, the W. Pree, G. paper Stieglbauer, published C. Kirsch in the IEEE Control Systems Magazine, Feb. 2003)

10 throttle control work 19 how long it took to... upgrade the S/G Translator: 4 p. months a redesign that streamlines the architecture and makes the tool fully compliant with SL syntax: 2.5 m generation of SL model for glue code generation: 1m reimplementation of the C# version in Java: 0.5 m implement the ETC case study: 0.7 p. months 20

11 Future plans 21 Next steps short term: illustrate composition and time safety checks in the realm of the ETC case study integration of modes into Simulink mid-term: S/G-based prototype implementations of more complex control system components concepts for control system product families 22

12 The end Thank you for your attention! 23