Turvallista c-koodia lentokoneisiin ja autoihin
0
Ranskalainen Esterel Technologies on erikoistunut c-koodin generointiin lentokoneiden ja autojen kriittisissä järjestelmissä. Sen Scade-työkaluilla turvallista C-koodia syntyy nappia painamalla.
Pääjohtaja Eric Bantégnien mukaan Scade Suite on ainoa markkinoilla oleva ohjelmisto, joka on saanut lentokonealan DO-178B-määritysten A-tason sertifioinnin. Tämä takaa sen, että sovelluskehittäjän koodi Esterelin työkaluilla generoituna vastaa koviin luotettavuusvaatimuksiin.
Käytännössä kaikissa Airbus-lentokoneissa kriittisten järjestelmien koodia on kehitetty Esterelin työkaluilla. Eric Bantégnien mukaan uuden Airbus 380 -jättikoneen kriittisestä koodista 80 prosenttia on tehty Scade Suitella. "Työkaluillamme on generoitu koodi esimerkiksi autopilottiin ja jäänestojärjestelmään".
Napin painalluksella
Scade-työkalujen generointimoottorin ydin perustuu Ranskassa kehitettyyn Esterel-kieleen. Käyttäjälle kieli on tietysti näkymätön. Käytännössä suunnittelija työstä mallejaan graafisella käyttöliittymällä, testaa ja verifioi sovellustaan ja lopulta generoi ansi c -kielistä koodia nappia painamalla.
Juuri koodin generoimisen automatisointi on Esterelin vahvuus. Eric Bantégnien mukaan suunnittelijoiden pitää pystyä keskittymään sovelluskehitykseen. Koodingenerointi on syytä jättää automaattisen työkalun huoleksi. "Esimerkiksi kriittisen autojärjestelmän sovelluskoodin porttaaminen 8-bittiseltä prosessorilta 16-bittiselle tuottaa virheitä, joita manuaalisessa prosessissa ei voi huomata".
Airbus-koneissa jopa 70 prosenttia kriittisten järjestelmien koodista on luotu Esterelin Scade Studiolla. Loput koodataan käsin, mutta yleensä kyse on esimerkiksi laiteajureista, ei ylemmän tason sovelluskoodista. Joka tapauksessa koodin kehitysajoista lähtee aina 40-60 prosenttia, Bantégnie lupaa. (Prosessori)
