Vi presenterar ett antagande-garanti gränssnitt algebra för realtidskomponenter. I vår formalism genomför en komponent en uppsättning uppgifter sekvenser som delar en resurs. Ett komponentgränssnitt består av en funktion för ankomsthastighet och en latens för varje aktivitetssekvens, och en kapacitetsfunktion för den delade resursen. Gränssnittet anger att komponenten garanterar vissa uppgiftslatenser beroende på antaganden om ankomsthastigheter för uppgifter och tilldelade resurskapaciteter. Vår algebra definierar kompatibilitet och förfining relationer på gränssnitt. Kompatibilitet mellan gränssnitt kan kontrolleras på partiella konstruktioner, även när vissa komponentgränssnitt ännu inte är kända. I detta fall beräknar gränssnittets sammansättning som nya antaganden de svagaste begränsningarna för de okända komponenter som är nödvändiga för att uppfylla de angivna garantierna. Gränssnittsförfining definieras på ett sätt som säkerställer att kompatibla gränssnitt kan förfinas och genomföras självständigt. Vår algebra formaliserar således en gränssnittsbaserad designmetodik som stöder både inkrementell addition av nya komponenter och den självständiga stegvisa förfiningen av befintliga komponenter. Vi visar på flexibiliteten och effektiviteten i ramverket genom simuleringsförsök.
I REF föreslår författarna antagande-garanti gränssnitt algebra för realtidskomponenter.
An Interface Algebra for Real-Time Components
{'venue': "12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06)", 'journal': "12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06)", 'mag_field_of_study': ['Computer Science']}