Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification

Aamir Mehmood Khan 1 Frédéric Mallet 2 Muhammad Rashid 3
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Résumé : Pour vérifier des systèmes embarqués tôt dans le cycle de conception, il est nécessaire de disposerde langages d'exigences aussi proche que possible de l'expression des besoins en langage naturel. Ce papier s'inscrit dans l'initiative FSL (Formal Specification Level) et propose un langage graphique, s'appuyant sur UML pour décrire des exigences formelles basées sur un ensemble de patrons temporels. Il réutilise très largement des constructions UML et MARTE et s'appuie sur la sémantique du langage CCSL pour éliminer les ambiguïtés dans les spécifications, exécuterles modèles et permettre la vérification de ces modèles au niveau système.
Type de document :
Rapport
[Research Report] RR-8909, I3S; INRIA. 2016
Liste complète des métadonnées

Littérature citée [41 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01309604
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 20 mai 2016 - 14:54:58
Dernière modification le : vendredi 16 septembre 2016 - 15:08:13
Document(s) archivé(s) le : dimanche 21 août 2016 - 10:25:58

Fichier

rr8909.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01309604, version 2

Collections

Citation

Aamir Mehmood Khan, Frédéric Mallet, Muhammad Rashid. Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification. [Research Report] RR-8909, I3S; INRIA. 2016. 〈hal-01309604v2〉

Partager

Métriques

Consultations de
la notice

200

Téléchargements du document

394