Interactive codesign for real-time embedded control systems

Design of a real-time embedded control system is a complicated task, and an experienced designer is the best expert to control the system-level design. The interactive codesign approach presented in this paper provides the designer with support for the functional specification and system partitioning phases. While adopting existing SA/VHDL specification and TripleS state reachability analysis methods and toolsets as front-end, a new method for supporting interactive system-level partitioning under various resource and performance constraints is proposed. The partitioning uses a zero-one integer linear programming model. Experiments with a CAN controller example show that the designer controlled partitioning provides detailed information for the system implementation design