3. Proiectarea protocoalelor. Modele de specificare, modelarea, verificarea functionala si evaluarea performantelor.

Protocol ansamblu de reguli proceduri si functii ce asigura transmiterea mesajelor in retea. Problema proiectarii corecte si optime a protocolului devine esentiala, dearece un protocol trebuie sa fie destul de complexe, iar comportarea lor trebuie sa prevada toate situatiile neprevazute si erorile ce pot aparea. Problemele ce stau in fata proiectantului sunt urmatoarele : sa minimizeze numarul de reguli ce guverneaza protocolul - sa asigure o rapida implementare si o completa testare - specificarea (descrierea) functionala a protocolului. Metode de specificare : - informala este o metoda universala, dezavantaj. apar ambiguitati(neintelegeri). - Formala exprimata prin automata finite, logica temporala, metodele axiomatice sau algebrice. - Modele orientate pe stare, etele Petri Modelarea si verificarea protocoalelor, evaluarea performantelor, toate aceste activitati este de dorit ca sa fie efectuate cu ajutorul unor produse soft cit mai performante, ca de exemp. Proiectarea asistate de calculator(!"# tools), in final acestea trebuie integrate intr$o statie de lucru pentru ingeneria protocoalelor. Pe linga toate aceste proiectantul va tine cont de urmatorele etape : va valida si verifica functionalitatea protocolului eventula prin sinteza, va face estimari despre cum va functiona, va fi compliat direct din specificatii formale si in final sa testeze implementarea pentru a se asigura ca este conform specificatiilor si indepleneste anumite cerinte de performanta. Proiectarea protocolului HDLC : %. &pecificarea, se determina nivelul de detaliere(multimea de primitive), pentu fiecare primitiva de serviciu se va determina multimea de atribute. '. Modelarea, pentru fiecare primitiva vom construi expresia descriptiva. (. #eterminarea atributelor de performanta, se vor determina duratele. #iagrama de timp reesind din specificatii. ). !onstruirea modelului protocol in forma de retea Petri.