Publications de l'équipe AOSTE

2012

Articles dans des revues avec comité de lecture

Titre

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

Auteurs

Calin Glitia; Julien Deantoni ; Frédéric Mallet ; Jean-Vivien Millo ; Pierre Boulet; Abdoulaye Gamatié

Détail

Design Automation for Embedded Systems, Springer Science+Business Media, LLC 2012, 2012, 16 (2), pp. 137-169

Accès au bibtex

Communications avec actes

Titre

Modeling a BSG-E Automotive System with the Timing Augmented Description language.

Auteurs

Marie-Agnès Peraldi-Frati; Arda Goknil; Morayo Adedjouma; Pierre-Yves Gueguen

Détail

Tiziana Margaria and Bernhard Steffen. ISOLA 2012 -5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Héraklion, Greece. Springer, Isola 2012 Proceedings, 7610, pp. 111-125, Lecture Notes in Computer Science

Accès au bibtex

Titre

Multi-View Power Modeling based on UML, MARTE and SysML

Auteurs

Carlos Gomez; Julien Deantoni; Frédéric Mallet

Détail

SEAA - 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp. 17-20

Accès au bibtex

Titre

A DSL for Specifying Timing Requirements

Auteurs

Arda Goknil; Marie-Agnès Peraldi-Frati

Détail

MoDRE- 2sd International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States. IEEE, pp. 49-57

Accès au bibtex

Titre

Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks

Auteurs

Mohamed Marouf; Laurent George ; Yves Sorel

Détail

ETFA'12 - 17th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2012, Kraków, Poland. IEEE

Accès au texte intégral et bibtex

Titre

A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2

Auteurs

Marie-Agnès Peraldi-Frati ; Arda Goknil; Julien Deantoni; Johan Nordlander

Détail

ICECCS 2012 : International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. IEEE, Proceeding of the 17th ICECCS conference, 10 p.

Accès au bibtex

Titre

TimeSquare: Treat your Models with Logical Time

Auteurs

Julien Deantoni ; Frédéric Mallet

Détail

Carlo A. Furia, Sebastian Nanz. TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, May 2012, Prague, Czech Republic. Springer, Objects, Models, Components, Patterns, 7304, pp. 34-41, Lecture Notes in Computer Science - LNCS

Accès au bibtex

Titre

A Parallelizing Algorithm for Real-Time Tasks of Directed Acyclic Graphs Model

Auteurs

Manar Qamhieh; Serge Midonnet ; Laurent George

Détail

RTAS'12 : The 18th IEEE Real-Time and Embedded Technology and Applications Symposium. Work-In-Progress Session, Apr 2012, Beijing, China. pp. 45-48

Accès au texte intégral et bibtex

Titre

Timing Modeling with AUTOSAR. Current State and Future Directions

Auteurs

Stefan Kuntz; Marie-Agnès Peraldi-Frati; Hans Blom; Karlsson Daniel

Détail

DATE 2012. Design Automation & Test in Europe, Mar 2012, Dresden, Germany.

Accès au bibtex

Titre

Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes

Auteurs

Daniel De Rauglaudre

Détail

JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France.

Accès au texte intégral et bibtex

Titre

The TIMMO-2-USE project: Time modeling and analysis to use

Auteurs

Marie-Agnès Peraldi-Frati ; Daniel Karlsson; Arne Hamann; Stefan Kuntz; Johan Nordlander

Détail

* 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace, * SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies.. ERTS2012 International Congres on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. 6th International Congres on Embedded Real Time Software and Systems

Accès au bibtex

Titre

An exploratory study of the exposure draft of IAS 19 due process

Auteurs

Samira Demaria; Dominique Dufour; Moïse Louisy-Louis; Philippe Luu

Détail

AFC 2012 - 33ème Congrès de l'Association Française de Comptabilité : Comptabilités et innovation, May 2012, Grenoble, France. pp. cd-rom

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Logical Time @ Work: Capturing Data Dependencies and Platform Constraints

Auteurs

Calin Glitia; Julien Deantoni; Frédéric Mallet

Détail

Kaźmierski, Tom J. J. and Morawiec, Adam. System Specification and Design Languages, 106, Springer New York, pp. 223-238, 2012, Lecture Notes in Electrical Engineering, 978-1-4614-1426-1

Accès au bibtex

Rapports

Titre

Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata

Auteurs

Ling Yin; Julien Deantoni; Frédéric Mallet; Robert De Simone

Détail

[Research Report], 2012, pp. 22. RR-8102

Accès au texte intégral et bibtex

