wiki:koz

From here you can:

AADL Examples

Flight Deck Door demo
Pacemaker design and validation by simulation

Online Tutorials

AADL Inspector tutorial part 1
AADL Inspector tutorial part 2
AADL Inspector tutorial part 3
AADL graphical modelling with Stood
HOOD software design with Stood

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 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 Stood.
  • Interventions d'assistance au démarrage, aux revues et à la validation des projets utilisant le produit Stood, la méthode HOOD ou le langage d'architecture AADL, et pour des travaux de rétro-conception de code Ada ou C.
  • Prestations de paramètrage de l'outil 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 AADL (Architecture Analysis and Design Language) ou de promotion de standard existants, comme la méthode 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 Stood like the Airbus development environment for the software embedded in the A380.
  • Training courses for Stood users or administrators.
  • Consulting actions for start-up, review or validation of projects using Stood, the HOOD method or the AADL architecture language, and for Ada or C reverse engineering.
  • 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 AADL (Architecture Analysis and Design Language) and promotion of existing standards like the HOOD method (Hierarchical Object Oriented Design).

Products

In these following pages, you will be able to learn more about what we work on:

Last modified 20 months ago Last modified on Apr 11, 2017 4:30:18 PM