16.03.14 - 21.03.14, Seminar 14122

Verification of Cyber-Physical Systems

Diese Seminarbeschreibung wurde vor dem Seminar auf unseren Webseiten veröffentlicht und bei der Einladung zum Seminar verwendet.

Motivation

The drastic reduction in the cost of sensing, actuating, computing and communication technology has enabled the proliferation of a new genre of engineered systems referred to as Cyber-Physical Systems, in which a network of embedded processors interacts closely with the physical world to achieve complex functionalities. Cyber-physical systems (CPS) are the systems of the future and are present in a wide range of applications in infrastructure, transportation, energy, health care, manufacturing, military, robotics and many others. A grand challenge is the development of a platform for building high-confidence CPS.

Model-based development has emerged as a de facto product development process in several domains, including automotive and aeronautics. The product development cycle starts with the mathematical modeling and analysis of the system, from which the code is generated either automatically or manually. This process has been successful in identifying bugs early in the design phase, thereby reducing development costs and time. Formal methods is an area of computer science that deals with mathematical methods for systems analysis. Our seminar will focus on the application of formal methods to CPS verification, mainly at the level of modeling, and will explore the connections of the same with implementation.

The convergence of computation, control and communication in CPS leads to networked hybrid system models, that is, networks of systems that exhibit mixed discrete-continuous behaviors. The seminar will bring together experts in the area of formal methods, hybrid control systems and real-time and embedded systems to foster discussion on topics including but not limited to:

  • Efficient and scalable techniques for verification of networked hybrid systems;
  • Unifying concepts from the discrete and continuous systems theory;
  • Bridging the gap between analysis at the model and implementation levels.

Tutorials, panels and break-out sessions will supplement our discussions to provide an overview of the state-of-the-art in the underlying areas and to identify specific problems and challenges.