Titre

From dataflow specification to multiprocessor partitioned time-triggered real-time implementation

Auteurs

Thomas Carle; Dumitru Potop-Butucaru; Yves Sorel; David Lesens

Détail

[Research Report], 2012. RR-8109

Accès au texte intégral et bibtex

Titre

Compositional Verification of Evolving SPL

Auteurs

Jean-Vivien Millo; S. Ramesh; Shankara Krishna; Ganesh Narwane

Détail

[Research Report], 2012, pp. 34. RR-8125

Accès au texte intégral et bibtex

Titre

Refining cellular automata with routing constraints

Auteurs

Jean-Vivien Millo ; Robert De Simone

Détail

[Research Report], 2012, pp. 15. RR-8051

Accès au texte intégral et bibtex

Titre

ECL: the Event Constraint Language, an Extension of OCL with Events

Auteurs

Julien Deantoni; Frédéric Mallet

Détail

[Research Report], 2012, pp. 24. RR-8031

Accès au texte intégral et bibtex

Titre

Multi-View Power Modeling based on UML MARTE and SysML

Auteurs

Carlos Gomez; Julien Deantoni; Frédéric Mallet

Détail

[Research Report], 2012, pp. 19. RR-7934

Accès au texte intégral et bibtex

Titre

Periodic scheduling of marked graphs using balanced binary words

Auteurs

Jean-Vivien Millo ; Robert De Simone

Détail

[Research Report], 2012, pp. 33. RR-7891

Accès au texte intégral et bibtex

Titre

Correct Transformation from CCSL to Promela for verification

Auteurs

Frédéric Mallet; Ling Yin

Détail

[Research Report], 2012, pp. 33. RR-7491

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Logical Time: observation vs. implementation

Auteurs

Frédéric Mallet; Charles André; Robert De Simone

Détail

ACM SIGSOFT Software Engineering Notes, ACM DL, 2011, 36 (1), pp. 1-8

Accès au bibtex

Titre

SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling

Auteurs

Karine Deschinkel; Sid-Ahmed-Ali Touati; Sébastien Briais

Détail

Journal of Combinatorial Optimization, Springer, 2011, 22 (4), pp. 819-844

Accès au texte intégral et bibtex

Communications avec actes

Titre

Logical time and temporal logics: comparing UML MARTE/CCSL and PSL

Auteurs

Régis Gascon; Frédéric Mallet; Julien Deantoni

Détail

18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany.

Accès au bibtex

Titre

Scheduling non-preemptive hard real-time tasks with strict periods

Auteurs

Mohamed Marouf; Yves Sorel

Détail

ETFA'11 - 16th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2011, Toulouse, France. IEEE, pp. 1-8

Accès au texte intégral et bibtex

Titre

A Model-Based Approach for Reconciliation of Polychronous Execution Traces

Auteurs

Kelly Garcés; Julien Deantoni; Frédéric Mallet

Détail

SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland. IEEE

Accès au texte intégral et bibtex

Titre

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

Auteurs

Virginia Papailiopoulou; Ajitha Rajan; Ioannis Parissis

Détail

Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp. 85-101

Accès au bibtex

Titre

Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks

Auteurs

Mohamed Marouf; Laurent George ; Yves Sorel

Détail

MAPSP 2011 - 10th Workshop on Models and Algorithms for Planning and Scheduling Problems, Jun 2011, Nymburk, Czech Republic.

Accès au texte intégral et bibtex

Titre

Semantic Multi-View model for Low-Power

Auteurs

Carlos Gomez; Julien Deantoni; Frédéric Mallet

Détail

Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp. 19

Accès au texte intégral et bibtex

Titre

SCIPX: a SystemC to IP-XACT extraction tool

Auteurs

Jean-François Le Tallec; Robert De Simone

Détail

ESLsyn : Electronic System Level Synthesis Conference, Jun 2011, San Diego, United States.

Accès au bibtex

Titre

Verification of MARTE/CCSL Time Requirements in Promela/SPIN

Auteurs

Ling Yin; Frédéric Mallet ; Jing Liu

Détail

IEEE ICECCS 2011 - 16th IEEE International Conference on Engineering of Complex Computer Systems, Apr 2011, Las Vegas, United States. IEEE

Accès au bibtex

Titre

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation

Auteurs

Marie-Agnès Peraldi-Frati; Julien Deantoni

Détail

International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. IEEE computer society, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing, pp. 50; 57

Accès au texte intégral et bibtex

Titre

Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design

Auteurs

