Abstract
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.
Original language | English |
---|---|
Title of host publication | ISIE '97, IEEE International Symposium on Industrial Electronics |
Publisher | IEEE Press |
Pages | 170-175 |
Volume | 2 |
ISBN (Print) | 0-7803-3334-9 |
DOIs | |
Publication status | Published - 1997 |
Event | 1997 IEEE International Symposium on Industrial Electronics, ISIE 1997 - Guinaraes, Portugal Duration: 7 Jul 1997 → 11 Jul 1997 |
Conference
Conference | 1997 IEEE International Symposium on Industrial Electronics, ISIE 1997 |
---|---|
Country/Territory | Portugal |
City | Guinaraes |
Period | 7/07/97 → 11/07/97 |