Säkerhetskritiska system används i stor utsträckning inom olika områden och leder till ökad komplexitet. Sådana system är beroende av särskilda tjänster som rymd- och tidsisolering som i ARINC653 avionics-standarden. Deras kritiska egenskaper kräver en noggrant styrd design baserad på en lämplig utvecklingsprocess och särskilda verktyg för att upptäcka och undvika problem så tidigt som möjligt. Modell Driven Engineering (MDE) tillvägagångssätt betraktas nu som ett värdefullt tillvägagångssätt för byggsäkerhetskritiska system. Arkitekturanalys och designspråk (AADL) föreslår ett komponentbaserat språk som lämpar sig för att använda MDE som uppfyller säkerhetskritiska systembehov. I detta dokument presenteras en metod för modellering, verifiering och genomförande av ARINC653-system med hjälp av AADL. Det beskriver en modelling metod som utnyttjar de nya funktionerna i AADL version 2 för utformningen av ARINC653 arkitekturer. I förslaget föreslås också modelleringsmönster som representerar andra säkerhetsmekanismer, t.ex. användning av Ravenscar för kritiska tillämpningar. Detta tillvägagångssätt stöds fullt ut av verktyg med Ocarina (AADL toolsuite), POK (AADL/AR-INC653 runtime) och Cheddar (schemaläggningsverifiering). Det hjälper alltså systemingenjörer att simulera och validera icke-funktionella krav som schemaläggning eller dimensionering av resurser.
Delange m.fl. I REF fastställs riktlinjer för genomförandet av ARINC653-system med hjälp av AADL.
Validate, simulate, and implement ARINC653 systems using the AADL
{'venue': "SIGAda '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}