Jean-François Le Tallec; Julien Deantoni; Robert De Simone; Benoît Ferrero; Frédéric Mallet; Laurent Maillet-Contoz

Détail

Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France.

Accès au texte intégral et bibtex

Titre

A schedulability test for real-time dependant periodic task systems with latency constraints

Auteurs

Liliana Cucu-Grosjean; Yves Sorel

Détail

12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, Saint Etienne, France.

Accès au bibtex

Titre

Ordonnancement multiprocesseur global basé sur la laxité avec migrations restreintes

Auteurs

Frédéric Fauberteau; Laurent George; Damien Masson ; Serge Midonnet

Détail

ROADEF'11 - 12ème congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, Saint-Étienne, France. 2 pp.

Accès au texte intégral et bibtex

Communications sans actes

Titre

Probabilistic Sensitivity Analysis

Auteurs

Luca Santinelli; Liliana Cucu-Grosjean; Laurent George

Détail

RTSOPS 2011 - the 2nd International Real-Time Scheduling Open Problems Seminar, Jul 2011, Porto, Portugal.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Automatic Test of Lustre/SCADE Programs

Auteurs

Virginia Papailiopoulou; Besnik Seljimi; Ioannis Parissis

Détail

Model-Based Testing for Embedded Systems, CRC Press, pp. 171-194, Sep. 2011, 978-1-43-981845-9

Accès au bibtex

Ouvrages scientifiques

Titre

Logical Time @ Work for the Modeling and Analysis of Embedded Systems

Auteurs

Frédéric Mallet

Détail

LAP LAMBERT Academic Publishing, pp. 124, Jan. 2011, 978-3-8433-9388-1

Accès au bibtex

Rapports

Titre

Transforming CCSL partially-ordered Traces into UML Interaction Diagrams

Auteurs

Kelly Garcés; Julien Deantoni; Frédéric Mallet

Détail

[Report], 2011. RR-7842

Accès au texte intégral et bibtex

Titre

Modèles de temps et de contraintes temporelles de MARTE et leurs applications

Auteurs

Charles André

Détail

[Research Report], 2011, pp. 22. RR-7788

Accès au texte intégral et bibtex

Titre

Throughput Optimization by Software Pipelining of Conditional Reservation tables

Auteurs

Thomas Carle; Dumitru Potop-Butucaru

Détail

[Research Report], 2011. RR-7606

Accès au texte intégral et bibtex

Titre

From concurrent multi-clock programs to concurrent multi-threaded implementations

Auteurs

Virginia Papailiopoulou; Dumitru Potop-Butucaru; Yves Sorel; Robert De Simone; Loic Besnard; Jean-Pierre Talpin

Détail

[Research Report], 2011, pp. 22. RR-7577

Accès au texte intégral et bibtex

Titre

Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL

Auteurs

R. Gascon; Frédéric Mallet; Julien Deantoni

Détail

[Research Report], 2011. RR-7459

Accès au texte intégral et bibtex

Titre

An Algebraic Approach for Fixed-Priority Scheduling of Hard Real-time Systems with Exact Preemption Cost

Auteurs

Patrick Meumeu Yomsi; Yves Sorel

Détail

[Research Report], 2011, pp. 43. RR-7702

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda

Auteurs

Sébastien Demathieu; Yves Bernard; Laurent Maillet-Contoz; Matteo Bordin; Frédéric Mallet

Détail

Génie logiciel, Gl & Is, 2010, 93, pp. 38-42

Accès au bibtex

Titre

Un processus automatique pour concevoir les profils UML

Auteurs

Frédéric Mallet; Charles André; François Lagarde

Détail

Revue Technique et Science Informatiques (TSI), Hermes, 2010, 29 (5), pp. 391-419

Accès au bibtex

Titre

The Clock Constraint Specification Language for building timed causality models

Auteurs

Frédéric Mallet; Julien Deantoni; Charles André; Robert De Simone

Détail

Innovations in Systems and Software Engineering, Springer London, 2010, 6 (1-2), pp. 99-106

Accès au bibtex

Communications avec actes

Titre

Schedulability conditions for non-preemptive hard real-time tasks with strict period

Auteurs

Mohamed Marouf; Yves Sorel

Détail

18th International Conference on Real-Time and Network Systems - RTNS 2010, Nov 2010, Toulouse, France. pp. 50-58

Accès au texte intégral et bibtex

Titre

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling

Auteurs

Robert Davis; Laurent George; Pierre Courbin

Détail

18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp. 1-10

Accès au texte intégral et bibtex

Titre

Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures

