Codisseny de sistemes concurrents heterogenis: hardware i aplicació

La proposta que es presenta és un projecte multidisciplinar que cobreix diverses àrees de la Informàtica (mètodes formals, codisseny hardware/software, concurrència, etc.) per a crear un entorn i metodologia de disseny de sistemes concurrents heterogenis. El projecte combina activitats d'investigació bàsica amb activitats d'aplicació a l'entorn industrial. Les tècniques proposades en el projecte seran integrades com a eines de disseny ja existents: POLIS (de Cadence European Labs) i petrify (eina universitària per a síntesi de circuits asíncrons actualment utilitzada per Intel, Philips Research, Cogency Technology i la Universitat de Manchester). POLIS serà utilitzat com a entorn de disseny en dues aplicacions d'àmbit industrial: un sistema de monitorització de la xarxa elèctrica (empresa AUROTRONICS) i un microsistema de control de rentadores (empresa FAGOR). A més dels resultats industrials, el projecte té com a objectius científics el crear un conjunt de tècniques de síntesi automàtica i verificació formal de sistemes concurrents utilitzant formalismes basats en xarxes de Petri. Es pretén que aquestes tècniques tinguin un impacte important en la investigació realitzada actualment sobre el tema. Les activitats del projecte estan directament relacionades amb tres grups ESPRIT en els que participa el grup investigador: COSY (COdesign, Simulation and sYnthesis), ACiD (Asynchronous Circuit Design) i "Library free IC Design for Submicron Technologies".