360 likes | 534 Views
Contribuţii la specificarea, proiectarea ş i implementarea sistemelor distribuite de control bazate pe reţele industriale de comunicaţii Teză de doctorat. Doctorand: Sebestyen Pal Gheorghe Conducător ştiinţific: prof. Dr. ing. Pusztai Kálmán 2003. Obiectivele tezei.
E N D
Contribuţii la specificarea, proiectarea şi implementarea sistemelor distribuite de control bazate pe reţele industriale de comunicaţiiTeză de doctorat Doctorand: Sebestyen Pal Gheorghe Conducător ştiinţific: prof. Dr. ing. Pusztai Kálmán 2003
Obiectivele tezei • tratarea diferitelor aspecte teoretice şi practice ce privesc comunicaţia în sistemele distribuite de control: • analiza caracteristicilor funcţionale şi de performanţă ale mijloacelor de comunicaţie utilizate în sistemele distribuite de control • elaborarea unei metodologii de proiectare a interfeţelor pentru reţele industriale de comunicatii • modelarea şi simularea protocoalelor industriale de comunicaţii • evaluarea timpului de răspuns întru-un sistem distribuit de control • elaborarea unui nou model de sistem distribuit de control
Scopul - demonstrarea următorului enunţ: “ Conceperea şi implementarea sistemelor distribuite de control necesită modele, tehnici şi mijloace proprii de comunicaţie, adaptate cerinţelor şi restricţiilor ce decurg din natura specifică a aplicaţiilor de control. “
Cuprins 1. Introducere - motivaţii, obiective 2. Utilizarea tehnicii de calcul şi a mijloacelor digitale de comunicaţie în implementarea aplicaţiilor de control 3. Model de implementare a unei interfeţe pentru o reţea industrială 4. Modelarea şi simularea reţelelor industriale de comunicaţie prin Reţele Petri Temporale 5. Planificarea dinamică a taskurilor în sistemele distribuite de control 6. Implementarea sistemelor de control prin servicii distribuite 7. Concluzii
Nivel superior de control Vizualizare şi configurare Operator Coordonare şi configurare Sistem de control Date de intrare Comenzi Energie şi mat. prime Energie şi produse Proces controlat Perturbaţii Condiţii de mediu Controlul proceselor prin calculator Figura 2.1 Schema de principiu a unui sistem de control
Mijloace de comunicaţie în sistemele de control • ce a fost si ce se vrea
Cerinţe specifice de comunicaţie în sistemele de control Fiabilitate& Toleranţă la defecte Garanţii de timp-real Fluxuri de date specifice Determinism& Predictibilitate Interoperabilitate si scalabilitate Viteză de reacţie Simplitate Protocol de comunicaţie
Caracteristici de performanţă Volum de date Timp de raspuns 1-10 koct. 10-20 100ms-1s Magistrale celulare 10-256 oct. 10-100 10-100 ms Magistrale de teren biti 100-1000 1-10ms Magistrale pt. senzori si elemente de actionare Numar de noduri
Concluzii analizei: • sunt necesare: • tehnici speciale de proiectare a interfeţelor de reţele industriale • metode specifice de demonstrare a funcţionării corecte a infrastructurii de comunicaţie • metode noi de evaluare a timpului de răspuns într-un mediu distribuit • modele distribuite de implementare a sistemelor de control
Implementarea unei interfeţe pentru o reţea de tip ASi • Caracteristici: • reţea de pentru senzori şi elemente de acţionare • restricţii severe de timp (10-20 μs) • mecanism complex de identificare şi reconfigurare automată a reţelei • secvenţe concurente pentru: • transferul periodic de date • administrarea reţea • detecţia şi configurarea componentelor • detecţia defectelor şi mascarea lor
Aplicaţia de control Interfaţa utilizator Nivelul 3 Calculator gazdă Funcţii de acces la reţea Interfaţa utilizator Memorie tampon Bucla principală de control Procesare comenzi Rutine de întrerupere Nivelul 2 Controlor de Controlul accesului la reţea Ceas de timp-real comunicaţie Controlul accesului Transmisie/ Recepţie Controlor de Driver de comunicaţie Nivelul 1 reţea Circuit adaptor Transmisie/recepţie mesaj Reţea industrială Model arhitectural - Interfaţă de reţea industrială
Implementarea unei interfeţe pentru o reţea de tip ASi (continuare) • Consideraţii de implementare: • tehnici speciale de execuţie în timp-real: • execuţia în paralel a funcţiilor de comunicaţie • modelul automatului de stare • execuţie foreground-background • priorităţi reconfigurabile • alte observaţii: • implementarea a permis validarea modelului arhitectural propus • interfaţa a fost realizată în colaborare cu un colectiv de la Universitatea din Munchen
Modelarea şi simularea protocoalelor industriale cu Reţele Petri Temporale • Scopul: • demonstrarea funcţionării corecte a unei reţele • studierea comportamentului în timp al unor protocoale • determinarea unor situaţii de funcţionare defectuoasă: • depăşirea unor limite de timp • blocaje în transmisia datelor • utilizarea Reţelelor Petri Temporale (RPT): • formalism simplu, intuitiv, • potrivit pentru reprezentarea concurenţei • .... există limitări
Propunere - Model extins de Reţele Petri Temporale • Componente noi: • arce condiţie şi non-condiţie • tranziţii cu componentă de timp: • tranziţii cu timp de execuţie • tranziţii cu timp de validare • tranziţii reanclanşabile şi ne-reanclanşabile • Reguli noi de execuţie a modelului • descriu comportamentul noilor componente introduse
Modelarea unor protocoale industriale: Profibus, CAN, TDMA(MARS) • Ce s-au modelat: • diferite mecanisme de control al accesului la reţea (token-bus, CSMA/BA, TDMA) • configuraţii diferite de încărcare a reţelei (mesaje periodice şi aleatoare) • restricţii de timp (timp maxim de transmisie, timp de circulaţie a dreptului de acces, etc.)
Concluzii privind utilizarea modelului RPT extins • formalismul RPT extins permite: • modelarea şi simularea principalele caracteristici funcţionale ale unui protocol industrial • determinarea unor situaţii limită în care restricţiile impuse nu sunt satisfăcute sau a situaţiilor de blocare a reţelei • există anumite limitări privind exprimarea unor condiţii complexe de anclanşare a tranzacţiilor • aplicaţia “Analizor” • instrument versatil, utilizabil şi pentru modelarea altor fenomene specifice sistemelor de timp-real şi distribuite
Planificarea în sistemele distribuite de timp-real • S-au studiat: • modele computaţionale de planificare • diferite ipoteze simplificatoare • timp discret, preemptibilitate, restricţii • algoritmi de planificare în sistemele uniprocesor: • s-a generat o taxonomie pentru clasificarea algoritmilor • algoritmi de planificare în sistemele multiprocesor • metode de evaluare analitică a timpului de răspuns
Evaluarea analitică a timpului de răspuns într-un sistem de timp-real distribuit • timpul de răspuns al unui taskului “i” ri = Ji +wi = Ji + Ci + Bi+((Jj+wi)/Tj * Cj) • timpul de răspuns al mesajului “m” rm = wm + Xm = (Pm+Im)/Sp * TTDMA + ((Pm +Im(wm)) – (s-1)*Sp)* R1 (m+1) = RM( J1(m)) J1(m+1) = 1(Rret(m+1)) R2 (m+1) = RM( J2(m)) J2(m+1) = 2(Rret(m+1)) …….. Rn (m+1) = RM( Jn(m)) Jn(m+1) = n(Rret(m+1)) Rret(m+1) = TDMA(Jret(m)) Jret(m+1) = ret(R1(m+1), R2(m+1),…Rn(m+1))
Metodă originală de planificare bazată pe analiza timpului de răspuns global • Evaluarea timpului de răspuns global: • metodă analitică iterativă • se ia în calcul influenţa reciprocă dintre planificarea taskurilor şi a mesajelor • elementul cheie – timpul de întârziere la lansare • Scopul urmărit: • alocarea uniformă a sarcinilor astfel încât să se respecte restricţiile de timp impuse
Modelul computaţional • set de dispozitive de control conectate în reţea • funcţiile de control sunt modelate prin tranzacţii (secvenţe de acţiuni şi mesaje) • fiecare dispozitiv poate executa un set predefinit de acţiuni • acţiunile sunt planificate pe bazaalgoritmului RM • planificarea mesajelor se face pe baza algoritmului TDMA a1 a4 a3 a9 a2 a5 a7 a6 a8
Prototip de sistem distribuit de control bazat pe alocarea dinamică a sarcinilor • Structura: • o aplicaţie coordonator + executive locale • Funcţiile îndeplinite: • identificarea configuraţiei de sistem: • dispozitive conectate în reţea • setul de acţiuni acceptat de fiecare dispozitiv • coeficientul de performanţă şi gradul de încărcare a dispozitivelor • încărcarea graduală şi uniformă a dispozitivelor conform planului de tranzacţii active • detecţia defectelor şi realocarea sarcinilor cu respectarea restricţiilor de timp
Avantajele soluţiei propuse: • ia în considerare efectul reciproc dintre planificarea taskurilor şi a mesajelor • garantează respectarea restricţiilor globale de timp • favorizează execuţia periodică a funcţiilor de control • asigură scalabilitatea sistemului • toleranţă la defecte
Sistem de control bazat pe servicii distribuite • Scopul urmărit: • simplificarea procesului de proiectare a unor sisteme complexe de control prin utilizarea unor servicii distribuite • Metoda propusă: • definirea şi implementarea unor funcţii generice de comunicaţie specifice pentru aplicaţiile de control • funcţiile de comunicaţie implementate prin servicii distribuite
Modelul arhitectural Aplicaţia de control Componente pt. interfaţa utilizator Serviciul de configurare Gestiunea evenimentelor Serviciul de planificare Gestiunea resurselor Serviciul de timp Serviciul de replicare Interfaţa de reţea (nivelele 1-4) Figura 6.2 Structura ierarhică a serviciilor de control la nivelul unui nod de reţea
Nod de retea Nod “proxi” Nod de retea Aplicaţie Aplicaţie Aplicaţie Serviciu Serviciu Serviciu Alte servicii Alte servicii Alte servicii Interfaţa de reţea Interfaţa de reţea Interfaţa de reţea Interfaţa de reţea Interfaţa de reţea Interfaţa de reţea Executiv Executiv Executiv Aplicaţie Aplicaţie Aplicaţie Modelul arhitectural ........ .... Noduri cu resurse limitate
Consideraţii de implementare • Model implementat în cadrul proiectului NetControl (Program InfoSoc) • Avantaje oferite: • acces uniform şi transparent la resursele distribuite ale sistemului • scalabilitate, reconfigurabilitate • fiabilitate şi toleranţă la defecte • grad ridicat de abstractizare • servicii generice utile (timp, managementul evenimentelor, gestiunea resurselor
Concluzii finale • Contribuţii teoretice originale • identificarea, analiza şi catalogarea cerinţelor funcţionale şi a restricţiilor impuse mediilor de comunicaţie utilizate în aplicaţiile de control • model generic multinivel de implementare a unei interfeţe de reţea industrială • metodă de modelare şi simulare a protocoalelor industriale de comunicaţii prin extinderea formalismului Reţelelor Petri Temporale • analiză comparativă a algoritmilor de planificare utilizaţi în sistemele de timp-real
Concluzii finale • Contribuţii teoretice originale(continuare) • metodă originală de alocare dinamică a sarcinilor într-un sistem distribuit de control • model de implementare a aplicaţiilor distribuite de control printr-un set de servicii distribuite • metodă de sincronizare a ceasurilor locale, adaptată aplicaţiilor de control • Contribuţii practice (implementări) • interfaţă de tip Master pentru o reţea ASi • analizor de reţea • prototip de sistem distribuit de control bazat pe tranzacţii • NetControl – set de servicii distribuite de control
Reflectarea rezultatelor obţinute • Contracte de cercetare: • NetControl – Program InfoSoc • Interfaţă ASi Master – Contract Univ. Munchen • Managementul reţelelor universitare şi industriale – Contract MEN-CNSIS • Tehnici şi tehnologii noi în ştiinţa calculatoarelor – Contract Banca Mondială • Articole ştiinţifice: • 21 articole • Curs: • Informatică industrială
Cercetări viitoare şi posibile dezvoltări • integrarea rezultatelor prezentate într-un singur model general • noi tehnici de evaluare a comportamentului în timp al sistemelor distribuite de control • extinderea facilităţilor oferite de instrumentele dezvoltate în cadrul tezei şi utilizarea acestora şi în alte domenii (ex. comunicaţii multimedia) • ..........
Mulţumesc pentru atenţia acordată • Întrebări ?