Jump to: navigation, search

Polarsys/Pitch

Pitch1 - EN

Polarsys: Provide Long Term Support and develop the ecosystem of Eclipse tools for Critical Embedded Systems

The Polarsys Industry Working Group addresses specific issues of Industrial Users who create Embedded Systems with long life cycles:

  • The software embedded in a spatial mission needs to be supported for more than 25 years in response to the lifetime of the mission.
  • The software embedded in an aircraft flight command system must be "certified" according to safety standards, including the tooling used to produce this software.

Thus, during the whole life-cycle of the product, those Software users need maturity assessment and long lasting support for their tooling. These concerns are also relevant in other safety regulated environments like railway or energy, and also for other domains with long life products like telco.

The goal of Polarsys is to organize the open source and business ecosystem around tools for the development of dependable embedded systems in order to create better tooling and to enable long term support for these tools.

Polarsys focuses on four main points (see http://wiki.eclipse.org/Polarsys/Proposal):

  • Open Innovation to create better methods and tools
  • Computer Assistance and Automation with a focus on Model Based System Engineering
  • Certification to ease the tools qualification in complex certification processes
  • Very Long Term Support because Embedded Systems and tools may be maintained for 40 years or more

Polarsys does not only cover Topcased and its components, but also numerous other projects like GeneAuto as a qualified code generator, Unisim for simulation, Frama-C for static code analysis or ArCon for validation of models that are part of a full featured tool chain for the development of Embedded Systems.

(We will tell you the story of Polarsys and we will describe how we implement such long term availability and maturity assessment for Eclipse tools.)

Pitch 2 - FR

Polarsys: Un écosystème open source pour pérenniser les outils de développement pour les systèmes embarqués critiques

L'Industry Working Group Polarsys traite les problèmes spécifiques des utilisateurs industriels qui créent des Systèmes Embarqués avec de longs cycles de vie:

  • Le logiciel embarqué d'une mission spatial doit être supporté pendant plus de 25 ans pour suivre le cycle de vie de la mission.
  • Le logiciel embarqué des systèmes de commandes de vol d'un avion doit être "certifié" selon des normes de fiabilité, et les outils doivent être "qualifiés" en conséquence.

Ainsi, durant le cycle de vie des produits, le utilisateurs ont besoin d'évaluation de la qualité, et de support à long terme pour leurs outils de développement. Ces problématiques s'appliquent aussi à d'autres environnement réglementés comme le ferroviaire ou l'énergie, ou à d'autres domaines pour lesquels la durée de vie des produits est longue comme les télécommunications.

Le but de Polarsys est d'organiser un écosystème Open Source pérenne pour les outils de développement de systèmes embarqués critiques afin de créer de meilleurs outils et de permettre leur support à long terme.

Polarsys se concentre sur 4 points (voir http://wiki.eclipse.org/Polarsys/Proposal):

  • L'Open Innovation pour créer de meilleurs méthodes et outils
  • Computer Assistance and Automation avec un focus sur le Model Based System Engineering
  • La Certification, pour faciliter la qualification des outils dans le cadre de processus de certifications complexes
  • Le support à (très) long terme car les systèmes embarqués doivent parfois être maintenu pendant plus de 40 ans.

Polarsys ne couvre pas seulement Topcased et ses composants, mais s'intéresse aussi d'autres projets comme GeneAuto, Unisim, Frama-C, ArCon, Polychrony, Kermeta, ATL, ... L'objectif est de construire des chaînes logicielles complètes couvrant les différents aspects du développement et de la vérification de systèmes embarqués critiques. Dans ce cadre, le projets de l'Inria fournissent la base idéale pour l'Open Innovation, en proposant de nouvelles technologies et de nouvelles méthodes de développement.

Dans cette présentation, nous parcourrons rapidement l'historique de Polarsys et décrirons comment Polarsys peut devenir un catalyseur où les équipes Inria rencontrent à la fois des utilisateurs finaux (Airbus, Ericsson, Thales, ...) et des éditeurs de logiciels open source qui peuvent assurer l'industrialisation des technologies.