| | 1 | = Our Technologies = |
| | 2 | == Critical Software Development == |
| | 3 | Due to increasing importance of Software in critical Systems for application domains such as Avionics, Space, Ground Transportation, Automotive or Medical equipments, Software development teams are involved in such projects need solutions that can: |
| | 4 | * Provide a seamless path between System Engineering activities and Software Engineering activities. |
| | 5 | * Support efficiently the various steps of the Software development life-cycle, including model based engineering, code and documentation generation and reverse engineering. |
| | 6 | * Offer when appropriate "correctness by construction" modeling approaches, and provide "early verification" solutions otherwise. |
| | 7 | * Enforce "good practices" for the development process in order to master the complexity of large scale projects in real industrial contexts and in the long term. |
| | 8 | == In compliance with industrial standards: == |
| | 9 | Solutions developed by Ellidiss Technology are the result of many years of direct cooperation with many major operational projects such as the Airbus airliners, the Tiger helicopter and a wide range of satellites. Thanks to this experience, they offer a powerful support for '''System Architecture''' and '''Software Design''' engineering phases as specified in domain related international industrial standards such as: |
| | 10 | * SAE-AS5506 (Architecture Analysis and Design Language) |
| | 11 | * DO-178B (embedded avionics) |
| | 12 | * ECSS-E40 (space systems) |
| | 13 | * EN-50128 (railways equipments) |
| | 14 | == Modeling real-time == |
| | 15 | Modeling and early validation of real-time features is a key concern for embedded applications.Ellidiss tools provide the appropriate level of description for the real-time properties at each step of the system development process, and a set of verification techniques including simulation and analytical calculation. The ultimate goal for real-time modeling are: |
| | 16 | * Reaching deadlines thanks to a proper management of control flows. |
| | 17 | * Avoiding date losses thanks to a proper management of data flows. |
| | 18 | These concerns can be managed as early as possible in the project life-cycle thanks to the use of architecture design languages such as the AADL. |
