Ellenőrző kérdések Simon Gyula előadásaihoz
Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót
Beágyazott rendszerek modellezése, Ptolemy
Hogyan kapcsolódik a tervezés, modellezés és a szimuláció? Mi a modellezés és szimuláció szerepe beágyazott rendszerek tervezése során?
A rendszer formális leírása (modellezés) után a tervezés során definiáljuk a rendszerkomponenseket majd a végrehajtható modellek futtatása következik (szimuláció).
Hasonlítsa össze a matematikai és a konstruktív modelleket!
Míg a matematikai modellekben a rendszerről állításokat fogalmazunk meg, a konstruktív modellek gerjesztés - válasz elvű, már végrehajtható modelleket tesznek az asztalra.
Mi a számítási modell? Miért van szükség különböző számítási modellekre?
Absztrakt szabályrendszer, mely a modellek viselkedését szabályozza: szemantika. Részfeladatokhoz társíthatjuk a számítási modelleket, ezáltal jobban közelíthetjük a működést.
Miért célszerű a különböző számítási modellek együttes használata? Adjon példát ezek használatára beágyazott rendszerek modellezésében!
Mindig olyan számítási modellt választunk, amely a részfeladathoz megfelelő. Például a fizikai rendszer és a beavatkozó logika modellezése.
Melyek a Ptolemy eszköz építőelemei? Mi ezek szerepe?
- =director= a modell szemantikája értelmezése
- =actor= végrehajtható elemek
- =port= kommunikációs kapuk (in/out)
- ? Kapcsolatok: kommunikációs csatornák
Melyik határozza meg a modell szemantikai értelmezését?
A =director=.
Hogyan valósul meg Ptolemy-ben a számítási modellek együttes használata?
???
Ismertesse a Ptolemy rendszer folytonos idejű rendszerek modellezésére használt jelfolyam gráf alapú számítási modelljét. Hogyan modellezik a valóságot, hogyan történik a szimuláció végrehajtása?
Jelfolyamgráfok absztrakt leírást biztosítanak, könnyebben kapcsolható más leírási formákhoz. a szimulációt numerikus algoritmusokkal, differencia egyenletekkel való közelítéssel hajtják végre.
Mutassa be a diszkrét esemény modellt, az ütemezési sorrendre helyezve a hangsúlyt! Miért használják ezt a számítási modellt előszeretettel a különböző szimulátorok végrehajtási logikájaként? Milyen szabályok vonatkoznak a köröket tartalmazó gráfok kialakítására?
Diszkrét eseményeket időbélyeggel ellátott token generálással kezeli, az események közös rendezett listába kerülnek és a vezérlő szerepe a léptetés, az időbélyegnek megfelelően. Egy ilyen iterációs lépés során minden esemény sorra kerül, aminek azonos az időbélyege.
Determinisztikus viselkedés könnyen modellezhető, ugyanakkor a párhuzamosítás foka alacsony.
Köröket tartalmazó gráfok esetén feltétlenül késleltetést kell beépíteni a rendszerbe.
Mik a szinkron adatfolyam gráfok fő sajátosságai? Hogyan történik a végrehajtás? Mik a token-megmaradási egyenletek?
A végrehajtó elemek tokeneket állítanak elő / fogyasztanak el. A végrehajtási sorrend előre definiált (topológia szerint), deadlock könnyen kimutatható.
Token megmaradási egyenlet : ?? Az iterációs lépés végén minden kapcsolatokon annyi token áll, amennyi a lépés végrehajtása előtt.
Hogyan épülnek fel az állapotautomaták, milyen tipikus felhasználási területei vannak? Mi a célja az idővezérelt rendszereknek, hogyan érik ezt el? Melyek a tipikus felhasználási területek?
Állapotok és a köztük futó állapotátmenetek alkotják. Az állapotváltás feltételei, hogy a a rendszer aktuális állapotából irányított átmenet fusson egy másik állapotba, a rajta lévő feltétel (guard-expression) teljesüljön és az elvégzendő művelet (action) végrehajtható legyen.
Idővezérelt rendszer esetén a végrehajtható elemeket nem a beérkező tokenek, hanem egy adott frekvenciával működő időzítő hajtja végre. Minden elemnek létezik egy "worst case execution time" paramétere, melynek segítségével az ütemező felismerheti a hibás működést. Real time rendszerek modellezésénél célszerű alkalmazni.
Melyek a kommunikáló folyamatok számítási modell főbb jellemzői? Hogyan működik a kommunikáció? Hogyan kezelhető a deadlock?
Külső kontroll nélkül futó folyamatok, egymás közt egyirányú kommunikácós csatornák futnak. Blokkoló =READ= és =WRITE= műveletek. Adatküldés atomi módon zajlik, melynek végeztével mindkét folyamat tovább fut. A deadlock csak futás időben ismerhető fel, minden folyamat blokkolódik.
Mik a folyamathálózatok főbb jellemzői? Hogyan működik a kommunikáció? Hogyan kezelhető a deadlock?
Aszinkron adatfolyam gráfok, a végrehajtható elemek FIFO bufferelt csatornán keresztül kommunikálnak, így a =WRITE= nem blokkolódik, egyedül az üres bufferen végzett =READ= blokkolódik. Deadlock felismerése szintén csak futási időben történhet.
Milyen számítási modell felhasználásával kaphatunk ún. heterogén rendszert? Miért fontos ez a modellosztály?
Tipikusan a beágyazott alkalmazásoknál használjuk ??
Mik a hibrid rendszerek? Mutasson be egy tipikus példát!
Más viselkedési módba képes átkapcsolni (átkonfigurálás). Véges automata modellben lehet kezelni az egyes működési módokat. Például ??