Auteurs

Dumitru Potop-Butucaru; Akramul Azim; Sebastian Fischmeister

Détail

International Conference on Embedded Software (EMSOFT), Oct 2010, Scottsdale, AZ, United States. ACM, pp. 199-208

Accès au texte intégral et bibtex

Titre

Logical time at work: capturing data dependencies and platform constraints

Auteurs

Calin Glitia; Julien Deantoni; Frédéric Mallet

Détail

Forum for Design Languages (FDL), Sep 2010, Southampton, United Kingdom. Proceedings of the 2010 Forum on specification & Design Languages, pp. 240-246

Accès au texte intégral et bibtex

Titre

Requirement traceability in safety critical systems

Auteurs

Marie-Agnès Peraldi-Frati ; Arnaud ALBINET

Détail

Jean-Charles Fabre and Olivier Guetta and Mario Trapp. EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. ACM, Proceeding of the 1st Workshop on Critical Automotive applications: Robustness & Safety, pp. 11-14, ACM International Conference Proceeding Series

Accès au bibtex

Titre

VHDL Observers for Clock Constraint Checking

Auteurs

Charles André; Frédéric Mallet; Julien Deantoni

Détail

Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. IEEE computer society

Accès au bibtex

Titre

A Model for Requirements Traceability in an Heterogeneous Model-Based Design Process : Application to Automotive Embedded Systems

Auteurs

Marie-Agnès Peraldi-Frati ; Hubert Dubois; Fadoi Lakhal

Détail

ICECCS 2010 : 15th International Conference on Engineering of Complex Computer Systems, Mar 2010, Oxford, United Kingdom. IEEE, Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems, pp. 233-242

Accès au bibtex

Titre

A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems

Auteurs

Hubert Dubois; Marie-Agnès Peraldi-Frati; Lakhal Fadoi

Détail

R. Calinescu and R. paige and M. Kwiatkowska. ICECCS'10, Mar 2010, Oxford, United Kingdom. IEEE Computer Society, 15th IEEE International Conference on Engineering of Complex Computer Systems, ISBN:978-0-7695-4015-3, pp. 233-242

Accès au bibtex

Titre

An Automated Process for Implementing Multilevel Domain Models

Auteurs

Frédéric Mallet; François Lagarde; Charles André; Sébastien Gérard; François Terrier

Détail

M. van den Brand, D. Gašević, J. Gray. Software Language Engineering, Oct 2009, Denver, Colorado, United States. Springer-Verlag Berlin Heidelberg, pp. 314-333, 2010, Lecture Note in Computer Sciences

Accès au texte intégral et bibtex

Titre

Polychronous Analysis of Timing Constraints in UML MARTE

Auteurs

Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Frédéric Mallet; Charles André; Robert De Simone

Détail

IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, May 2010, Parador of Carmona, Spain. 7 p.

Accès au texte intégral et bibtex

Titre

RT-simex: retro-analysis of execution traces

Auteurs

Julien Deantoni; Frédéric Mallet; Frédéric Thomas; Gonzague Reydet; Jean-Philippe Babau; Chokri Mraidha; Ludovic Gauthier; Laurent Rioux; Nicolas Sordon

Détail

Gruia-Catalin Roman, Kevin J. Sullivan. SIGSOFT FSE, Nov 2010, Santa Fe, United States. Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ISBN 978-1-60558-791-2, pp. 377-378

Accès au bibtex

Communications sans actes

Titre

Logical time @ work: the RT-Simex project

Auteurs

Julien Deantoni; Frédéric Mallet; Charles André; Frédéric Thomas

Détail

Sophia Antipolis Formal Approach, Apr 2011, Sophia, France. 2010

Accès au texte intégral et bibtex

Conférences invitées

Titre

Schedulability conditions for non-preemptive hard real-time tasks with strict period

Auteurs

Mohamed Marouf; Yves Sorel

Détail

M. Marouf and Y. Sorel. 18th International Conference on Real-Time and Network Systems RTNS'10, Nov 2010, Toulouse, France. Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

The Time Model of Logical Clocks available in the OMG MARTE profile

Auteurs

Charles André; Julien Deantoni; Frédéric Mallet; Robert De Simone

Détail

Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp. 28, Jul. 2010, 978-1-4419-6399-4

Accès au bibtex

Titre

From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations

Auteurs

Dumitru Potop-Butucaru; Robert De Simone; Yves Sorel

Détail

Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp. 34, Jul. 2010, 978-1-4419-6399-4

Accès au bibtex

Titre

