0
MADES: A mixed SysML/MARTE           methodology for Real-Time and                Embedded Systems                      ht...
Overview• Context• MADES methodology• Case Study: Car Collision Avoidance System  example (CCAS)• Conclusion  MADES PROJEC...
ContextMADES PROJECT–FP7 248864
Context : Real-Time and Embedded Systems                    • Need of effective design methodologies for                  ...
Context : Unified Modeling                  Language (UML)• Problems:    A bloated and complex language    Not suitable ...
UML profiles for RTES• UML for SoC, UML for SystemC , etc …..     Oriented towards low level implementations     Intende...
SysML• Not mainly developed for embedded systems modeling     Aspects such as Non Functional properties, Time concepts ar...
MARTE• Advantages: Co-Design, Non Functional properties, time aspects, system  analysis possible• Suffers from having larg...
MADESModel-based methods and tools for Avionics and surveillance embeddeD SystEmS                                         ...
MADES MethodologyMADES PROJECT–FP7 248864
MADES methodology for RTES:                    MADES language                                                SysML        ...
MADES methodology for RTES:            MADES language design phases• Requirement Specifications     Requirement s Diagram...
MADES methodology for RTES:            MADES language design phases• Hardware Specifications     Hardware Specification D...
MADES methodology for RTES:             MADES language design phases• Allocation Specifications     Several Allocations p...
MADES Methodology        Case Study : Car Collision Avoidance             System (CCAS) example                 Specificat...
Car Collision Avoidance System (CCAS)• A system able to detect and  prevent collisions    Either using a radar based     ...
Car Collision Avoidance System (CCAS)                             Initial Requirements                                o D...
Car Collision Avoidance System (CCAS)                             Initial Requirements                                o D...
Car Collision Avoidance System (CCAS)                             A High level specification                             ...
Car Collision Avoidance System (CCAS)                             Complete Requirements                               o B...
Car Collision Avoidance System (CCAS)                               Refined High level                                spe...
Car Collision Avoidance System (CCAS)                             Clock specification                                o De...
Car Collision Avoidance System (CCAS)                             Hardware specification of the                          ...
Car Collision Avoidance System (CCAS)                                   Hardware specification of the                    ...
Car Collision Avoidance System (CCAS)                             Hardware specification of the                          ...
Car Collision Avoidance System (CCAS)                             Software specification                              det...
Car Collision Avoidance System (CCAS)                             Software specification                              det...
Car Collision Avoidance System (CCAS)                             Allocation specification                               ...
Car Collision Avoidance System (CCAS)                             Allocation specification                               ...
Car Collision Avoidance System (CCAS)                             Analysis detailing:                                o Sc...
Car Collision Avoidance System (CCAS)                             Analysis detailing:                                o Sc...
MADES design flow overviewMADES PROJECT–                         32FP7 248864
ConclusionMADES PROJECT–FP7 248864
Conclusion• MADES: Combining SysML and  MARTE in a complete methodology   – An initial case study showcasing the general f...
Thanks!    Imran Rafiq Quadri    SOFTEAM | ModelioSoft    imran.quadri@softeam.fr    MADES Project Web Site:    http://www...
Questions ?MADES PROJECT–FP7 248864
Upcoming SlideShare
Loading in...5
×

MADES: A SysML/MARTE high level methodology for real-time and embedded systems

1,351

Published on

The presentation describes the methodology of the MADES project using a combination of SysML and MARTE. The presentation was given at the ERTS 2012 Conference in Toulouse, France

Published in: Technology, Business
0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,351
On Slideshare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
33
Comments
0
Likes
2
Embeds 0
No embeds

No notes for slide

