ABSTRACT

The advancement of technology over the last few decades has led to the ubiquity of embedded systems in everyday lives. Traditional embedded system technology emphasizes the computational elements and how to design these elements to perform a certain task. Cyber-physical systems (CPS) are engineering systems that integrate computational, communication, and control elements with the physical dynamics of the system [38]. As the computational components in modern CPS increase in both

number and complexity, great challenges arise for their integration with the physical domain [34]. Consequently, rigorous engineering methods are needed for the integration of computational components with the physical system in order to achieve predictable, correct behavior. Designing these CPS requires the use of well-formulated software tools in order to simulate, analyze, and identify design flaws in the system before prototyping. Additionally, component-based design and modeling is desirable because it allows for scalability, substitutability, and reusability when modeling large-scale systems.