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

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 Community's Seventh Framework Programme (FP7/2007-2013) under

grant agreement n° 248864.

MADES PROJECT–

FP7 248864

MADES PROJECT–

FP7 248864

Questions ?