| Opracowany przez | MathWorks |
|---|---|
| Pierwsza wersja | 1999 |
| Stronie internetowej | www.mathworks.com/products/polyspace.html |
PolySpace to oprogramowanie do statycznej analizy programów do znajdowania błędów w oprogramowaniu bez konieczności jego uruchamiania. Potrafi analizować programy napisane w językach C , C ++ i Ada metodą abstrakcyjnej interpretacji . To oprogramowanie jest używane w sektorach motoryzacyjnym, lotniczym, energetycznym i obronnym.
PolySpace Technologies to nazwa francuskiej firmy utworzonej w 1999 roku w celu rozwijania tego oprogramowania i kupionej w 2007 roku przez The MathWorks . Pochodzi z INRIA Grenoble i jej inkubatora w wyniku prac badawczych przeprowadzonych w tej publicznej organizacji badawczej.
Błąd komputera, który doprowadził do zniszczenia pierwszego lotu Ariane 5, został uznany za „niemożliwy do automatycznego znalezienia”. Alain Deutsch, wówczas badacz w INRIA , stworzył prototyp zdolny do automatycznego wykrywania tego błędu. Ten prototyp jest przedstawiany firmie Arianespace, która jest bardzo zainteresowana tym oprogramowaniem, pod warunkiem, że jest ona uprzemysłowiona, to znaczy nie jest już prototypem i staje się produktem gotowym, łatwym do użycia. PolySpace Technologies powstaje wStyczeń 1999, autorstwa Alaina Deutscha i Daniela Pilaud w Montbonnot , w Isère .