Abstract-Embedded system består av interaktion hårdvara och programvarukomponenter som måste leverera en specifik funktionalitet under begränsningar av relativ timing av sina åtgärder. Vi beskriver driftsförseningar och driftsbegränsningar som är användbara i samband med inbyggda system. En fördröjningsrestriktion begränsar förseningen av operationen eller anger någon av de tretton möjliga begränsningarna mellan intervallerna för utförandet av ett par operationer. En hastighetsbegränsning begränsar hastigheten för utförandet av en operation och kan specificeras i förhållande till kontrollflödet i systemets funktionalitet. Vi presenterar tvångsföröknings- och analystekniker för att avgöra tillfredsställelsen av påtvingade begränsningar genom ett visst systemgenomförande. I motsats till tidigare rent analytiska metoder på begränsade modeller eller statistiska resultatuppskattningar baserade på data från drifttid, presenterar vi en statisk analys i närvaro av villkor och loopar med hjälp av designer assist. De begränsande analysalgoritmer som presenteras här har implementerats i ett mystiksystem, VULCAN, som gör det möjligt för den inbyggda systemdesignern att interaktivt utvärdera effekten av prestandabegränsningar på maskinvaruimplementering kompromisser för en viss funktionalitet. Vi presenterar exempel för att visa tillämpningen och nyttan av de föreslagna teknikerna. Index Terms-Constraint analys, begränsning tillfredsställande, inbyggda system, interaktiv analys, hastighetsbegränsningar, relativa hastigheter, timing analys.
Drift fördröjning begränsning analys tekniker för att säkerställa prestanda garantier för en given hårdvara-programvara genomförande presenteras av Gupta och Micheli REF.
Specification and analysis of timing constraints for embedded systems
{'venue': 'IEEE Trans. on CAD of Integrated Circuits and Systems', 'journal': None, 'mag_field_of_study': ['Computer Science']}