Méthodes à base de contraintes pour la vérification des systèmes logiciels–matériels
Document Actions
In the computer software industry, software verification generally accounts for more than 40-50% of the total development costs of any system. Similarly, functional verification of modern computer hardware consumes roughly 70% of the design effort. Embedded systems, featuring a close interaction of hardware and software, are pervasive nowadays. This research project focuses on the consequently important problem of verifying mixed software-hardware systems to ensure their reliability, efficiency, and safety. Out of the several existing valid approaches, a particular approach to verification is investigated—constraint programming—because it is becoming a technique of choice in the computer industry, especially for hardware verification. This project aims to develop a world-class expertise in the verification of mixed software-hardware systems and to bring innovation to the growing field of constraint-based testing. We will start by investigating hardware and software verification separately and then apply our findings to mixed systems. Given the number of companies in Montreal, Quebec city, and in the Gatineau area that are working on such systems, our expertise could bring an invaluable leverage to Quebec’s economy and knowledge.
