Skip to Main content Skip to Navigation

hal-01699964v1  Conference papers
Catalin DimaAlain GiraultYves Sorel. Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩
inria-00413488v1  Conference papers
Arnaud AlbinetJean-Louis BoulangerHubert DuboisMarie-Agnès Peraldi-FratiYves Sorel et al.  Model-Based Methodology for Requirements Traceability in Embedded Systems
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel
hal-00737918v1  Conference papers
Mohamed MaroufLaurent GeorgeYves Sorel. Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks
MAPSP 2011 - 10th Workshop on Models and Algorithms for Planning and Scheduling Problems, Faculty of Mathematics and Physics, Charles University, ITI - Institute for Theoretical Computer Science, Jun 2011, Nymburk, Czech Republic
hal-02466757v1  Conference papers
Charles AndréArnaud CuccuruJean-Luc DekeyserRobert de SimoneCedric Dumoulin et al.  MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
inria-00432976v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. An exact schedulability test for real-time dependant periodic task systems with latency constraints
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, Jun 2009, Abbey Rolduc, Netherlands
hal-01245359v1  Poster communications
Talaboulma WalidCristian MaximAdriana GogonelYves SorelLiliana Cucu-Grosjean. Estimation of probabilistic worst case execution time while accounting OS costs
Work in Progress of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2015), Apr 2015, Seattle, France
hal-00930224v1  Conference papers
Falou NdoyeYves Sorel. Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems
ICSE'2013 16th IEEE International Conference on Computational Science and Engineering, Dec 2013, Sydney, Australia
inria-00413489v1  Conference papers
Patrick Meumeu YomsiYves Sorel. Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France
inria-00584253v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. A schedulability test for real-time dependant periodic task systems with latency constraints
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
inria-00413486v1  Conference papers
Omar KermiaYves Sorel. A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States
hal-01263994v1  Journal articles
Thomas CarleDumitru Potop-ButucaruYves SorelDavid Lesens. From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2015, ⟨10.4230/LITES-v002-i002-a001⟩
hal-00737916v1  Conference papers
Mohamed MaroufYves Sorel. Scheduling non-preemptive hard real-time tasks with strict periods
ETFA'11 - 16th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2011, Toulouse, France. pp.1-8, ⟨10.1109/ETFA.2011.6059014⟩
hal-02270300v1  Conference papers
A. AlbinetS. BegocJ.-L. BoulangerO. CasseI. Dal et al.  The MeMVaTEx methodology: from requirements to models in automotive application design
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
hal-01610268v1  Conference papers
Salah Eddine SaidiNicolas PernetYves Sorel. Automatic parallelization of multi-rate fmi-based co-simulation on multi-core
TMS/DEVS 2017 - Symposium on Theory of Modeling and Simulation , Society for Computer Simulation International San Diego, CA, USA, Apr 2017, Virginia Beach, United States. pp.Article No. 5
hal-01298737v1  Conference papers
Walid TalaboulmaCristian MaximAdriana GogonelYves SorelLiliana Cucu-Grosjean. Estimation of probabilistic worst case execution time while accounting OS costs
21st IEEE Real-Time Embedded Technology and Applications Symposium, Apr 2015, Seattle, United States
inria-00077114v1  Reports
Rachid DjenidiRamine NikoukhahYves SorelSerge Steer. Interface Scicos-SynDEx
[Rapport de recherche] RR-4250, INRIA. 2001
hal-01445868v1  Conference papers
Nacer-Eddine ZergainohT. MaurinYves SorelChristophe Lavarenne. A Real Time Multiprocessor Application Development Environment Design And Implementation
IEEE Workshop on Parallel and Distributed Processing, Jan 1994, Malaga, Spain