Validating requirements at model-level
Olivier Gilles, Jérôme Hugues · 2008
ABSTRACT. Designing an embedded real-time system is a complex process, which involves mod-eling, verification, validation of system requirements. In this paper, we present how to integrate a Domain Specific Language to the AADL — REAL — to perform requirements definition and their validation of complete systems at model level. We also present how to use REAL to check models in an efficient manner, and give some examples of requirements that should be enforced. We conclude by presenting the process in which it can be used with a code generator in order to get requirement-compliant source code for the targeted application. RÉSUMÉ. Concevoir un système embarqué temps-réel est un processus complexe, qui implique des phases de modélisation, de vérification, et de validation des besoins d’une application. Dans cet article nous présentons comment intégrer un “Domain Specific Language ” à AADL, pour définir des contraintes et les valider sur des systèmes complets, au niveau du modèle. Nous présentons également comment utiliser REAL pour vérifier les modèles de manière efficace, et donnons quelques exemples de contraintes qui devraient être vérifiées dans un modèle temps-réel. Nous concluons en présentant la processus dans lequel il peut être utilisé avec un généra-teur de code pour obtenir un code source respectant les contraintes définies pour l’application cible.