The Tagged Signal Model Pavol Drag Tagged signal

The Tagged Signal Model Pavol Dragúň

Tagged signal model o meta-model o porovnávanie výpočtových modelov o štúdium výpočtových modelov

Signály, udalosti, procesy o o o udalosť T x V signál T x V proces P s n signálmi je podmnožina Sn, pre nejaké n kompozícia je prienikom správaní procesov M – procesov Q= n Ì P , kde P S i Ii 1£i £ M

Vlastnosti TSM o hierarchizovateľnosť o modelovanie času

Tag systémy o otázka synchronizácie, determinizmu a pod. o štruktúra tag o porovnanie výpočtových modelov

Tag o o o reprezentácia času v skutočnom systéme problém konzistentného pohľadu na čas v podsystémoch veľkého systému zabezpečenie usporiadania udalostí

Relácie usporiadania o relácia : § reflexívna t t § tranzitívna ak t t` a t` t``, tak t t`` § antisymetrická ak t t` a t ` t, tak platí t = t` pre ľubovoľné t, t``

Relácia usporiadania o relácia < : § nereflexívna § tranzitívna § antisymetrická

Usporiadané množiny o o čiastočne usporiadaná: ak existujú t, t` z T a neplatí t < t` ani t` < t úplne usporiadaná: ak existujú t, t` z T a platí t < t` alebo t` < t

Timed Mo. C o o o úplné usporiadanie množiny T tag – časová značka Príklady: o o Systémy s metrickým časom Systémy s kontinuálnym časom Discrete-event Sekvenčné systémy

Metrický čas o operácie nad tagmi o +: T × T T definovaný prvok 0 t + 0 = t t + (-t) = 0 o

Metrika o o metrika – funkcia d: T × T R vlastnosti: n n o d(t, t`) = d(t`, t) d(t, t`) = 0 t = t` d(t, t`) 0 d(t, t`) + d(t`, t``) d(t, t``) Príklad: d(t, t`) = |t – t`|

Untimed Mo. C o o o čiastočne usporiadaná množina T usporiadanie tagov vyjadruje kauzalitu, alebo synchronizáciu Príklady: o o o Petri nets, Kahn process network, Data. Flow.

Synchronizácia o o o dve udalosti sú synchrónne, ak majú rovnaký tag dva signály sú synchrónne, ak každá udalosť v signáli je synchrónna s udalosťou v druhom signáli a opačne systém je synchrónny, ak každý signál v systéme je synchrónny s každým iným signálom v systéme

Literatúra o o o Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, “Models of Computation for Embedded System Design”, Ahmed A. Jerraya and Jean Mermet eds. : System Level Synthesis, Kluwer 1999. Edward Lee, Alberto Sangiovanni-Vincentelli, “A detonational framework for Comparing Models of Computation”, IEEE Transactions on CAD, V 17, No 12, 1998 Stephen Edwards, Luciano Lavagno, Edward Lee, Alberto Sangiovanni-Vincentelli, “Design of Embedded Systems: Formal Models, Validation, Synthesis”, Proceedings of the IEEE, Vol 85, No 3, 1997.

Ďakujem