MADES PROJECT–
FP7 248864
MADES PROJECT–
FP7 248864
MADES: A mixed SysML/MARTE
methodology for Real-Time and
Embedded Systems
http://mades-project.org/
Imran Quadri
SOFTEAM
ERTS2 2012, 2nd February 2012
MADES PROJECT–
FP7 248864
Overview
• Context
• MADES methodology
• Case Study: Car Collision Avoidance System
example (CCAS)
• Conclusion
2
MADES PROJECT–
FP7 248864
MADES PROJECT–
FP7 248864
Context
MADES PROJECT–
FP7 248864
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
4
MADES PROJECT–
FP7 248864
Context : Unified Modeling
Language (UML)
• Problems:
A bloated and complex language
Not suitable for specification of complex real-time systems
5
MADES PROJECT–
FP7 248864
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
6
MADES PROJECT–
FP7 248864
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
7
MADES PROJECT–
FP7 248864
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 …
8
MADES PROJECT–
FP7 248864
MADESModel-based methods and tools for Avionics and surveillance embeddeD SystEmS
9
• 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–
FP7 248864
MADES PROJECT–
FP7 248864
MADES Methodology
MADES PROJECT–
FP7 248864
MADES methodology for RTES: MADES language
• MADES language: effective SysML and MARTE subset for RTES
specifications
11
SysML
MARTE
MADES PROJECT–
FP7 248864
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)
12
MADES PROJECT–
FP7 248864
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)
13
MADES PROJECT–
FP7 248864
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
14
MADES PROJECT–
FP7 248864
MADES PROJECT–
FP7 248864
MADES MethodologyCase Study : Car Collision Avoidance
System (CCAS) example
Specification with MADES language
MADES PROJECT–
FP7 248864
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
16
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Initial Requirements
o Detailing system requirements
and associated usecases
17
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Initial Requirements
o Detailing system requirements
and associated usecases
18
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
A High level specification
o Functional block and internal
block description
19
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Complete Requirements
o By means of related blocks and
use cases
20
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Refined High level
specification
o Linking SysML concepts to
equivalent MARTE concepts
21
Refinement
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Clock specification
o Detailing the system clock
types/clocks
22
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Hardware specification of the
CCAS
o Containing key components
like radar, controller etc,
with associated behaviors
23
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Hardware specification of the
CCAS
o Containing key components
like radar, controller etc,
with associated behaviors
24
Controller Behavior
Radar Behavior
Braking System Behavior
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Hardware specification of the
CCAS
o Enriched detailed hardware
specification for specifying
execution platform details
25
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Software specification
detailing:
o The application tasks for the
CCAS
26
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Software specification
detailing:
o Detailed software specification
illustrating operating
system (OS) details
27
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Allocation specification
o For allocating application tasks
onto the CCAS hardware
modules
28
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Allocation specification
o For allocating application tasks
onto the CCAS hardware
modules
29
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Analysis detailing:
o Scenarios for radar, controller
and brake component
Interactions
o Used for verification purposes
30
MADES PROJECT–
FP7 248864
Car Collision Avoidance System (CCAS)
Analysis detailing:
o Scenarios for radar, controller
and brake component
Interactions
o Used for verification purposes
31
MADES PROJECT–
FP7 248864
MADES design flow overview
32
MADES PROJECT–
FP7 248864
MADES PROJECT–
FP7 248864
Conclusion
MADES PROJECT–
FP7 248864
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
34
MADES PROJECT–
FP7 248864
MADES PROJECT–
Thanks!
Imran Rafiq Quadri
SOFTEAM | ModelioSoft
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 Community's Seventh Framework Programme (FP7/2007-2013) under
grant agreement n° 248864.
MADES PROJECT–
FP7 248864
MADES PROJECT–
FP7 248864
Questions ?