Visual modeling of cyber physical systems

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.