University of Vigo
Many emerging applications are deployed in harsh environments and must operate dependably, efficiently and in real-time. This paper makes it essential to develop robust system designs before deployment. Thus, there is a tremendous need for a complete design suite for deeply embedded cyber physical systems that will enable the designers to model these systems to the desired level of abstraction analyze the models and validate them. The main challenges involved in the design process are due to the complex interactions between communication, computing and the physical components in cyber physical systems.