Formal Modeling of Embedded Systems with Explicit Schedules and Routes

Auteurs

Julien Boucaron; Anthony Coadou; Robert De Simone

Détail

Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp. 38, Jul. 2010, 978-1-4419-6399-4

Accès au bibtex

HDR

Titre

Temps Logique pour l'ingénierie dirigée par le modèles

Auteurs

Frédéric Mallet

Détail

Université de Nice Sophia-Antipolis, Nov. 2010. English

Accès au texte intégral et bibtex

Rapports

Titre

Normal Forms and Equivalence of K-periodically Routed Graphs

Auteurs

Anthony Coadou; Robert De Simone

Détail

[Research Report], 2010. RR-7286

Accès au texte intégral et bibtex

Titre

A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems

Auteurs

Hubert Dubois; Marie-Agnès Peraldi-Frati; Fadoi Lakhal

Détail

[Research Report], 2010, pp. 19. RR-7292

Accès au texte intégral et bibtex

Titre

Un profil UML pour la modélisation multiniveau

Auteurs

Frédéric Mallet; Charles André; François Lagarde

Détail

[Research Report], 2010. RR-7287

Accès au texte intégral et bibtex

Titre

Verification of clock constraints: CCSL Observers in Esterel

Auteurs

Charles André

Détail

[Research Report], 2010, pp. 59. RR-7211

Accès au texte intégral et bibtex

Thèses

Titre

Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués

Auteurs

Anthony Coadou

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2010. French

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Latency-Insensitive Design: Retry Relay-Station and Fusion Shell

Auteurs

Julien Boucaron; Anthony Coadou; Robert De Simone

Détail

Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers B. V., 2009, 245

Accès au bibtex

Titre

Modèle de contraintes temporelles pour systèmes polychrones

Auteurs

Charles André; Frédéric Mallet

Détail

Journal Européen des Systèmes Automatisés, Lavoisier, 2009, 7-9 (43), pp. 725-739

Accès au texte intégral et bibtex

Titre

Les modèles de temps de MARTE et CCSL

Auteurs

Charles André; Frédéric Mallet

Détail

Génie logiciel, C & S, 2009, 89, pp. 44-49

Accès au bibtex

Articles de vulgarisation scientifique

Titre

SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

journal du département informatique de l'INSA de Lyon, INSA de lyon, 2009, 26

Accès au texte intégral et bibtex

Communications avec actes

Titre

Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs

Auteurs

Dumitru Potop-Butucaru; Robert De Simone; Yves Sorel; Jean-Pierre Talpin

Détail

Samarjit Chakraborty and Nicolas Halbwachs. International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ACM

Accès au bibtex

Titre

Executing AADL models with UML/Marte

Auteurs

Frédéric Mallet; Charles André; Julien Deantoni

Détail

Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376

Accès au texte intégral et bibtex

Titre

Specification and Verification of Time Requirements with CCSL and Esterel

Auteurs

Charles André; Frédéric Mallet

Détail

Christoph Kirsch and Mahmut Kandemir. Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. ACM SIGPLAN/SIGBED, ACM SIGPLAN Notices, 44, pp. 167-176

Accès au bibtex

Titre

An exact schedulability test for real-time dependant periodic task systems with latency constraints

Auteurs

Liliana Cucu-Grosjean; Yves Sorel

Détail

Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, Jun 2009, Abbey Rolduc, Netherlands.

Accès au bibtex

Titre

Présentation des résultats du projet OpenEmbeDD

Auteurs

Charles André; Mariano Belaunde; Bernard Berthomieu; Christian Brunette; Agusti Canals; Hubert Garavel; Susanne Graf; Frederic Lang; Vincent Mahé; Michel Nakhlé; Rémi Schnekenburger; Robert De Simone; Jean-Pierre Talpin; François Vernadat

Détail

Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET

Accès au texte intégral et bibtex

Titre

Marte CCSL to execute East-ADL Timing Requirements

Auteurs

Frédéric Mallet; Marie-Agnès Peraldi-Frati; Charles André

Détail

Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp. 249-253

Accès au texte intégral et bibtex

Titre

On the semantics of UML/Marte Clock Constraints

Auteurs

Frédéric Mallet; Charles André

Détail

Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp. 301-312

Accès au texte intégral et bibtex

Communications sans actes

Titre

Toward a TLM to RTL refinement : a formal approach

Auteurs

Jean-François Le Tallec; Julien Deantoni

Détail

3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

Auteurs

Frédéric Mallet; Robert De Simone

Détail

