Topcased 2.0 est sorti

Posté par  . Modéré par Mouns.
Étiquettes :
0
21
juil.
2008
Technologie
Le logiciel Topcased vient de sortir dans sa version 2.0.

Topcased est un atelier de développement pour les systèmes embarqués et/ou critiques (c'est-à-dire à très haute qualité de service, comme les avions ou fusées) basé sur l'ingénierie des modèles. Il est développé par un large consortium d'industriels, de sociétés de services et d'académiques. Tous les composants sont sous licences libres (essentiellement EPL 1.0) et se présentent majoritairement sous la forme de greffons Eclipse.

Topcased comprend notamment des ateliers de modélisation (UML 2.0, SysML, Ecore...), des générateurs de code (C, Java, Python), des frameworks de transformation de modèles, un générateur de documentation, un outil de traçabilité d'exigences, etc. Plus d'informations dans les release notes.

Des versions préassemblées ("RCP") de Topcased sont disponibles sur la page de téléchargement pour l'essayer directement.

Topcased a déjà été utilisé de façon opérationnelle pour des projets aéronautiques et spatiaux. N'hésitez pas vous aussi à tester Topcased et à nous faire part de vos retours et, nous l'espérons, de vos contributions !

Aller plus loin

  • # Update site

    Posté par  (site web personnel) . Évalué à 6.

    J'ai déjà un Eclipse d'installé.
    J'ai essayé de trouver via l'updatesite de TopCased (un peu dur à trouver sur le site et dans la doc, obligé d'utiliser google), et j'ai trouvé celui là : http://topcased-mm.gforge.enseeiht.fr/release/update-site
    or, il ne me propose que TopCased v1.0. Est ce qu'il faut en utiliser un autre ou est ce que c'est juste car c'est pas encore synchroniser avec la release ?
  • # Pertinence

    Posté par  . Évalué à 1.

    [troll]
    Du Java pour un système critique? Sous Windows Me aussi?
    [/troll]
    • [^] # Re: Pertinence

      Posté par  . Évalué à 1.

      Heu, Java, ca n'a pas été justement conçu pour ça ?
      • [^] # Re: Pertinence

        Posté par  . Évalué à 6.

        "ça", c'est Windows ME ou les systèmes critiques ?
    • [^] # Re: Pertinence

      Posté par  . Évalué à 5.

      Si on ne me laissait le choix qu'entre C, Python et Java pour un système critique, je choisirai certainement Java.
      Système critique != système embarqué temps réel
      • [^] # Re: Pertinence

        Posté par  . Évalué à 5.

        Et moi, je serais réaliste, je choisirais ADA ...
        ADA c'est bien, c'est robuste, c'est fiable !!
        • [^] # Re: Pertinence

          Posté par  . Évalué à 2.

          Les systèmes critiques ne sont pas forcément embarqués et temps-réel. Par exemple, les centres de contrôle pour les satellites sont de grands systèmes d'information, critiques car leur défaillance peut provoquer la perte du système orbital. L'utilisation de C et Java est fréquente, Python ou TCL peuvent être utilisés pour faire certaines IHM non-critiques mais importantes.

          Par ailleurs, les générateurs de code fournis avec Topcased sont essentiellement démonstratifs ou doivent être utilisés pour des applications non-critiques. D'ailleurs, aucun projet critique ne serait autorisé à utiliser un générateur de code non-certifié/qualifié.
  • # UML dans les avions ?

    Posté par  . Évalué à -1.

    Savoir que les logiciels des avions sont faits avec des horreurs comme des diagrammes UML et de l'objet à outrance ça me rassure pas vraiment, personnellement...
    • [^] # Re: UML dans les avions ?

      Posté par  . Évalué à 3.

      Ils utilisent AADL qui est fourni dans Topcased. Le plugin UML de Topcased a été développé pour la communauté. C'est devenu depuis l'éditeur UML/Ecore de facto d'Eclipse, et la fondation Eclipse a délégué à la communauté Topcased tout ce qui concerne l'ingénierie dirigée par les modèles, UML, etc.

      Topcased permet la génération d'éditeurs de modèles (à partir du méta-modèle en Ecore), les plugins UML et AADL sont donc "générés" par Topcased. D'autres outils (sous forme de plugins) sont disponibles avec Topcased, par exemple un interpréteur OCL.
      • [^] # Re: UML dans les avions ?

        Posté par  . Évalué à 3.

        Je pense qu'il faut rester humble sur l'aspect couverture de l'ingénierie des modèles. TopCased contribue effectivement des outils très intéressant dans ce domaine (dont je suis le premier à utiliser dans mon travail) mais de la à dire qu'Eclipse a délégué toute la partie ingénierie des modèles à la communauté TopCased, il y a un pas ! :)

        Il ne faut pas oublier tous les composants fondamentaux sur lesquels est basé l'outillage TopCased (EMF, GMF, ...). Ainsi que tous les communautés fournissant également des outils d'ingénierie des modèles comme ATL, QVT, le projet UML2 en lui même ....
      • [^] # Re: UML dans les avions ?

        Posté par  (site web personnel) . Évalué à 2.

        "Modeling" et l'ingénierie des modèles dans Eclipse sont bien plus que Topcased. Il y'a des dizaines de projets tout aussi utiles, intéressant, et qui sont utilisés dans un cadre industriel. Ils sont issus d'individus, d'entreprises voir de chercheurs tels que l'équipe ATLAS à Nantes.

        La fondation n'a *jamais* délégué quoi que ce soit à la communauté Topcased. Le modeleur Ecore est en effet intéressant et à reçu un bon accueil de la communauté mais en toute honnèteté cela représente un pouième de la totalité du code dédié à l'ingénierie des modèles dans Eclipse. Pour ce qui est d'UML il existe un certain nombre de modeleurs pour Eclipse mais celui de Topcased est probablement un des mieux finis.
        • [^] # Re: UML dans les avions ?

          Posté par  (site web personnel) . Évalué à 4.

          Pour le modeleur UML libre, il y a aussi Papyrus du CEA (http://www.papyrusuml.org/) qui est à mon avis plus utilisable intensivement et operationellement que celui de Topcased. Ils seraient amenés à fusionner dans un futur plus ou moins proche, je croyait que c'était pour la 2.0, ça sera pour plus tard...
        • [^] # Re: UML dans les avions ?

          Posté par  . Évalué à 3.

          Effectivement j'ai généralisé. Mea culpa.
    • [^] # Re: UML dans les avions ?

      Posté par  . Évalué à 1.

      Il n'y a pas de conception objet pour les systèmes critiques de niveau A et B à ma connaissance.

      Les langages de modélisation utilisés sont souvent très spécifiques ou restreints : fragments "profilés" d'UML, Scade, etc.

      Des fragments d'UML peuvent aussi servir à la spécificationet pas à la conception : utilisation des diagrammes de séquences pour les protocoles, des diagrammes de classe pour faire un "modèle de domaine", etc.

      L'intérêt de Topcased est précisément aussi de fournir un éditeur Ecore qui permet de créer son propre langage adapaté à un type de problème donné (domain-specific language).
  • # avions et fusées ?

    Posté par  (site web personnel) . Évalué à 2.

    Ca tombe bien, j'avais justement un projet de navette spatiale sous le coude.
    • [^] # Re: avions et fusées ?

      Posté par  . Évalué à 1.

      Navette spéciale pour moi, le suppositoire numérique.

      Avec toutes les lois bizarres d'actualité, le marché est potentiellement grand.

      Mais je n'ai pas encore de business plan :p
  • # aux RMLL

    Posté par  (site web personnel, Mastodon) . Évalué à 4.

    Comme personne n'a posté le lien de la présentation de TopCased aux RMLL, je me dévoue :
    http://2008.rmll.info/Topcased-un-environnement-de.html

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.