Modeling languages for requirements engineering and quantitative analysis of embedded systems
Dominique Blouin · 2013
L’ingenierie dirigee par les modeles est une approche visant a maitriser la complexite croissante des systemes. Une phase critique de cette approche est l’ingenierie des exigences, qui vise a formuler correctement le probleme qui doit etre resolu par le systeme a developper. Une specification d’exigences doit etre couplee avec une specification de la conception du systeme qui represente une solution au probleme formule. Plusieurs langages de description d’architectures (ADL) ont ete proposes pour la modelisation des systemes et l’analyse de leurs proprietes non fonctionnelles (NFP). Cependant, certains de ces langages ne disposent pas de moyens de modelisation des domaines du probleme et de l’estimation des NFP. Pour resoudre ces problemes, cette these propose deux nouveaux langages pouvant etre combines a des ADL pour en combler ces lacunes. RDAL (Requirements Definition and Analysis Language) permet la modelisation, l’analyse et la verification des exigences d’un systeme, incluant des moyens de formalisation de bonnes pratiques de l’ingenierie des exigences. QAML (Quantitative Analysis Modeling Language) permet de representer des modeles d’analyse de NFP de maniere a pouvoir les integrer dans un modele d’un ADL donne. Ces modeles sont alors automatiquement interpretes pour fournir des estimations des NFP concernees, s’assurant ainsi de leur coherence avec le modele evolutif de conception. QAML est egalement utile pour la representation des fiches techniques des composants de maniere a faciliter l’integration des donnees dans le flot de conception. Ces deux langages ont ete valides a l’aide de modeles AADL demontrant leur capacite a detecter des erreurs de conception.