Martin Radetzki. Languages for Embedded Systems and their Applications, 36, Springer, pp. 27-41, May. 2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3

Accès au bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

On the Formal Execution of UML and DSL Models

Auteurs

Julien Deantoni; Frédéric Mallet; Charles André

Détail

[Short paper]. WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France

Accès au texte intégral et bibtex

Rapports

Titre

Combining CCSL and Esterel to specify and verify time requirements

Auteurs

Charles André; Frédéric Mallet

Détail

[Research Report], 2009. RR-6839

Accès au texte intégral et bibtex

Titre

Dynamic Variable Stage Pipeline: an Implementation of its Control

Auteurs

Julien Boucaron; Anthony Coadou

Détail

[Research Report], 2009, pp. 15. RR-6918

Accès au texte intégral et bibtex

Titre

Throughput and FIFO Sizing: an Application to Latency-Insensitive Design

Auteurs

Julien Boucaron; Anthony Coadou; Robert De Simone

Détail

[Research Report], 2009, pp. 19. RR-6919

Accès au texte intégral et bibtex

Titre

Syntax and Semantics of the Clock Constraint Specification Language (CCSL)

Auteurs

Charles André

Détail

[Research Report], 2009, pp. 37. RR-6925

Accès au texte intégral et bibtex

Titre

LID: Retry Relay Station and Fusion Shell

Auteurs

Julien Boucaron; Anthony Coadou; Robert De Simone

Détail

[Research Report], 2009. RR-7293

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Periodic real-time scheduling: from deadline-based model to latency-based model

Auteurs

Liliana Cucu; Nicolas Pernet; Yves Sorel

Détail

Annals of Operations Research, Springer, 2008, 159 (1), pp. 41-51

Accès au bibtex

Titre

CCSL: specifying clock constraints with UML/MARTE

Auteurs

Frédéric Mallet

Détail

Innovations in Systems and Software Engineering, Springer, 2008, Special Issue on UML & Formal Methods, 4 (3), pp. 309-314

Accès au texte intégral et bibtex

Articles dans des revues sans comité de lecture

Titre

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Auteurs

Sébastien Demathieu; Sébastien Gérard; Frédéric Mallet

Détail

Electronique, Electronique, 2008, 189, pp. 2-6

Accès au bibtex

Communications avec actes

Titre

A Methodology for Improving Software Design Lifecycle in Embedded Control Systems

Auteurs

Mohamed El Mongi Ben Gaïd; Rémy Kocik; Yves Sorel; Rédha Hamouche

Détail

Design, Automation and Test in Europe, Mar 2008, Munich, Germany.

Accès au texte intégral et bibtex

Titre

Event-based vs. Time-Triggered Communications with UML Marte

Auteurs

Frédéric Mallet; Robert De Simone; Laurent Rioux

Détail

