Abstract:
The PhD thesis presents a visual modeling
methodology for modeling Cyber Physical Systems. Such an
approach is useful for designers of Cyber Physical System
applications. The presented methodology uses a goal-oriented
approach for the specifications of applications of Cyber Physical
Systems and Model Driven Architecture approach, at design level.
The thesis proves the utility of such an approach at design level
by case studies which discuss applications for Cyber Physical
Systems from different domains of activity, with different
difficulty degree at specifications level and with different sizes.