A General Framework for Verification, Simulation and Implementation of Real-Time Control Algorithms

We have proposed, investigated, and implemented a general framework for the simulation, verication, and prototyping of control algorithms for intelligent vehicles and highways. The immediate use of such frame work will be in fault management project (MOU288). Prior to this project the protocols and control algorithms developed under MOU288 should have been manually verfied, translated to a simulation language for simulation, and then modified for the QNX real-time operating system for porting to the vehicle's computer. This manual translation process is error prone at every stage. Our framework performs the translations automatically, and therefore, removes the possibility of the translation errors.