Number

Approache

Code sign

Methods

1

CORE

0

2

JSD

0

3

YSM

1

4

RTSAD

0

5

DARTS

0

6

ADARTS

0

7

CoDarts

0

8

MASCOT

0

9

HOOD/HRT-HOOD

1

10

ROOM

0

Languages

11

UML

0

12

UML-RT

0

13

SysML

0

14

AADL

1

15

UML-MARTE

1