UML Profile for MARTE Tutorial

UML Profile f or Mod eling an d Analysis of Real- time and Embed ded Systems (M ARTE) Tutorial Software Resource Mod elingWork shop on Dis tributed O bject Com puting f or Real-t ime and Embedded S ystemsW ashington, DC, USAJul y 14t h, 200 8Fr édéric Thomas , Sé bastien Gérar d, Chokri MraidhaChok ri.Mr aidha [ at ] c ea. frOutlineSRM Over view– W hat i s the S RM pr ofile?– In w hich de sign steps shall I use SRM?– In w hich t ypical cases shall I use SRM?RT OS API modeling w ith S RM: the OS EK/V DX case stu dy– W hy shall I use S RM fo r RT OS API mode ling?– OS EK/V DX overview– W hat i s supported b y the SRM pr ofile?– T he OS EK/V DX Task mo deling w ith S RM– T he OS EK/V DX Event m odeling w ith S RMExamples of A PI model u ses– A robotic case stud y• multitask m odel designs• OS c onfiguration f ile generation• RT E application models portingLaboratory o f Mo del D riven Eng ineering for Embedded Syst ems 2SRM o verviewNFP_Modeling( NFP) Core Elements (CoreElements) Time Modeling (Time)Generic Resource Modeling (GRM)Software Resource Modeling Hardware Resource Modeling(SRM) (HRM)D etailed Resource Modeling chapter (D RM)Laboratory o f Mo del D riven Eng ineering for Embedded Syst ems 3What is th e S RM P rofile ?The S oftware Re source Mo deling prof ile is :– A UML P rofile to d escribe API of software ex ecution supp orts• Real T ime Ope rating Sy stems (RT OS)• Language Li braries (e.g. ADA)BU T, the SRM profile is ...