1. Prelucrarea imaginilor din traficul vehiculelor si transmiterea lor
la un sistem de monitorizare.
Se iau imagini din trafic, se reduc imaginile la elementele
semnificative si se transmit acestea la distanta la un sistem de
monitorizare.
2. Program generativ pentru simulatoare de trafic feroviar.
Se descriu specificatiile structurii prin intermediul limbajului
XML. Se definesc elementele constitutive ale unor simulatoare de acest tip.
Se genereaza un cod sursa Java care compilat duce la un program Java ce
îndeplineste cerintele.
3. Simulator - analizor de masini de stare extinse.
Se realizeaza (proiectare si construire) o aplicatie prin care
se pot edita diverse masini de stare extinse care descriu aplicatii
concurente. Prin simulare si analiza se evalueaza comportamentul sistemului.
4. Simulator - analizor de retele Petri temporizate
Se proiecteaza si construieste un program capabil sa editeze
diverse retele Petri cu tranzitiile temporizate (prin intervale). Programul
poate simula sau/si analiza comportamentul retelei.
5. Analizor de timp-real pentru programe sursa Java
Se construieste o aplicatie care primeste la intrare un program
sursa Java împreuna cu cerintele temporale. Prin analiza si/sau simulare
determina daca programul respectiv îndeplineste cerintele
6. Controlul unei linii flexibile de acoperiri galvanice
Se considera o linie compusa din unul sau doi roboti mobili pe o
axa si un set de resurse. Robotii trebuie sa realizeze prelucrarea unor
containere cu piese respectând anumite cerinte tehnologice. Aplicatia
implica proiectarea structurii, planificare, implementare de timp-real,
verificarea îndeplinirii cerintelor temporale.
7. Sistem multiagent pentru controlul traficului de la calea ferata.
Se considera un sistem distribuit de control al unei cai ferate.
Circulatia trenurilor trebuie controlata în situatia în care exista un
sistem de agenti ficsi în gari si agenti pe unele dintre trenuri.
8. Sistem multiagent pentru controlul traficului vehiculelor
Se considera o anumita structura a traficului urban al
vehiculelor. În unele intersectii exista agenti care trebuie sa controleze
circulatia vehiculelor folosind informatii de la vecinii lor.
9. Controlul traficului unui sistem de transport subteran (retea de
metrouri).
Se construieste o aplicatie care simuleaza o anumita structura a
unei retele de metrouri. Se simuleaza si controleaza traficul garniturilor.
10. Program generativ pentru aplicatii de timp-real.
Se descriu specificatiile caracteristice aplicatiilor de
timp-real prin intermediul limbajului XML. Se descriu elementele
constitutive ale unor astfel de aplicatii. Se genereaza un cod sursa Java
care compilat duce la un program Java ce îndeplineste cerintele.
11. Sistem de monitorizare, control si consultare pentru traficul aerian.
Se descriu specificatiile unui astfel de sistem. Se realizeaza o
aplicatie care primeste datele structurii urmând sa simuleze comportamentul
sistemului interactionând cu utilizatorul.