Arkitekturanalys och designspråk (AADL) har använts för att specificera och verifiera icke-funktionella egenskaper hos Real-Time Embedded Systems (RTES) som används i kritiska applikationssystem. Exempel på sådana kritiska tillämpningssystem är medicintekniska produkter, kärnkraftverk, flyg- och rymdteknik, ekonomi osv. Med hjälp av AADL kan en ingenjör analysera ett systems kvalitet. Till exempel, en utvecklare kan utföra prestandaanalys såsom end-to-end flödesanalys för att garantera att systemkomponenter har de resurser som krävs för att uppfylla de tidskrav som är relevanta för deras kommunikation. Den kritiska frågan i samband med utveckling och driftsättning av säkerhetskritiska system är hur man validerar förväntad kvalitetsnivå (t.ex. säkerhet, prestanda, säkerhet) och funktioner (kapacitet) på konstruktionsnivå. För närvarande används kärnan AADL i stor utsträckning för att analysera och verifiera kvaliteten på RTES inbäddade i säkerhetskritiska applikationer. Notationen saknar de formella semantik som behövs för att resonera om de logiska egenskaperna (t.ex. dödläge, livelock, etc.) och säkerhetskritiska systems kapacitet. Syftet med denna forskning är att förstärka AADL med exiting formella semantik och stödverktyg på ett sätt som dessa egenskaper kan verifieras automatiskt. Mot detta mål utnyttjar vi Petri Net Markup Language (PNML), som är en standard som fungerar som mellanspråk mellan olika klasser av Petri Nets. Med hjälp av PNML förbinder vi AADL med olika klasser av Petri nät, som stöder olika typer av verktyg och resonemang. Motiveringen för att använda PNML är att ramen ger ett sammanhang där driftskompatibilitet och utbytbarhet mellan olika modeller av ett system som specificeras av olika typer av Petrinät är möjlig. Bidragen från vårt arbete inkluderar en uppsättning kartläggningar och kartregler mellan AADL och PNML. För att visa genomförbarheten av vår strategi, ett fragment av RT-Embed system, nämligen Cruise Control System har använts.
Reza och Chatterjee REF föreslog en kartregel från Architecture Analysis and Design Language (AADL) till Petri Net Markup Language (PNML), som kan användas för att omvandla den inbyggda prestandamodellen för ADDL till tre typer av Petri nettomodeller med användning av Petri nettoanalysmetoden för att uppnå inbäddad prestandautvärdering av programvara.
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
{'venue': None, 'journal': 'Journal of Software Engineering and Applications', 'mag_field_of_study': ['Computer Science']}