introduction - strudel · introduction more and more complex electronics and software: • to...
TRANSCRIPT
![Page 1: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/1.jpg)
Introduction
More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission) etc.
/ Department of Mathematics and Computer Science PAGE 1 03/10/14
How to ensure consistency among different views?
![Page 2: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/2.jpg)
ISO/IEC/IEEE 42010 Conceptual Model of an Architecture Description
Architecture description language (ADL)
Architecture framework
![Page 3: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/3.jpg)
Architecture Framework for Automotive Systems (AFAS)
PAGE 3
![Page 4: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/4.jpg)
Architectural correspondence
PAGE 4
![Page 5: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/5.jpg)
Correspondence Rules
/ Department of Mathematics and Computer Science PAGE 5 03/10/14
![Page 6: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/6.jpg)
Consistency Semantics
PAGE 6 03/10/14
Semantic differences between dependency and composition refinements
![Page 7: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/7.jpg)
Consistency Semantics
/ Department of Mathematics and Computer Science PAGE 7 03/10/14
![Page 8: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/8.jpg)
Evaluation
• Adaptive Cruise Control
/ Department of Mathematics and Computer Science PAGE 8 03/10/14
![Page 9: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/9.jpg)
A consistency-checking for automotive architectural models:
PAGE 9
Consistency checking tool
![Page 10: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/10.jpg)
Evaluation on Adaptive Cruise Control
PAGE 10 03/10/14
![Page 11: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/11.jpg)
ACC system model
• ACC is split into: • ACC_UI (SW) • ACC_Controller
(HW) • SW-model is made
in IBM Rhapsody • HW-model is made
in Matlab Simulink
PAGE 11 03/10/14
![Page 12: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/12.jpg)
ACC hardware models
• 3 Hardware models • Radar model • Powertrain model • ACC model
• Hardware models are unit tested in Matlab
PAGE 12 03/10/14
![Page 13: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/13.jpg)
System integration
• Software • Hardware
PAGE 13 03/10/14
![Page 14: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/14.jpg)
Evaluation
PAGE 14 03/10/14
![Page 15: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/15.jpg)
Conclusion and Future work
• Automotive Architectural Views defined • Automotive architecture consistency rules defined
IBM Rhapsody tool plugin developed • Need to formalize other correspondence rules • Need to support consistency between automotive
ADLs (e.g. between SysML and MATLAB/Simulink, Stateflow)
PAGE 15
![Page 16: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/16.jpg)
SysML/Simulink Model Sync
• Input/Output ports of a SimulinkBlock is updated after importing both updated Simulink model and the newly generated code (only updated Simulink MDL file is not enough).
Old generated code snippet New generated code snippet
![Page 17: Introduction - STRUDEL · Introduction More and more complex electronics and software: • To enable innovation • To decrease costs • To fulfill legal needs (e.g. CO2 emission)](https://reader033.vdocument.in/reader033/viewer/2022050213/5f5fbefb2c36690e2277f9e6/html5/thumbnails/17.jpg)
Thank you!
Contact for comments and collaboration:
Tel: +31(0)402475052 Email: [email protected] Address: Eindhoven University of Technology 5612 AZ Eindhoven, The Netherlands