Number | Approach | System insurance | Service quality management | Model analysis | Dependability ratings | |||||||
Formals notations | Formal verification | Error modeling | failure analysis (delays, sending or reception rate) | Communication safety (in terms of message loss) | Interactions security between components | Schedulability analysis | Performance analysis | Models simulation | ||||
Methods | 1 | CORE | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 3 |
2 | JSD | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | |
3 | YSM | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
4 | RTSAD | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
5 | DARTS | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
6 | ADARTS | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
7 | CoDarts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
8 | MASCOT | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
9 | HOOD/ HRT-HOOD | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 4 | |
10 | ROOM | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 2 | |
Languages | 11 | UML | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 |
12 | UML-RT | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | |
13 | SysML | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 4 | |
14 | AADL | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 9 | |
15 | UML-MARTE | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 8 |