Cross-Level Joint Simulation and Verification of Automatic Transmission Control on Embedded Processors
AbstractThis study proposes a method for developing cyber-physical systems that starts from a high-level representation of the control algorithm, performs formal analysis of the algorithm, and conducts joint simulation of the algorithm with the controlled system at both high-level (abstracting the target processor) and low-level (including simulation of the target processor). The expected advantages are … Read more