PolySpace
- PolySpace
-
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[2]. Elle est issue de l'INRIA Grenoble et de son incubateur [3], à la suite de 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 janvier 1999, par Alain Deutsch, et Daniel Pilaud à Montbonnot, dans l’Isère[4].
Références
Liens Externs
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article PolySpace de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… … Wikipedia
MISRA C — is a software development standard for the C programming language developed by MISRA. Its aims are to facilitate code safety, portability and reliability in the context of embedded systems, specifically those systems programmed in ISO C. There is … Wikipedia
List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
The MathWorks — 42° 18′ 01″ N 71° 21′ 01″ W / 42.30025, 71.35039 … Wikipédia en Français
Dangling pointer — Dangling pointers and wild pointers in computer programming are pointers that do not point to a valid object of the appropriate type. These are special cases of memory safety violations. Dangling Pointer Dangling pointers arise when an object is… … Wikipedia
Dynamic program analysis — is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test… … Wikipedia
Abstrakte Interpretation — Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen über das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms… … Deutsch Wikipedia
The MathWorks — The MathWorks, Inc. Rechtsform Corporation Gründung 7. Dezember 1984 Sitz … Deutsch Wikipedia
Analyse statique de programmes — En informatique, la notion d analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d un programme lors de son exécution sans réellement l exécuter. C est cette dernière… … Wikipédia en Français
Maurice Cohen (droit) — Pour les articles homonymes, voir Maurice Cohen. Droit du travail en France Sources du droit du travail Internationales : OIT · UE Étatiques : Constitution · Loi · Règlement · … Wikipédia en Français
