1. > Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve The SaveComp Component Technology SaveCCM

2. 24/05/2015Mikael Åkerholm, CBSE Course 2005 2 Abstract More Functionality Improve existing Functionality Lower price More Electronics With Software Software Crisis (1968): Error-Prone Late Expensive Promising, successful in the PC domain Component Technologies, target PC Applications Vehicular Software Different from PC Software Need Better Software Engineering Approaches! Component-Based Software Engineering SaveComp

3. 24/05/2015Mikael Åkerholm, CBSE Course 2005 3 Vehicular Systems Software Charateristics Safety Reliability Resource efficiency Predictability Engineering Activities Targeting non general System Architecture Early Analysis Modelling Verification

4. 24/05/2015Mikael Åkerholm, CBSE Course 2005 4 Design Goals Efficient Development: Utilization of CBSE advantages, that has proven successful in other domains. Predictable Behavior: Need to be able to apply analysis of important run- time attributes during design-time, e.g., Timing, Safety, Reliability, Application Size, Processor demands Run-Time Efficiency: Ideally enable CBSE without run-time cost

5. 5 The SaveCCM component model Restictive in comparision to PC/Internet component models COM,.Net, EJB Enable analysis during design-time, and determinstic reproducable behaviour during run-time (test-time) Textual xml, and graphical UML influenced syntax

6. 6 SaveCCT Technology Overview Repository

7. Mikael Åkerholm, SaveCCT lecture CBSE Course 2007 7 SaveCCM Syntax: Basic Component Ports Trigger, data, combined Behaviour Read  Execute  Write fixed_t error = Setpoint – Value; fixed_t u = fixed_mul(K, e); if (IntegrationEnabled) u += fixed_div(NewState, T_i); Control = LIMIT(u, 0, MAX_CONTROL); State = error;

8. Mikael Åkerholm, SaveCCT lecture CBSE Course 2007 8 SaveCCM Syntax: Basic Component Ports Trigger, data, combined Behaviour Read  Execute  Write fixed_t error = Setpoint – Value; fixed_t u = fixed_mul(K, e); if (IntegrationEnabled) u += fixed_div(NewState, T_i); Control = LIMIT(u, 0, MAX_CONTROL); State = error;

9. Mikael Åkerholm, SaveCCT lecture CBSE Course 2007 9 SaveCCM Syntax: Switch Ports Setports determine active configuration Connection patterns For static or dynamic reconfiguration

10. 10 SaveCCM Syntax: Assembly Ports Internal components and connections Encapsulation of a “subsystem”

11. Mikael Åkerholm, SaveCCT lecture CBSE Course 2007 11 SaveCCM Syntax: Composite Component Ports Internal components and connections Restricted behaviour, read-execute-write

12. 24/05/2015 12 Compile-Time Overview Design- Time Component model Real-Time Analysis Real-time model Synthesis Compile- Time Model transformation Run- Time Target application RTOS t Task Allocation Attribute Assignment Analysis Glue Code Generation Target Compiler Component model RTOS Fully Automated Compile-Time Step

13. 24/05/2015 13 Run-Time System Applications have no dependencies to operating systems, all operating system dependencies are automatically generated glue code, gives portable and reusable components Prototype: Win32 for Simulation with the CCSimTech simulation technique RTXC RTOS for target

14. 24/05/2015 14 Road Signs Enabled Current Speed Road Sign Speed ACC Max Speed Distance ACC Enabled Brake Pedal Used > 50 Hz 10 Hz Brake Signal Throttle Brake Assist > Logger HMI Outputs > Object Recognition > Mode Switch > ACC Controller > Brake Assist ACC Max Speed ACC Application Speed Limit >

15. 24/05/2015 15 SaveCCM Architectural Edtor

16. 24/05/2015 16 Behavoural Edtor (UPPAAL PORT

17. 24/05/2015 17 Simulation of the behaviour

18. 24/05/2015Mikael Åkerholm, CBSE Course 2005 18