| | 1 | From here you can: |
| | 2 | |
| | 3 | * look at the [wiki:news]. |
| | 4 | * have a short presentation of the company [wiki:#Frenchversion in French] and [wiki:#Englishversion in English]. |
| | 5 | * get information about our [wiki:#Products products]. |
| | 6 | * find the location of our [wiki:#Ouroffices office]. |
| | 7 | * get access to the [wiki:projects] area (requires authorized login). |
| | 8 | * download the [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/ETBrochure3.pdf company brochure]. |
| | 9 | * run [wiki:#aadlexamples demos] and [wiki:#onlinetutorials tutorials]. |
| | 10 | * view the [http://ellidiss.fr/env3/wiki/wiki/aadl/parser LMP prolog facts base for AADL] (use lmp as user name). |
| | 11 | |
| | 12 | == AADL Examples == |
| | 13 | [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/AADL_inspector_FlightDeckDoor.mp4 Flight Deck Door demo][[BR]] |
| | 14 | [wiki:AADL#pacemaker Pacemaker design and validation by simulation] |
| | 15 | |
| | 16 | == Online Tutorials == |
| | 17 | [http://aadl-inspector.ellidiss.fr/Section1_viewlet_swf.html AADL Inspector tutorial part 1][[BR]] |
| | 18 | [http://aadl-inspector.ellidiss.fr/Section2_viewlet_swf.html AADL Inspector tutorial part 2][[BR]] |
| | 19 | [http://aadl-inspector.ellidiss.fr/Section3_viewlet_swf.html AADL Inspector tutorial part 3][[BR]] |
| | 20 | [http://stood.ellidiss.fr/AADL_tutorial1_viewlet_swf.html AADL graphical modelling with Stood][[BR]] |
| | 21 | [http://stood.ellidiss.fr/HOOD_tutorial1_viewlet_swf.html HOOD software design with Stood][[BR]] |
| | 22 | |
| | 23 | == Presentation == |
| | 24 | === French Version === |
| | 25 | Ellidiss Technologies offre des services de support à la mise en oeuvre des technologies de modélisation et de vérification des systèmes critiques à forte concentration de logiciels, et des processus méthodologiques applicables à ces projets. Les activités de Ellidiss Technologies se répartissent de la manière suivante: |
| | 26 | |
| | 27 | * Support technique aux projets utilisant le produit de conception de logiciels [wiki:stood Stood], comme l'atelier de développement Airbus des logiciels embarqués dans l'A380. |
| | 28 | * Actions de formation à l'utilisation ou à l'administration du produit [wiki:stood Stood]. |
| | 29 | * Interventions d'assistance au démarrage, aux revues et à la validation des projets utilisant le produit [wiki:stood Stood], la méthode [wiki:hood HOOD] ou le langage d'architecture [wiki:AADL], et pour des travaux de rétro-conception de code [http://www.ada-france.org/ Ada] ou C. |
| | 30 | * Prestations de paramètrage de l'outil [wiki:stood Stood], et adaptation ou réalisation de nouveau plugins (générateurs de code, vérificateurs de règles), permettant d'optimiser l'utilisation de l'outil dans le cadre du processus de développement des projets. |
| | 31 | * Travaux d'expertise dans le domaine du génie logiciel et de l'architectures des ateliers de développement. |
| | 32 | * Participation à des projets innovants de Recherche et Développement dans le cadre desquels Ellidiss Technologies apporte ses diverses compétences en technologie d'outillage logiciel (prototypage) et contribue à renforcer les liens entre organismes de recherche et industriels. |
| | 33 | * Contribution active à des comités de standardisation, comme le nouveau langage de description d'architectures [wiki:AADL] (Architecture Analysis and Design Language) ou de promotion de standard existants, comme la méthode [wiki:hood HOOD] (Hierarchical Object Oriented Design). |
| | 34 | |
| | 35 | === English Version === |
| | 36 | Ellidiss Technologies provides technical support on software intensive critical systems modelling and verification technologies, and related development processes. Ellidiss Technologies activities consist in: |
| | 37 | |
| | 38 | * Technical support to projects using the software design tool [wiki:stood Stood] like the Airbus development environment for the software embedded in the A380. |
| | 39 | * Training courses for [wiki:stood Stood] users or administrators. |
| | 40 | * Consulting actions for start-up, review or validation of projects using [wiki:stood Stood], the [wiki:hood HOOD] method or the [wiki:AADL] architecture language, and for [http://www.ada-france.org/ Ada] or C reverse engineering. |
| | 41 | * [wiki:stood Stood] tool customization, and modification or creation of new plugins (code generators, checkers), in order to tailorize the usage of the tool within the software development process. |
| | 42 | * Providing expertise in software engineering and CASE tool architecture. |
| | 43 | * Participation to innovative Research & Development projects within which Ellidiss Technologies brings its various skills in software tooling technology (prototyping) and contributes to enforce the links between research organizations and industry. |
| | 44 | * Active contribution to standardization committees, like the new architecture description language [wiki:AADL] (Architecture Analysis and Design Language) and promotion of existing standards like the [wiki:hood HOOD] method (Hierarchical Object Oriented Design).[[BR]] |
| | 45 | |
| | 46 | == Products == |
| | 47 | In these following pages, you will be able to learn more about what we work on: |
| | 48 | |
| | 49 | * [wiki:technologies Background Technologies] |
| | 50 | * [wiki:AADL] |
| | 51 | * [wiki:hood HOOD] |
| | 52 | * [wiki:stood STOOD] |
| | 53 | * [wiki:adele ADELE] |
| | 54 | * [wiki:labassert TASTE] |
| | 55 | * [http://beru.univ-brest.fr/~singhoff/cheddar/ Cheddar] |
| | 56 | * [wiki:inspector AADL Inspector] |
| | 57 | * [wiki:pmm PMM Editor] |
| | 58 | |
