| 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 | |