Centre de documentation
scientifique

Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués / P. Dhaussy in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 133 - 157 Titre : Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Type de document : Article/Communication Auteurs : P. Dhaussy, Auteur ; F. Boniol, Auteur Année de publication : 2007 Article en page(s) : pp 133 - 157 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] architecture orientée modèle [Termes IGN] bibliothèque logicielle Mots-clés libres : Context Description Langage CDL Résumé : (Auteur) L'article présente la définition et l'exploitation d'un concept d'unité de preuve comme élément encapsulant les données nécessaires à la preuve de propriétés sur un modèle de système à vérifier et plongé dans un environnement. Les modèles des unités, manipulées dans le processus de développement, peuvent être construits sous la forme de modèles abstraits à partir des données fournies par les phases d'analyse et de conception du système. Ces modèles intègrent des contextes de preuve abstraits. Ceux-ci modélisent formellement une exigence (ou une composition d'exigences) de sûreté ou vivacité bornée dans un contexte comportemental donné. Dans une approche IDM, les contextes de preuve sont traduits par transformation en modèles concrets puis en codes exploitables par des outils d'analyse formelle. Nous expérimentons cette approche sur une implantation des unités de preuve intégrant une description des contextes de preuve dans un langage nommé CDL et exploités par un outil OBP (Observer-Based Prover) mettant en oeuvre le langage IF et une technique de vérification par observateur Numéro de notice : A2007-613 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28976 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-07051	RAB	Revue	Centre de documentation	En réserve L003	Disponible