Abstract:
Teza de doctorat prezintă un proces complet de testare si validare pentru aplicatii ale sistemelor cyber fizice. O astfel de abordare vine in sprijinul dezvoltatorilor de aplicaţii pentru astfel de sisteme.
Lucrarea demonstrează utilitatea unei astfel de abordări la nivel de validare prin studii de caz ce discută aplicații ale sistemelor cyber fizice din diverse domenii de activitate, cu nivel diferit de dificultate la nivel de cerințe de aplicație si de diferite dimensiuni.
