UML Framework for PIM and PSM Verification of SDR Systems
Résumé
The MDA concept was first introduced within the software community where it has shown its efficiency to deal with highly complex systems; however there is no equivalent in the embedded system domain where real time and power constraints have to be met. In order to fill the gap between UML specification of SDR systems and embedded platform, new formalisms and associated tools have to be defined. The A3S project addresses such a challenge which drastically leverages design productivity. A comprehensive framework that enables the specification of a SW application (PIM), an HW platform and an HW/SW deployment (PSM) has been defined and fully integrated. The A3S project relies on extensive verifications performed at three levels: component, application/platform, and deployment which enable fast prototyping of embedded systems. Designers have the ability to explore several potential deployments and to check if real time and power constraints can be met. A UMTS receiver/transmitter has been explored, implemented and tested in a few days which show the benefit of our approach to shrink design time.