= Methods and Tools for the Development of = = Mission Critical Software Intensive Systems = [[Image(background.png, link=)]] {{{#!table style="border:2" {{{#!tr style="text-align:center; margin:auto" {{{#!th style="width:120px" '''Products''' }}} {{{#!td style="background:#ffd; width:80px" [wiki:stood Stood] }}} {{{#!td style="background:#ffd; width:80px" [wiki:inspector AADL Inspector] }}} }}} {{{#!tr style="text-align:center; margin:auto" {{{#!th style="width:120px" '''Technologies''' }}} {{{#!td style="background:#ffd; width:80px" [wiki:hood HOOD] }}} {{{#!td style="background:#ffd; width:80px" [wiki:AADL AADL] }}} {{{#!td style="background:#ffd; width:80px" [wiki:LMP LMP] }}} {{{#!td style="background:#ffd; width:80px" [wiki:GMP GMP] }}} }}} {{{#!tr style="text-align:center; margin:auto" {{{#!th style="width:120px" '''Projects''' }}} {{{#!td style="background:#ffd; width:80px" [http://taste.tools TASTE] }}} {{{#!td style="background:#ffd; width:80px" [http://www.h2020-ergo.eu/ ERGO] }}} }}} {{{#!tr style="text-align:center; margin:auto" {{{#!th style="width:120px" '''Corporate''' }}} {{{#!td style="background:#ffd; width:80px" [wiki:#Englishversion Activities] }}} {{{#!td style="background:#ffd; width:80px" [wiki:#Ouroffices Locations] }}} {{{#!td style="background:#ffd; width:80px" [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/ETBrochure4.pdf Brochure] }}} {{{#!td style="background:#ffd; width:80px" [wiki:news News] }}} {{{#!td style="background:#ffd; width:80px" [wiki:#Sales Sales] }}} }}} }}} From here you can: * look at the [wiki:news]. * have a short presentation of the company [wiki:#Frenchversion in French] and [wiki:#Englishversion in English]. * get information about our [wiki:#Products products]. * find the location of our [wiki:#Ouroffices office]. * get access to the [wiki:projects] area (requires authorized login). * download the [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/ETBrochure3.pdf company brochure]. * run [wiki:#aadlexamples demos] and [wiki:#onlinetutorials tutorials]. * view the [http://ellidiss.fr/env3/wiki/wiki/aadl/parser LMP prolog facts base for AADL] (use lmp as user name). == AADL Examples == [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/AADL_inspector_FlightDeckDoor.mp4 Flight Deck Door demo][[BR]] [wiki:AADL#pacemaker Pacemaker design and validation by simulation] == Online Tutorials == [http://aadl-inspector.ellidiss.fr/Section1_viewlet_swf.html AADL Inspector tutorial part 1][[BR]] [http://aadl-inspector.ellidiss.fr/Section2_viewlet_swf.html AADL Inspector tutorial part 2][[BR]] [http://aadl-inspector.ellidiss.fr/Section3_viewlet_swf.html AADL Inspector tutorial part 3][[BR]] [http://stood.ellidiss.fr/AADL_tutorial1_viewlet_swf.html AADL graphical modelling with Stood][[BR]] [http://stood.ellidiss.fr/HOOD_tutorial1_viewlet_swf.html HOOD software design with Stood][[BR]] == Presentation == === French Version === 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: * 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. * Actions de formation à l'utilisation ou à l'administration du produit [wiki:stood Stood]. * 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. * 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. * Travaux d'expertise dans le domaine du génie logiciel et de l'architectures des ateliers de développement. * 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. * 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). === English Version === Ellidiss Technologies provides technical support on software intensive critical systems modelling and verification technologies, and related development processes. Ellidiss Technologies activities consist in: * Technical support to projects using the software design tool [wiki:stood Stood] like the Airbus development environment for the software embedded in the A380. * Training courses for [wiki:stood Stood] users or administrators. * 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. * [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. * Providing expertise in software engineering and CASE tool architecture. * 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. * 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]] == Products == In these following pages, you will be able to learn more about what we work on: * [wiki:technologies Background Technologies] * [wiki:AADL] * [wiki:hood HOOD] * [wiki:stood STOOD] * [wiki:adele ADELE] * [wiki:labassert TASTE] * [http://beru.univ-brest.fr/~singhoff/cheddar/ Cheddar] * [wiki:inspector AADL Inspector] * [wiki:pmm PMM Editor] == Sales == For commercial enquieries about the Stood product, please contact info@ellidiss.com[[BR]] For other products and services, please contact info@ellidiss.fr == Our offices == [http://www.ellidiss.com UK office]:[[BR]] Triad House[[BR]] Mountbatten Court[[BR]] Worrall Street[[BR]] Congleton[[BR]] Cheshire[[BR]] UK[[BR]] CW12 1DT[[BR]] Tel:+44(0)1260 291449[[BR]] French office:[[BR]] 24 quai de la douane[[BR]] 29200 Brest[[BR]] Brittany[[BR]] France[[BR]] Tel: +33 (0)298 451 870[[BR]] Email: info @ ellidiss.fr (info@ellidiss.fr)[[BR]] GPS: W 4.485° N 48.383° [[BR]] ---- Ellidiss Technologies,[[BR]] SARL au capital de 7600 Euros SIRET 451 223 606 00026, RCS Brest, APE 5829B, TVA FR 37 451 223 606[[BR]][[BR]][[BR]] [wiki:#WelcometotheEllidissTechnologieswebsite Back to the top of the page].