Transcript of "MADES: A SysML/MARTE high level methodology for real-time and embedded systems"

  1. 1. MADES: A mixed SysML/MARTE methodology for Real-Time and Embedded Systems http://mades-project.org/ Imran Quadri SOFTEAM ERTS2 2012, 2nd February 2012MADES PROJECT–FP7 248864
  2. 2. Overview• Context• MADES methodology• Case Study: Car Collision Avoidance System example (CCAS)• Conclusion MADES PROJECT– 2 FP7 248864
  3. 3. ContextMADES PROJECT–FP7 248864
  4. 4. Context : Real-Time and Embedded Systems • Need of effective design methodologies for Real-Time and Embedded Systems (RTES) • High abstraction level based approaches are promising: reducing time to market and system complexity  Model Driven Engineering, UML MADES PROJECT– 4 FP7 248864
  5. 5. Context : Unified Modeling Language (UML)• Problems:  A bloated and complex language  Not suitable for specification of complex real-time systems MADES PROJECT– 5 FP7 248864
  6. 6. UML profiles for RTES• UML for SoC, UML for SystemC , etc …..  Oriented towards low level implementations  Intended goal to generate HDL or SystemC code  Not abstract enough, too close to execution platform details• UML profile for SPT, ACOTRIS, etc …..  Model systems with a functional point of view  Irrespective of their abstraction levels, inadequate for system analysis or simulation purposes• SysML and MARTE MADES PROJECT– 6 FP7 248864
  7. 7. SysML• Not mainly developed for embedded systems modeling  Aspects such as Non Functional properties, Time concepts are not present• Widely adapted in the industry with supporting tools MADES PROJECT– 7 FP7 248864
  8. 8. MARTE• Advantages: Co-Design, Non Functional properties, time aspects, system analysis possible• Suffers from having large number of stereotypes• Currently lacks sufficient tool support or complete methodologies  Guidelines, examples … MADES PROJECT– 8 FP7 248864
  9. 9. MADESModel-based methods and tools for Avionics and surveillance embeddeD SystEmS • MADES language: combining SysML and MARTE profiles • Complete methodology, guidelines and examples to guide system designers:  Reducing ambiguities  Reducing design time and costs  Reinforce formality for Validation and Verification (V&V) • Influence on future revisions of SysML and MARTE standards • Valuable input from OMG, SysML and MARTE founding members MADES PROJECT– 9 FP7 248864
  10. 10. MADES MethodologyMADES PROJECT–FP7 248864
  11. 11. MADES methodology for RTES: MADES language SysML MARTE• MADES language: effective SysML and MARTE subset for RTES specifications MADES PROJECT– 11 FP7 248864
  12. 12. MADES methodology for RTES: MADES language design phases• Requirement Specifications  Requirement s Diagram• Usecase Specifications  Usecase Diagram• High Level Specifications  High Level Block Specification Diagram  High Level Internal Block Specification Diagram• Refined High Level Specifications  Refined High Level Specification Diagram (MARTE High Level Application Modeling or HLAM) MADES PROJECT– 12 FP7 248864
  13. 13. MADES methodology for RTES: MADES language design phases• Hardware Specifications  Hardware Specification Diagram (With MARTE Generic Resource Modeling)  Detailed Hardware Specification Diagram (With MARTE Hardware Resource Modeling)• Software Specifications  Software Specification Diagram (With MARTE Generic Resource Modeling)  Detailed Software Specification Diagram (With MARTE Software Resource Modeling) MADES PROJECT– 13 FP7 248864
  14. 14. MADES methodology for RTES: MADES language design phases• Allocation Specifications  Several Allocations possible:  For Refinement (Hardware to Detailed Hardware Diagram)  Mapping/Association (Software to Hardware Diagram)  Allocation Specification Diagram (with MARTE Allocation)• Clock Specifications  Clock Specification Diagram (With MARTE Time aspects)• Schedulability Analysis  With MARTE Analysis aspects on MADES diagrams• Behavioral diagrams  State, Sequence, Activity and Interaction Overview diagrams MADES PROJECT– 14 FP7 248864
  15. 15. MADES Methodology Case Study : Car Collision Avoidance System (CCAS) example Specification with MADES languageMADES PROJECT–FP7 248864
  16. 16. Car Collision Avoidance System (CCAS)• A system able to detect and prevent collisions  Either using a radar based system  Or an image tracking system• Makes use of nearly all MARTE packages along with SysML block, internal block and requirement diagrams MADES PROJECT– 16 FP7 248864
  17. 17. Car Collision Avoidance System (CCAS)  Initial Requirements o Detailing system requirements and associated usecasesMADES PROJECT– 17FP7 248864
  18. 18. Car Collision Avoidance System (CCAS)  Initial Requirements o Detailing system requirements and associated usecasesMADES PROJECT– 18FP7 248864
  19. 19. Car Collision Avoidance System (CCAS)  A High level specification o Functional block and internal block descriptionMADES PROJECT– 19FP7 248864
  20. 20. Car Collision Avoidance System (CCAS)  Complete Requirements o By means of related blocks and use casesMADES PROJECT– 20FP7 248864
  21. 21. Car Collision Avoidance System (CCAS)  Refined High level specification o Linking SysML concepts to equivalent MARTE concepts RefinementMADES PROJECT– 21FP7 248864
  22. 22. Car Collision Avoidance System (CCAS)  Clock specification o Detailing the system clock types/clocksMADES PROJECT– 22FP7 248864
  23. 23. Car Collision Avoidance System (CCAS)  Hardware specification of the CCAS o Containing key components like radar, controller etc, with associated behaviorsMADES PROJECT– 23FP7 248864
  24. 24. Car Collision Avoidance System (CCAS)  Hardware specification of the CCAS Braking System o Containing key components Behavior like radar, controller etc, with associated behaviors Radar Behavior Controller BehaviorMADES PROJECT– 24FP7 248864
  25. 25. Car Collision Avoidance System (CCAS)  Hardware specification of the CCAS o Enriched detailed hardware specification for specifying execution platform detailsMADES PROJECT– 25FP7 248864
  26. 26. Car Collision Avoidance System (CCAS)  Software specification detailing: o The application tasks for the CCASMADES PROJECT– 26FP7 248864
  27. 27. Car Collision Avoidance System (CCAS)  Software specification detailing: o Detailed software specification illustrating operating system (OS) detailsMADES PROJECT– 27FP7 248864
  28. 28. Car Collision Avoidance System (CCAS)  Allocation specification o For allocating application tasks onto the CCAS hardware modulesMADES PROJECT– 28FP7 248864
  29. 29. Car Collision Avoidance System (CCAS)  Allocation specification o For allocating application tasks onto the CCAS hardware modulesMADES PROJECT– 29FP7 248864
  30. 30. Car Collision Avoidance System (CCAS)  Analysis detailing: o Scenarios for radar, controller and brake component Interactions o Used for verification purposesMADES PROJECT– 30FP7 248864
  31. 31. Car Collision Avoidance System (CCAS)  Analysis detailing: o Scenarios for radar, controller and brake component Interactions o Used for verification purposesMADES PROJECT– 31FP7 248864
  32. 32. MADES design flow overviewMADES PROJECT– 32FP7 248864
  33. 33. ConclusionMADES PROJECT–FP7 248864
  34. 34. Conclusion• MADES: Combining SysML and MARTE in a complete methodology – An initial case study showcasing the general flow – Basic template to guide MADES real-life complex industrial case studies• Providing sufficient concepts and specific diagrams – For speedy and effective system specification• Tools and technologies for effective RTES specification and implementation MADES PROJECT– 34 FP7 248864
  35. 35. Thanks! Imran Rafiq Quadri SOFTEAM | ModelioSoft imran.quadri@softeam.fr MADES Project Web Site: http://www.mades-project.org/ SOFTEAM R&D Web Site: http://rd.softeam.com ModelioSoft Web Site: http://www.modeliosoft.com The research leading to these results has received funding from the European Communitys Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 248864.MADES PROJECT–FP7 248864
  36. 36. Questions ?MADES PROJECT–FP7 248864
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×