| 5 | Size and complexity of Software increase dramatically in new systems. [[BR]] |
| 6 | Moreover, it plays a more and more critical role in many application areas such as avionics, space, ground transportation, automotive, medical devices or nuclear plants. [[BR]] |
| 7 | Like in many other engineering domains, size and complexity can be mastered by putting more effort in the early stages of the software development life-cycle. [[BR]] |
| 8 | This is also the way to go to increase at the same time quality and productivity for a software intensive project. [[BR]] |
| 9 | |
| 10 | To achieve these goals, Ellidiss offers products, technologies and services that are focused on: |
| 11 | * An industry proven design methodology. |
| 12 | * A rigorous architectural design language for the software within its execution environment. |
| 13 | * A set of verification solutions at model level to solve software performance, safety or security issues as early as possible in the development process. |
| 14 | |