Verification of system coherency at early architecture design stage
Résumé
This paper intends to demonstrate the feasibility of performing non-functional coherence verification of software radio architecture specifications and application requirements with UML based models, before beginning any development phase. Right at the UML modeling step, it will be possible to investigate the array of potential solutions enabling selection of some by verification of the coherency. This approach will enable design cost saving by drastic reduction of time and minimization of the number of prototypes. Moreover, it will enable impact analysis of software or hardware architectural modifications with regards to the system functional and non-functional requirements. The modeling of software radio application and execution platform is presented using UML activity and deployment diagrams. The mapping of software components on hardware components is also specified with these diagrams. The attributes required to perform nonfunctional verifications are highlighted. Finally coherence and performance constraints to be verified in order the meet quality of service for software radio application are presented.