2 Project IST-2001-38314 COLUMBUS Design of Embedded Controllers for Safety Critical Systems WPPBD: Platform Based Design Platform Based Approach with Constraints and Export Mechanism A. Balluchi, M. D. Di Benedetto, A. Ferrari, G. Girasole, F. Graziosi, F. Parasiliti, R. Petrella, A. Sangiovanni-Vincentelli 1 , F. Santucci, M. Sgroi, M. Tursini, R. Alesii, S. Tennina March 19, 2004 Version: 0.3 Task number: