Abstract-Control-Command-system måste vanligtvis uppfylla en uppsättning höga krav på end-to-end-tidsbegränsningar för att säkerställa att de är korrekta. Vi föreslår ett formellt tillvägagångssätt för att kontrollera dessa egenskaper direkt på modellnivå. För det första inför vi ett litet språk för att ange godtyckliga begränsningar från början till slut. Sedan visar vi hur man verifierar eventuella begränsningar av detta språk för ett system representerat med en multi-periodisk synkron modell, en modell som behåller de viktigaste begreppen data-flödesorienterade programmeringsspråk (såsom Matlab/Simulink, synkrona språk eller AADL). En fördel med detta tillvägagångssätt är att det är enklare att kontrollera begränsningar från början till slut på modellnivå, i ett tidigt skede av utvecklingsprocessen, snarare än på genomförandenivå.
Glöm allt. I REF definierades ett språk för att formellt specificera begränsningar från början till slut och föreslog en teknik för att kontrollera dessa begränsningar.
Verifying end-to-end real-time constraints on multi-periodic models
{'venue': '2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)', 'journal': '2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)', 'mag_field_of_study': ['Computer Science']}