Michael RICHARD
Michael RICHARD
Maitre de Conférences

email : richardm@ensma.fr
tél : +33 (0)549498061
tutelle: ISAE - ENSMA
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Temps Réel
Publications
(38)
Ouvrages individuels ou collectifs
(5)
Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric RIDOUARD, Ordonnancement temps réel - Ordonnancement multiprocesseur, Techniques de l'ingénieur (T.I.), edited by Editions T.I., 2013, pp. 1-20http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/supervision-des-systemes-industriels-42396210/ordonnancement-temps-reel-s8057/http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/supervision-des-systemes-industriels-42396210/ordonnancement-temps-reel-s8057/
Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric RIDOUARD, Ordonnancement temps réel - Ordonnancement monoprocesseur, Techniques de l'ingénieur (T.I.), edited by Editions T.I., 2013, pp. 1-30http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/supervision-des-systemes-industriels-42396210/ordonnancement-temps-reel-s8055/http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/supervision-des-systemes-industriels-42396210/ordonnancement-temps-reel-s8055/
Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric RIDOUARD, Ordonnancement temps réel - Ordonnancement réparti, Techniques de l'ingénieur (T.I.), edited by Editions T.I., 2013, pp. 1-27http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/supervision-des-systemes-industriels-42396210/ordonnancement-temps-reel-s8059/http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/supervision-des-systemes-industriels-42396210/ordonnancement-temps-reel-s8059/
Emmanuel GROLLEAU, Pascal RICHARD, Michael RICHARD, Scheduling in Distributed Real-Time Systems, Distributed Systems (Distributed Systems), chapt. 7, edited by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, edited by ISTE, Wiley, 2011, pp. 117-158http://www.iste.co.uk/index.php?f=a&ACTION=View&id=415http://www.iste.co.uk/index.php?f=a&ACTION=View&id=415
Pascal RICHARD, Michael RICHARD, Francis COTTET, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, 2003
Revues Internationales
(4)
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Feasibility analysis of real-time transactions, Real-Time Systems (RTS 2012), vol. 48, n. 3, 2012, pp. 320-358http://www.springerlink.com/content/a2u2602165105w7x/http://www.springerlink.com/content/a2u2602165105w7x/
François DORIN, Pascal RICHARD, Michael RICHARD, Joël Goossens, Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time Systems (RTS 2010), 2010
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, An Efficient Response Time Analysis For Real-Time Transactions with Fixed Priority Assignment, Innovations in Systems and Software Engineering Journal (ISSE 2009), vol. 5, n. 3, Septembre, 2009, pp. 197-209http://www.springerlink.com/content/k1j177267n650663/http://www.springerlink.com/content/k1j177267n650663/
Michael RICHARD, Pascal RICHARD, Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués, TSI (TSI 2003), n. Numéro Spécial, 2003
Conférences Internationales
(21)
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Towards a model-based approach guiding the scheduling analysis of real-time systems design, International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2014), 2014, pp. 19-24
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric Madiot, MoSaRT Framework : a Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems, Complex Systems Design & Management (CSDM 2014), edited by Springer Verlag, 2014, pp. 12
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Un méta-modèle pour la conception et la validation des architectures embarquées temps-réel complexes, 6ème Conférence francophone sur les Architectures Logicielles, CAL, Montpellier, France, Mai, 2012
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, From Model-based design to Real-Time Analysis, The Fourth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2012), , 2012, pp. 45-50
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Model Driven Timing Analysis for Real-Time Systems, 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), edited by IEEE, Liverpool, UK, June, 2012
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Reducing the gap between Design and Scheduling, 20th International Conference on Real-Time and Network Systems, edited by ACM, Nancy, France, edited by ACM, Novembre, 2012, pp. 10
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Towards a Simple Meta-Model for Complex Real-Time and Embedded Systems, International Conference on Model & Data Engineering (MEDI 2011), edited by Springer LNCS, Obidos, Portugal, Sept, 2011, pp. 226-236
François DORIN, Joël Goossens, Pascal RICHARD, Michael RICHARD, Schedulability analysis of multiple criticality real-time tasks, 12th International Workshop on Project Management and Scheduling (PMS 2010), edited by EURO Working Group on Project Management and Scheduling, April, 2010, pp. 167--1709113/2010-PMS-DORIN.pdf
François DORIN, Pascal RICHARD, Michael RICHARD, Joël Goossens, Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time and Network System (RTNS 2009), 20098605/2009-RTNS-DORIN.pdf
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF, 16th International Conference on Real-Time and Network Systems RTNS2008 Rennes France, Octobre, 20088154/2008-RTNS2008-Rahni.pdf
François DORIN, Michael RICHARD, Emmanuel GROLLEAU, Pascal RICHARD, Minimizing the number of processors for real-time distributed systems, Real-Time and Network Systems (RTNS'08), 20088262/2008-RTNS-Dorin.pdf
Ahmed RAHNI, Karim TRAORE, Emmanuel GROLLEAU, Michael RICHARD, Comparison of two worst-case response time analysis methods for real-time transactions, Junior Researcher Workshop on Real-Time Computing , Nancy, France, 20077955/2007-JRWRTCNF-Rahni.pdf
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, New worst-case response time analysis technique for real-time transactions, ISoLa Workshop On Leveraging Applications of Formal Methods, Verification and Validation Isola2007 Poitiers France, vol. RNTI-SM-1, edited by Cépaduès, Décembre, 2007, pp. 9-207961/2007-IWOLAFMVVIPF-Rahni.pdf
Karim TRAORE, Emmanuel GROLLEAU, Ahmed RAHNI, Michael RICHARD, Response-Time Analysis of tasks with offsets, 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September 20-22, 20067529/2006-ETFA-Traore.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems, IEEE Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, edited by IEEE, Septembre, 2003, pp. 137-1446931/2003-IEEE-Richard.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Placement et Validation dans les Systèmes Temps Réel Distribués, RTS Embedded Systems - 2003 (RTS 2003), edited by Teknea, 2003, pp. 387-4106820/2003-RTS03-Richard.pdf
Michael RICHARD, Pascal RICHARD, Emmanuel GROLLEAU, Francis COTTET, Contraintes de précédences et ordonnancement mono-processeur, Real Time and Embedded Systems, edited by Teknea, 26-28 mars, 2002, pp. 121-1385928/2002-Real_Time_and_Embedded_Systems-Richardm
Pascal RICHARD, Francis COTTET, Michael RICHARD, On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints, ICECCS'2001, edited by Press, IEEE Computer, Skövde (Sweden), 2001, pp. 26-345817/2001-iceccs-richard.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Task and Message Priority Assignment in Automotive Systems, 4th FeT IFAC Conference on Fieldbus Systems and their Applications, edited by Elsevier Science, 2001, pp. 105-112 6443/2001-4th_FeT_IFAC_Conference_on_Fieldbus_Systems_and_their_Applicationsx-Richardm.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Affectation Optimale des Priorités des Tâches et des Messages dans les Systèmes Distribués Temps Réel, Real Time and Embedded Systems, edited by Teknea, mars, 2001, pp. 107-1225921/2001-Real_Time_and_Embedded_Systems-Richardm.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Affectation des Priorités dans les Systèmes Temps Réel Distribués, MOVEP'2000, 20006449/2000-MOVEP2000_--_Nantes-Richardm.pdf
Conférences Nationales
(2)
François DORIN, Michael RICHARD, Emmanuel GROLLEAU, Pascal RICHARD, Minimisation du nombre de processeurs pour les systèmes temps réel distribués, dixième conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), 2009
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, Méthode d’évaluation du pire temps de réponse de tâches à offset. , 5ème Ecole d’été temps réel ETR2007, Nantes, France, 20077967/2007ETR2007.pdf
Thèses et HDR
(1)
Michael RICHARD, Contribution à la Validation des Systèmes Temps Réel Distribués : Ordonnancement à Priorités Fixes & Placement, Thesis, LISI -- ENSMA -- Université de Poitiers, Poitiers -- Futuroscope, november, 2002
Rapports de Recherche
(5)
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset, LISI/ENSMA , Université de Poitiers(2008-002), 2008
Ahmed RAHNI, Michael RICHARD, Emmanuel GROLLEAU, Nouvelle approche approximative d'analyse de temps de réponse, LISI/ENSMA , Université de Poitiers(2007-001), 2007
Michael RICHARD, Pascal RICHARD, Francis COTTET, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA(2001-003), novembre, 2001
Michael RICHARD, Pascal RICHARD, Francis COTTET, Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués, LISI -- ENSMA(2001-01), Avril, 20015898/2001-LISI-2001-01_richardm.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr(2000-006), august, 20005893/2000-LISI-2000-006_Richardm.ps