Model-Driven Hybrid and Embedded Software for Automotive Applications

  title={Model-Driven Hybrid and Embedded Software for Automotive Applications},
  author={Anouck R. Girard and Adam S. Howell and J. Karl Hedrick}
— Complex large-scale embedded systems arise in many applications, in particular in the design of automotive systems, controllers and networking protocols. In this paper, we attempt to present a review of salient results in modeling of complex large scale embedded systems, including hybrid systems, and review existing results for composition, analysis, model checking, and verification of safety properties. We then present a library of vehicle models designed for cruise control (and CACC) that… CONTINUE READING