Methodology for a model based timing analysis process for automotive systems.

Methodology for a model based timing analysis process for automotive systems.

Show other versions (1)

Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitées et plus de contraintes de temps et de safety. La vérification temporelle est effectuée très tard aujourd'hui au cours du processus de développement automobile (après l'implém...

Full description

Bibliographic Details
Main Author:	Rekik, Saoussen
Language:	fra
Published:	Université Paris Sud - Paris XI 2011
Subjects:	[INFO:INFO_OH] Computer Science/Other [INFO:INFO_OH] Informatique/Autre Application automobiles Développement dirigé par les modèles Analyse d'ordonnancement Analyse temporelle Langages de modélisation Outils d'analyse d'ordonnancement Processus d'analyse temporelle dirigé par les modèles
Online Access:	http://tel.archives-ouvertes.fr/tel-00647906 http://tel.archives-ouvertes.fr/docs/00/64/79/06/PDF/VA2_ANSSI_SAOUSSEN_09112011.pdf

Similar Items

Methodology for a Model-based Timing Analysis Process for Automotive Systems
by: Rekik, Saoussen
Published: (2011)

Environnements pour l'analyse expérimentale d'applications de calcul haute performance
by: Perarnau, Swann
Published: (2011)

Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel
by: Ouhammou, Yassine
Published: (2013)

Modélisation spatio-temporelle à base de modèles de Markov cachés pour la prévision des changements en imagerie satellitaire : cas de la végétation et de l'urbain
by: Essid, Houcine
Published: (2012)

Étalonnage des robots à câbles : identification et qualification
by: Alexandre Dit Sandretto, Julien
Published: (2013)

Calibration par programmation linéaire et reconstruction spatio-temporelle à partir de réseaux d'images
by: Courchay, Jérôme
Published: (2011)

Propriétés de jeux multi-agents
by: Da Costa Lopes, Arnaud
Published: (2011)

Modélisation d'événements composites répétitifs, propriétés et relations temporelles
by: Faucher, Cyril, et al.
Published: (2012)

Création de nouvelles connaissances décisionnelles pour une organisation via ses ressources sociales et documentaires
by: Deparis, Etienne
Published: (2013)

Contribution à la gestion de l'évolution des processus métiers
by: Kherbouche, Mohammed Oussama
Published: (2013)

Dioïdes et idéaux de polynômes en analyse statique
by: Jobin, Arnaud
Published: (2012)

Analyse statique de programmes manipulant des tableaux
by: Perrelle, Valentin
Published: (2013)

Modélisation et mise en œuvre de processus collaboratifs ad hoc
by: Kedji, Komlan Akpédjé
Published: (2013)

Ordonnancement de tâches parallèles dans les environnements fortement perturbés
by: Safi, Adel
Published: (2012)

Vérification relationnelle pour des programmes avec des données entières
by: Konecny, Filip
Published: (2012)

Ordonnancement des sauvegardes/reprises d'applications de calcul haute performance dans les environnements dynamiques
by: Yenke, Blaise
Published: (2011)

Ordonnancement temps réel dur multiprocesseur tolérant aux fautes appliqué à la robotique mobile
by: Marouf, Mohamed
Published: (2012)

Analyse automatique de structures thématiques discursives - Application à la recherche d'information
by: Bilhaut, Frédérik
Published: (2006)

Analyse statique de requête pour le Web sémantique
by: Chekol, Melisachew wudage
Published: (2012)

The versatility of using explanations within constraint programming
by: Jussien, Narendra
Published: (2003)

Workflows conceptuels
by: Cerezo, Nadia
Published: (2013)

Systèmes d'information sociaux
by: Quast, Marc
Published: (2012)

Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
by: Timpanaro, Juan Pablo
Published: (2013)

Action Representation and Recognition
by: Weinland, Daniel
Published: (2008)

Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d'exploitation
by: Ndoye, Falou
Published: (2014)

Méthodes logico-numériques pour la vérification des systèmes discrets et hybrides
by: Schrammel, Peter
Published: (2012)

Protection des données privées dans les réseaux sociaux
by: Cutillo, Leucio Antonio
Published: (2012)

Nash equilibria in concurrent games : application to timed games
by: Brenguier, Romain
Published: (2012)

Une méthode d'évaluation géolocalisée de l'insertion des projets routiers dans les territoires et de choix de variantes
by: LE, Thanh Toan
Published: (2011)

Une approche générique de modélisation spatiale et temporelle : application à la modélisation de la dynamique des paysages
by: Degenne, Pascal, et al.
Published: (2012)

Exploitation des antennes multiples pour l'optimisation dans les réseaux sans fil
by: Chahbi, Ismehene
Published: (2011)

Approche par contraintes des problèmes d'ordonnancement et d'affectation : structures temporelles et mécanismes de propagation
by: Lopez, Pierre
Published: (2003)

Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion
by: Maîtrehenry, Sébastien
Published: (2013)

TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme
by: Pietrek, Artur
Published: (2012)

Approche énergétique pour l'ordonnancement de tâches sous contraintes de temps et de ressources
by: Lopez, Pierre
Published: (1991)

Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique
by: Boukhari, Ilyes
Published: (2014)

Interprétation contextuelle et assistée de fonds d'archives numérisées : application à des registres de ventes du XVIIIe siècle
by: Chazalon, Joseph
Published: (2013)

Modélisation des environnements dynamiques pour la localisation
by: Decrouez, Marion
Published: (2013)

Impact de la contrainte d'incompatibilité sur la complexité et l'approximation des problèmes d'ordonnancement en présence de tâches-couplées
by: Simonin, Gilles
Published: (2009)

Optimisation multicritères et applications aux systèmes multi-processeurs embarqués
by: Legriel, Julien
Published: (2011)