Desfasurarea laboratorului

                                                     

           Lucrari de laborator :

 

1. Specificarea formala a sistemelor cu procese secventiale comunicante (I). Descrierea limbajului Estelle (lucrarea 1)

2. Specificarea formala a sistemelor cu procese secventiale comunicante (II). Specificarea formala , in Estelle, a unui alocator de resurse (lucrarea 2)

3. Sistemul de operare de timp real mCOS ( Micro Controler Operating System) (lucrarea 3)

4. Metode de planificare a proceselor in timp real. Exemplificare cu programul QNET (lucrarea 4)

5. Planificarea executiei proceselor in sistemele multiproces cu comanda programata. Exemplificarea metodei de planificare cu diviziune neuniforma in timp. Influenta primitivelor sistemului de operare asupra planificarii (lucrarea 5)

6. Realizarea unui sistem cu comanda programata. Exemplu (lucrarea 6)

7. Realizarea unui sistem de timp real cu microcontroler AVR (lucrarea 7) ( fisierul hex)

Arhiva lucrarilor de laborator (lucrarile 1-6)

Arhiva lucrarilor de laborator ( lucrarile 1-7)