Formal Verification of Transportation Cyber Physical Systems

Download Now Free registration required

Executive Summary

Transportation cyber physical systems are now being designed using computer-aided control system design tools, such as Matlab. Analysis is currently supported only in the form of simulation. To increase confidence in the safety and reliability of the designed system and that too in the limited development time available, it is imperative that a portfolio of new formal technologies be developed that can support the design, testing, and implementation of complex cyber physical systems. However, to deal with the complexity of transportation systems, these novel approaches for verification and composition should be tunable so that they can provide increased assurance with investment of more resources.

  • Format: PDF
  • Size: 54.67 KB