Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles

Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles

Show other versions (1)

Au niveau système, un ensemble d'experts spécifient des propriétés fonctionnelles et non fonctionnelles en utilisant chacun leurs propres modèles théoriques, outils et environnements. Chacun essaye d'utiliser les formalismes les plus adéquats en fonction des propriétés à vérifier. Cependan...

Full description

Bibliographic Details
Main Author:	Gómez Cárdenas, Carlos Ernesto
Language:	ENG
Published:	Université Nice Sophia Antipolis 2013
Subjects:	[INFO:INFO_ES] Computer Science/Embedded Systems [INFO:INFO_ES] Informatique/Systèmes embarqués Multi-vue IEEE-42010 IDM UML MARTE SysM CCSL MoC Modèles hétérogènes Consommation de puissance
Online Access:	http://tel.archives-ouvertes.fr/tel-00931001 http://tel.archives-ouvertes.fr/docs/00/97/46/16/PDF/2013NICE4153.pdf

Similar Items

Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles
by: Gómez Cárdenas, Carlos Ernesto
Published: (2013)

Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée
by: Lauer, Michaël
Published: (2012)

Aide à l'Analyse de Traces d'Exécution dans le Contexte des Microcontrôleurs
by: Amiar, Azzeddine
Published: (2013)

Navigation visuelle pour l'atterrissage planétaire de précision indépendante du relief
by: Delaune, J.
Published: (2013)

Certification of an Instruction Set Simulator
by: Shi, Xiaomu
Published: (2013)

Une approche système pour l'estimation de la consommation de puissance des plateformes MPSoC
by: Kumar Rethinagiri, Santhosh
Published: (2013)

Étude et génération de formes d'ondes ad hoc pour les communications. Une approche algébrique pour l'étude de l'efficacité spectrale et la réduction du PAPR dans TDCS
by: Fumat, Guillaume
Published: (2011)

Architecture sécurisée pour les systèmes d'information des avions du futur
by: Lastera, Maxime
Published: (2012)

Méthodes optimisant l'analyse des cryptoprocesseurs sur les canaux cachés
by: Souissi, Youssef
Published: (2011)

Modélisation polychrone et évaluation de systèmes temps réel
by: Gamatié, Abdoulaye
Published: (2004)

Cooperative people detection and tracking strategies with a mobile robot and wall mounted cameras
by: Mekonnen, Alhayat Ali
Published: (2014)

Analyse probabiliste des systèmes temps réel
by: Maxim, Dorin
Published: (2013)

Conception basée sur les modèles pour les systèmes sur puce : utilisation et extension de Marte et IP-XACT
by: Mehmood Khan, Aamir
Published: (2010)

Un environnement pour le calcul intensif pain à pain
by: Nguyen, The Tung
Published: (2011)

Protection des architectures hétérogènes multiprocesseurs dans les systèmes embarqués : Une approche décentralisée basée sur des pare-feux matériels
by: Cotret, Pascal
Published: (2012)

Architecture de gestion et de contrôle des ressources pour les applications multimédia dans le réseau local domestique
by: Louvel, Maxime
Published: (2011)

Réseaux de Communication et Applications de Contrôle-Commande
by: Nguyen, Xuan Hung
Published: (2011)

Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système
by: Guillerm, Romaric
Published: (2011)

Interaction décisionnelle Homme-Robot : planification de tâche pour un robot interactif en environnement humain
by: Alili, Samir
Published: (2011)

Temps Logique pour l'ingénierie dirigée par le modèles
by: Mallet, Frédéric
Published: (2010)

Contribution à la robustesse des systèmes temps réel embarqués multicœur automobile
by: Cotard, Sylvain
Published: (2013)

Ordonnancement temps-réel des graphes flots de données
by: Bouakaz, Adnan
Published: (2013)

Cryptographie à base de courbes elliptiques et sécurité de composants embarqués
by: Verneuil, Vincent
Published: (2012)

SECURITY AND SELF-HEALABILITY ENFORCEMENT OF DYNAMIC COMPONENTS IN A SERVICE-ORIENTED SYSTEM
by: Dan, Yufang
Published: (2014)

Analyses sécuritaires de code de carte à puce sous attaques physiques simulées
by: Kauffmann-Tourkestansky, Xavier
Published: (2012)

Analyse de diagnosticabilité d'architecture de fonctions embarquées - Application aux architectures automobiles
by: Khlif, Manel
Published: (2010)

Controlling execution time variability using COTS for Safety-critical systems
by: Bin, Jingyi
Published: (2014)

High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip
by: An, Xin
Published: (2013)

Répartition modulaire de programmes synchrones
by: Delaval, Gwenaël
Published: (2008)

CONTRIBUTION A LA SPÉCIFICATION DES SYSTÈMES TEMPS RÉELS : L'APPROCHE UML/PNO
by: Delatour, Jérôme
Published: (2003)

Analyse statique par interprétation abstraite de programmes concurrents
by: Miné, Antoine
Published: (2013)

Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur
by: Bodin, Bruno
Published: (2013)

Extraction de modèles pour la conception de systèmes sur puce
by: Le Tallec, Jean-François
Published: (2012)

Une approche système pour l'estimation de la consommation de puissance des plateformes MPSoC
by: Rethinagiri, Santhosh Kumar
Published: (2013)

A novel approach based on segmentation for securing medical image processing over cloud
by: Mbarek Marwan, et al.
Published: (2018-01-01)

Causal reasoning and symbolic relationships in Medieval Illuminations Raisonnement causale et relations symboliques dans les Enluminures médiévales
by: Djibril Diarra, et al.
Published: (2019-07-01)

Exécution d'applications stockées dans la mémoire non-adressable d'une carte à puce
by: Cogniaux, Geoffroy
Published: (2012)

Capteur de stéréovision hybride pour la navigation des drones
by: Damien, Eynard
Published: (2011)

Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation
by: Trabelsi, Chiraz
Published: (2013)

Vérification Formelle d'un Compilateur Synchrone: de Signal vers C
by: Ngo, Van Chan
Published: (2014)

Cannot write session to /tmp/vufind_sessions/sess_dbr06oc6je7gcjncfle4dvh841