Sammanfattning Omfattningen av de flesta synteser på hög nivå hittills har varit på nivån för en enda beteendemodell representerad som en kontroll / data-ow graf. Kommunikationen mellan att samtidigt genomföra processer och dess krav när det gäller tidsplanering och resurser har i stor utsträckning försummats. Denna begränsning begränsar tillämpligheten av de flesta befintliga metoder för komplexa systemkonstruktioner. I detta dokument beskrivs en metod för syntes av gränssnitt i samtidiga system med detaljerade tidsbegränsningar. Vi modellerar kommunikation mellan processer med hjälp av blockerande och icke-blockerande meddelanden. Vi visar hur relationen mellan meddelanden över tid kan abstrakteras som en begränsningsgraf som kan extraheras och användas under syntesen. Vi beskriver en ny teknik som kallas gränssnittsmatchning som minimerar gränssnittskostnaden genom att schemalägga varje process med avseende på timing information från andra processer som kommunicerar med den. Genom att schemalägga slutförandet av verksamheten kan viss blockerande kommunikation omvandlas till icke-blockering samtidigt som kommunikationen förblir giltig. För att ytterligare minska hårdvarukostnaderna beskriver vi syntesen av gränssnitt på delade fysiska medier. Vi visar hur denna delning kan ökas genom omläggning och seriellisering av kommunikationen. Förutom att systematiskt minska kostnaderna för synkronisering av gränssnittet möjliggör detta tillvägagångssätt en analys av tidskonsistensen i kommunikationen mellan processer.
Filo och al. Ref-modellens samtidiga kommunikation mellan processer med hjälp av blockerande och icke-blockerande meddelanden med detaljerade tidsbegränsningar och syntesen syftar till att öka prestandan genom att göra så många meddelanden som möjligt utan blockering.
Interface Optimization for Concurrent Systems under Timing Constraints
{'venue': 'IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION', 'journal': None, 'mag_field_of_study': ['Computer Science']}