Articles précédents : Logiciel
- [18] TestDisk & PhotoRec 6.10
- [25] Annonce de Nuxeo WebEngine : framewok Java pour applications orientées contenus
- [58] Sortie du noyau Linux 2.6.26
- [23] Microblogging enfin libre, ouvert et décentralisé avec Laconi.ca et les spécifications OpenMicroBlogging
- [17] Des nouvelles du projet Apricot
- [20] Consolidation des smartphones libres : LiPS fusionne avec LiMo
- [80] Publication de Samba 3.2
- [11] symfony 1.1 est sorti
- [30] Sortie de frozen-bubble-menu 0.2.0
- [17] Tuxguitar 1.0 est sorti
Liens connexes
- Site public Topcased (1720 hits)
- Page de téléchargement (325 hits)
- Release notes [PDF, 126 ko] (236 hits)
- Ingénierie des modèles (792 hits)
- Système critique (564 hits)
Dépêche modérée par
Dépêche éditée par
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 !
![[en]](../../../images/en.png)
Site public Topcased (1720 hits)-
Page de téléchargement (325 hits)
-
Release notes [PDF, 126 ko] (236 hits)
![[fr]](../../../images/fr.png)
Ingénierie des modèles (792 hits)-
Système critique (564 hits)
> Lire les commentaires (19 commentaires, moyenne: 2,8).
Update site
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 ?
-
[^]Re: Update site
Posté par Etienne Juliot (page perso, ) le 22/07/2008 à 09:03. (lien). Évalué à 3.OK, j'ai trouvé. C'est dans les release notes.
Et le nouvel updatesite est : http://topcased-mm.gforge.enseeiht.fr/release/update-site3.4(...)
Pertinence
[troll]
Du Java pour un système critique? Sous Windows Me aussi?
[/troll]
-
[^]Re: Pertinence
Posté par Edouard Lampion () le 21/07/2008 à 21:36. (lien). Évalué à 1.Heu, Java, ca n'a pas été justement conçu pour ça ?
-
[^]Re: Pertinence
Posté par meuble2001 () le 21/07/2008 à 21:49. (lien). Évalué à 6."ça", c'est Windows ME ou les systèmes critiques ?
-
-
[^]Re: Pertinence
Posté par Kévin FERRARE (page perso, ) le 22/07/2008 à 03:08. (lien). É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 SmileBOB () le 22/07/2008 à 11:18. (lien). É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 DavidC () le 22/07/2008 à 15:29. (lien). É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 ?
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 smc () le 22/07/2008 à 05:42. (lien). É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 Goulwen Le Fur () le 22/07/2008 à 09:20. (lien). É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 Cédric Brun (page perso, ) le 22/07/2008 à 09:30. (lien). É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 gege (page perso, ) le 22/07/2008 à 16:50. (lien). É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 ?
-
-
-
[^]Re: UML dans les avions ?
Posté par DavidC () le 22/07/2008 à 15:33. (lien). É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 ?
Ca tombe bien, j'avais justement un projet de navette spatiale sous le coude.
-
[^]Re: avions et fusées ?
aux RMLL
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
-
[^]Re: aux RMLL
Posté par scls19fr (page perso, ) le 15/08/2008 à 18:14. (lien). Évalué à 1.Et la vidéo...
http://free-electrons.com/communaute/videos/conferences/
topProcess EPF: conception de processus, par Angel Garcia:
vidéo (38 minutes, 172 Mo, transparents)
Cette page a été générée par Templeet en 0.0983s (dont 0.014 de SQL).
Cette page est peut-être conforme xhtml 1.0.
Information sur le site.
Faire un don !
Cette discussion est archivée, il n'est plus possible de laisser des commentaires.
Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.