Moderna cyberfysiska system utförs i fysiska miljöer och distribueras över flera elektroniska styrenheter med hjälp av flera kärnor för utförande. Dessa system utför säkerhetskritiska uppgifter och måste därför uppfylla hårda realtidskrav. För att möta dessa krav systematiskt utvecklar systemingenjörer dessa systemmodeller och bevisar att dessa krav uppfylls via modellkontroll. Det är viktigt att se till att körtidens schemaläggning inte bryter mot de kontrollerade kraven genom att försumma modellens kontrollantaganden. För närvarande finns det en lucka i processen för modelldrivna metoder för att få fram en genomförbar tidsplanering som respekterar dessa antaganden. I den här artikeln presenterar vi en strategi för en semiautomatisk syntes av beteendemodeller till en deterministisk schemaläggning som respekterar realtidskrav vid körning. Vi utvärderar vår strategi med hjälp av ett exempel på ett distribuerat fordonssystem med hårda realtidskrav specificerade med MechatronicUML-metoden.
I REF presenterar författarna en strategi för en halvautomatisk syntes av modeller till en deterministisk schemaläggning som respekterar realtidskraven för flerkärniga system.
Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
{'venue': 'MODELSWARD', 'journal': None, 'mag_field_of_study': ['Computer Science']}