Den centrala idén bakom gränssnittsbaserad design är att beskriva komponenter med ett komponentgränssnitt. I motsats till en komponentbeskrivning som beskriver vad en komponent gör beskriver ett komponentgränssnitt hur en komponent kan användas. Ett väl utformat komponentgränssnitt ger tillräckligt med information för att avgöra om två eller flera komponenter kan fungera tillsammans på rätt sätt i ett system. I detta arbete utökar vi idén om gränssnittsbaserad design till området realtidssystemdesign. Här avser termen "samarbeta ordentligt" frågor som: Uppfyller det sammansatta systemet alla begärda realtidsegenskaper såsom fördröjning och genomströmningsbegränsningar? För detta introducerar vi Real-Time Interfaces, som kopplar ihop principerna för Real-Time Calculus med Interface-baserad Design. I motsats till traditionell realtidssystemdesign kontrolleras i gränssnittsbaserad realtidssystemdesign överensstämmelsen med realtidsbegränsningar vid kompositionstidpunkten. Detta leder till snabbare designprocesser och tar delvis bort behovet av den klassiska binära sökmetoden för att hitta ett ekonomiskt dimensionerat system. Dessutom har gränssnittsbaserad realtidssystemdesign också nytta av egenskaperna hos inkrementell design och oberoende implementering.
De statslösa Assume/Guarantee Real-Time Interfaces, som föreslås i REF, ansluter teorin om Real-Time Calculus till gränssnittsbaserad design.
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
{'venue': "EMSOFT '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}