Forum on specification, verification & Design Languages (FDL'08), Sep 2008, Stuttgart, Germany. IEEE, pp. 154-159

Accès au texte intégral et bibtex

Titre

Dealing with AADL end-to-end Flow Latency with UML Marte.

Auteurs

Su-Young Lee; Frédéric Mallet; Robert De Simone

Détail

ICECCS - UML&AADL, Apr 2008, Belfast, Ireland. IEEE, pp. 228-233

Accès au texte intégral et bibtex

Titre

Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems

Auteurs

Omar Kermia; Yves Sorel

Détail

Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08, 2008, Portland, Oregon, United States.

Accès au texte intégral et bibtex

Conférences invitées

Titre

MARTE: A Profile for RT/E Systems Modeling, Analysis (and Simulation?)

Auteurs

Frédéric Mallet; Robert De Simone

Détail

First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems SIMUTools'08, Mar 2008, Marseille, France. ACM, pp. 1-8

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Modeling AADL data-communications with UML MARTE

Auteurs

Charles André; Frédéric Mallet; Robert De Simone

Détail

Eugenio villar. Embedded Systems Specification and Design Languages, 10, Springer, pp. 150-170, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2

Accès au bibtex

Rapports

Titre

Dealing with AADL End-to-end Flow Latency with UML MARTE

Auteurs

Su-Young Lee; Frédéric Mallet; Robert De Simone

Détail

[Research Report], 2008, pp. 20. RR-6402

Accès au texte intégral et bibtex

Titre

Multilevel Modeling Paradigm in Profile Definition

Auteurs

François Lagarde; Frédéric Mallet; Charles André; Sébastien Gérard; François Terrier

Détail

[Research Report], 2008, pp. 17. RR-6525

Accès au texte intégral et bibtex

Titre

Clock Constraints in UML/MARTE CCSL

Auteurs

Charles André; Frédéric Mallet

Détail

[Research Report], 2008. RR-6540

Accès au texte intégral et bibtex

Titre

Kahn-extended Event Graphs

Auteurs

Julien Boucaron; Anthony Coadou; Benoît Ferrero; Jean-Vivien Millo; Robert De Simone

Détail

[Research Report], 2008. RR-6541

Accès au texte intégral et bibtex

Titre

UML/MARTE CCSL, Signal and Petri nets

Auteurs

Frédéric Mallet; Charles André

Détail

[Research Report], 2008. RR-6545

Accès au texte intégral et bibtex

Titre

An Automated Process for Designing UML Profiles

Auteurs

François Lagarde; Frédéric Mallet; Charles André; Sébastien Gérard; François Terrier

Détail

[Research Report], 2008. RR-6599

Accès au texte intégral et bibtex

Titre

Schedulability Analysis for non Necessarily Harmonic Real-Time Systems with Precedence and Strict Periodicity Constraints using the Exact Number of Preemptions and no Idle Time

Auteurs

Patrick Meumeu Yomsi; Yves Sorel

Détail

[Research Report], 2008, pp. 21. RR-6610

Accès au texte intégral et bibtex

Titre

Marte Timing Requirement and Spirit IP-XACT

Auteurs

Aamir Mehmood Khan; Frédéric Mallet; Charles André; Robert De Simone

Détail

[Research Report], 2008. RR-6647

Accès au texte intégral et bibtex

Titre

Optimized static real-time scheduling of communications on a broadcast bus

Auteurs

Dumitru Potop-Butucaru; Yves Sorel

Détail

[Research Report], 2008, pp. 21. RR-6655

Accès au texte intégral et bibtex

Titre

Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition

Auteurs

Dumitru Potop-Butucaru; Robert De Simone; Yves Sorel

Détail

[Research Report], 2008, pp. 20. RR-6656

Accès au texte intégral et bibtex

Titre

Marte CCSL and East-ADL2 Timing Requirements

Auteurs

Frédéric Mallet; Marie-Agnès Peraldi-Frati; Charles André

Détail

[Research Report], 2008. RR-6781

Accès au texte intégral et bibtex

Thèses

Titre

Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences

Auteurs

Jean-Vivien Millo

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2008. French

Accès au texte intégral et bibtex

2007

Communications avec actes

Titre

Time Modeling in MARTE

Auteurs

Charles André; Frédéric Mallet; Robert De Simone

Détail

ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp. 268-273

Accès au texte intégral et bibtex

Titre

Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE

Auteurs

Charles André; Frédéric Mallet; Robert De Simone

Détail

ECSI Forum on specification & Design Languages (FDL), Sep 2007, Barcelona, Spain. ECSI, pp. 249-254

Accès au texte intégral et bibtex

Titre

Modeling Time(s)

Auteurs

Charles André; Frédéric Mallet; Robert De Simone

Détail

ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML), Oct 2007, Nashville, TN, United States. Springer, MoDELS, LNCS 4735, pp. 559-573, Lecture Notes in Computer Sciences

Accès au texte intégral et bibtex

Titre

Multiform Time in UML for Real-time Embedded Applications

Auteurs

Charles André; Frédéric Mallet; Marie-Agnès Peraldi-Frati

Détail

IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, Korea, Republic Of. IEEE, pp. 232-237

Accès au texte intégral et bibtex

Titre

A multiform time approach to real-time system modeling: Application to an automotive system

Auteurs

Charles André; Frédéric Mallet; Marie-Agnès Peraldi-Frati

Détail

IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. IEEE, pp. 234-241

Accès au texte intégral et bibtex

Titre

A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor

Auteurs

Omar Kermia; Yves Sorel

Détail

Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States.

Accès au texte intégral et bibtex

Titre

Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems

Auteurs

Patrick Meumeu Yomsi; Yves Sorel

Détail

Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007, Pisa, Italy.

Accès au texte intégral et bibtex

Titre

Model-Based Methodology for Requirements Traceability in Embedded Systems

Auteurs

Arnaud ALBINET; Jean-Louis Boulanger; Hubert Dubois; Marie-Agnès Peraldi-Frati; Yves Sorel; Quang-Dao Van

Détail

Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel.

Accès au texte intégral et bibtex

Titre

Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints

Auteurs

Patrick Meumeu Yomsi; Yves Sorel

Détail

Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France.

Accès au texte intégral et bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

Architectures logicielles pour les systèmes embarqués temps réel

