Utveckla programvara och hårdvara i ett enda språk. Det kan du göra med AS5506/1 AADL (Architecture Analysis and Design Language), en ny standard från den amerikanska organisationen SAE (Society of Automotive engineers).
I AADL bygger du grafiska modeller av komponenter, kopplingar, egenskaper och relationer. Gränssnitt defineras i XML. Arkitekturen kopplas sedan formellt till textbaserad källkod.
Dessutom kan du addera information som beskriver systemets robusthet och felbeteende, vilket öppnar möjlighetean att testa säkerhet, pålitlighet, integritet, tillgänglighet och underhållsmöjligheter redan innan systemet tillverkats.