PolySpace

PolySpace

Informations
Développé par The MathWorksVoir et modifier les données sur Wikidata
Première version Voir et modifier les données sur Wikidata
Type Analyse statique de programmesVoir et modifier les données sur Wikidata
Site web www.mathworks.com/products/polyspace.htmlVoir et modifier les données sur Wikidata

modifier - modifier le code - voir Wikidata (aide)

PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite[1]. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense.

PolySpace Technologies est le nom de l'entreprise française créée en 1999 pour développer ce logiciel et rachetée en 2007 par The MathWorks. Elle est issue de l'Inria Grenoble et de son incubateur[2], à la suite de travaux de recherche menés dans cet organisme de recherche public.

Création

Le bug informatique ayant amené à la destruction du premier vol d'Ariane 5 était réputé "impossible à trouver de manière automatique". Alain Deutsch, alors chercheur à l'Inria, crée un prototype capable de trouver ce bug de manière automatique. Ce prototype est présenté à Arianespace qui est très intéressé par ce logiciel à la condition qu'il soit industrialisé, c'est-à-dire qu'il ne soit plus un prototype et qu'il devienne un produit fini, facilement utilisable. PolySpace Technologies est créé en , par Alain Deutsch, et Daniel Pilaud à Montbonnot, dans l’Isère[3].

Références

  1. ↑ (en) PolySpace Embedded Software Verification
  2. ↑ (fr) Polyspace - Vérification de logiciels critiques embarqués « Copie archivée » (version du sur Internet Archive), INRIA Grenoble Rhône-Alpes
  3. ↑ (fr) PolySpace présente la nouvelle génération de ses outils de détection des erreurs d’exécution, par Anne-Françoise Pelé, le

Liens externes

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.