Auteurs

Jean-Philippe Babau; Julien Deantoni

Détail

Ecole d'été temps réel, Sep 2007, Nantes, France

Accès au texte intégral et bibtex

Rapports

Titre

Formal Methods for Schedulings of Latency-Insensitive Designs

Auteurs

Julien Boucaron; Jean-Vivien Millo; Robert De Simone

Détail

[Research Report], 2007, pp. 25. RR-6149

Accès au texte intégral et bibtex

Titre

Necessary and Sufficient Conditions for Deterministic Desynchronization

Auteurs

Dumitru Potop-Butucaru; Robert De Simone; Yves Sorel

Détail

[Research Report], 2007, pp. 21. RR-6152

Accès au texte intégral et bibtex

Titre

Statically scheduled Process Networks

Auteurs

Julien Boucaron; Benoît Ferrero; Jean-Vivien Millo; Robert De Simone

Détail

[Research Report], 2007, pp. 26. RR-6289

Accès au texte intégral et bibtex

Thèses

Titre

Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement.

Auteurs

Julien Boucaron

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2007. French

Accès au texte intégral et bibtex

2006

Communications avec actes

Titre

SAIA: safe deployment of sensors based real time application

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil.

Accès au texte intégral et bibtex

Titre

Model driven engineering method for SAIA architecture design

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France.

Accès au texte intégral et bibtex

Titre

From UML to Petri Nets for non functional Property Verification

Auteurs

Frédéric Mallet; Marie-Agnès Peraldi-Frati; Charles André

Détail

IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. IEEE

Accès au texte intégral et bibtex

Rapports

Titre

Modeling with logical time in UML for real-time embedded system design

Auteurs

Charles André; Arnaud Cuccuru; Robert De Simone; Jean-Pierre Talpin

Détail

[Research Report], 2006. RR-5895

Accès au texte intégral et bibtex

Titre

Latency-Insensitive Design and Central Repetitive Scheduling

Auteurs

Julien Boucaron; Jean-Vivien Millo; Robert De Simone

Détail

[Research Report], 2006. RR-5894

Accès au texte intégral et bibtex

Titre

From multi-clock constraints to multi-rate GALS executives

Auteurs

Dumitru Potop-Butucaru; Yves Sorel; Robert De Simone

Détail

[Research Report], 2006, pp. 25. RR-6021

Accès au texte intégral et bibtex

Titre

Non-functional property analysis using UML2.0 and model transformations

Auteurs

Charles André; Frédéric Mallet; Marie-Agnès Peraldi-Frati

Détail

[Research Report], 2006, pp. 18. RR-5913

Accès au texte intégral et bibtex

2005

Communications avec actes

Titre

Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée

Auteurs

Nicolas Pernet; Yves Sorel

Détail

Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France.

Accès au texte intégral et bibtex

Titre

A MDA-based approach for real time embedded systems simulation

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, Oct 2005, Washington, DC, USA, United States. IEEE Computer Society, pp. 257-264

Accès au bibtex

Titre

A MDA Approach for Systems Dedicated to Process Control

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2005, hong kong, China. IEEE Computer Society, pp. 567-570

Accès au bibtex

Autres publications

Titre

CiberMouse design: a case study for SAIA model reuse

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

Dec. 2005. The paper describes the approach proposed during the international robotic challenge : cibermouse.

Accès au texte intégral et bibtex

Titre

SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications

Auteurs

Julien Deantoni; Jean-Philippe Babau

Détail

Dec. 2005. paper associated with the implementation of the martian task international robotic challenge

Accès au texte intégral et bibtex

Rapports

Titre

Another glance at Relay Stations in Latency-Insensitive Designs

Auteurs

Julien Boucaron; Jean-Vivien Millo; Robert De Simone

Détail

[Research Report], 2005, pp. 19. RR-5557

Accès au texte intégral et bibtex

2004

Rapports

Titre

Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints

Auteurs

Liliana Cucu; Yves Sorel

Détail

[Research Report], 2004, pp. 33. RR-5403

Accès au texte intégral et bibtex

Thèses

Titre

Distribution de programmes synchrones : Le cas d'Esterel

Auteurs

Fabrice Peix

Détail

informatique. Université de Nice Sophia-Antipolis, Jul. 2004. French

Accès au texte intégral et bibtex

Titre

Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes
embarqués à contraintes temps réel

Auteurs

Liliana Cucu

Détail

informatique. Université Paris Sud - Paris XI, May. 2004. French

Accès au texte intégral et bibtex