Add to ORKGCe chapitre présente les concepts de base liés aux systèmes temps réel. Après avoir illustré la problématique correspondante au travers d'exemples variés, il introduit les concepts techniques développés dans les chapitres suivants en se focalisant sur l'importance du choix d'implémentation des systèmes
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
La consommation en énergie est devenue un problème crucial dans la conception des équipements électr...
La traduction technique étant rigoureusement " cibliste ", le traducteur technique ne saurait rendre...
Colloque avec actes et comité de lecture.Nous présentons un sous-ensemble des travaux développés dan...
National audienceRésumé L'ingénierie des exigences est une activité primordiale dans tout développem...
National audienceLa technique dite de complétion sur les automates d'arbre permet, à partir d'un aut...
International audienceNous présentons dans cet article l'application de la méthode de Kron pour préd...
National audienceCe chapitre présente les moyens usuellement disponibles pour vérifier qu'un système...
Invited publicationNational audienceL'OMG vient d'adopter un nouveau standard qui étend le langage d...
Grandbastien , Monique and Labat , Jean-Marc (Eds)International audienceCe chapitre décrit la (re-)c...
National audienceCet article étudie la conception d'un opérateur reconfigurable à grain moyen fortem...
National audienceCe papier présente une méthode basée sur la programmation par contraintes qui re...
National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés d...
Pdf des actes disponible à l'URL http://etr05.loria.fr/Le programme de l'Ecole d'été Temps Réel 2005...
National audienceLe projet APLUSIX a entrepris d'effectuer un certain nombre d'évolutions ces derniè...
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
La consommation en énergie est devenue un problème crucial dans la conception des équipements électr...
La traduction technique étant rigoureusement " cibliste ", le traducteur technique ne saurait rendre...
Colloque avec actes et comité de lecture.Nous présentons un sous-ensemble des travaux développés dan...
National audienceRésumé L'ingénierie des exigences est une activité primordiale dans tout développem...
National audienceLa technique dite de complétion sur les automates d'arbre permet, à partir d'un aut...
International audienceNous présentons dans cet article l'application de la méthode de Kron pour préd...
National audienceCe chapitre présente les moyens usuellement disponibles pour vérifier qu'un système...
Invited publicationNational audienceL'OMG vient d'adopter un nouveau standard qui étend le langage d...
Grandbastien , Monique and Labat , Jean-Marc (Eds)International audienceCe chapitre décrit la (re-)c...
National audienceCet article étudie la conception d'un opérateur reconfigurable à grain moyen fortem...
National audienceCe papier présente une méthode basée sur la programmation par contraintes qui re...
National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés d...
Pdf des actes disponible à l'URL http://etr05.loria.fr/Le programme de l'Ecole d'été Temps Réel 2005...
National audienceLe projet APLUSIX a entrepris d'effectuer un certain nombre d'évolutions ces derniè...
International audienceCet article présente un travail en cours pour mettre en place une chaîne d'out...
La consommation en énergie est devenue un problème crucial dans la conception des équipements électr...
La traduction technique étant rigoureusement " cibliste ", le traducteur technique ne saurait rendre...