| 11 | | To achieve these goals, Ellidiss offers products, technologies and services that are focused on: |
| 12 | | * An industry proven software design methodology (HOOD). |
| 13 | | * A rigorous architectural design language for the software within its execution environment (AADL). |
| 14 | | * A set of verification solutions at model level to solve software performance, safety or security issues as early as possible in the development process. |
| | 11 | To achieve these goals, Ellidiss offers products, technologies and services that are leveraged by: |
| | 12 | * An industry proven software design methodology [wiki:hood (HOOD)]. |
| | 13 | * A rigorous architectural design language for real-time software and its execution environment [wiki:AADL (AADL)]. |
| | 14 | * An innovating and powerful technology to address software performance, safety and security assurance cases at design stage [wiki:LMP (LMP)]. |
