From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
Thomas Carle
,
Dumitru Potop-Butucaru
,
Yves Sorel
,
David Lesens
Article dans une revue
hal-01263994v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A schedulability test for real-time dependant periodic task systems with latency constraints
Liliana Cucu-Grosjean
,
Yves Sorel
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
Communication dans un congrès
inria-00584253v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition
Dumitru Potop-Butucaru
,
Robert De Simone
,
Yves Sorel
[Research Report] RR-6656, INRIA. 2008, pp.20
Rapport
inria-00322563v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
From concurrent multi-clock programs to concurrent multi-threaded implementations
Virginia Papailiopoulou
,
Dumitru Potop-Butucaru
,
Yves Sorel
,
Robert de Simone
,
Loic Besnard
,
et al.
[Research Report] RR-7577, INRIA. 2011, pp.22
Rapport
inria-00578585v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Estimation of probabilistic worst case execution time while accounting OS costs
Walid Talaboulma
,
Cristian Maxim
,
Adriana Gogonel
,
Yves Sorel
,
Liliana Cucu-Grosjean
21st IEEE Real-Time Embedded Technology and Applications Symposium , Apr 2015, Seattle, United States
Communication dans un congrès
hal-01298737v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations
Thierry Grandpierre
,
Yves Sorel
2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) , Jun 2003, Mont Saint Michel, France.
⟨10.1109/MEMCOD.2003.1210097⟩
Communication dans un congrès
hal-01800622v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Interface SIGNAL-SynDEx
Patricia Bournai
,
Christophe Lavarenne
,
Paul Le Guernic
,
Olivier Maffeis
,
Yves Sorel
[Rapport de recherche] RR-2206, INRIA. 1994
Rapport
inria-00077109v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A methodology to implement real-time applications on reconfigurable circuits
Linda Kaouane
,
Mohamed Akil
,
Thierry Grandpierre
,
Yves Sorel
Article dans une revue
istex
hal-00826258v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Synchronous Approach and Scheduling
Dumitru Potop-Butucaru
,
Yves Sorel
Chapitre d'ouvrage
hal-01096255v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Model-Based Methodology for Requirements Traceability in Embedded Systems
Arnaud Albinet
,
Jean-Louis Boulanger
,
Hubert Dubois
,
Marie-Agnès Peraldi-Frati
,
Yves Sorel
,
et al.
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07 , 2007, Haifa, Israel
Communication dans un congrès
inria-00413488v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
The MeMVaTEx methodology: from requirements to models in automotive application design
A. Albinet
,
S. Begoc
,
J.-L. Boulanger
,
O. Casse
,
I. Dal
,
et al.
Embedded Real Time Software and Systems (ERTS2008) , Jan 2008, Toulouse, France
Communication dans un congrès
hal-02270300v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems
Falou Ndoye
,
Yves Sorel
ICSE'2013 16th IEEE International Conference on Computational Science and Engineering , Dec 2013, Sydney, Australia
Communication dans un congrès
hal-00930224v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Real Time Multiprocessor Application Development Environment Design And Implementation
Nacer-Eddine Zergainoh
,
T. Maurin
,
Y. Sorel
,
Christophe Lavarenne
IEEE Workshop on Parallel and Distributed Processing , Jan 1994, Malaga, Spain
Communication dans un congrès
hal-01445868v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Automatic Coarse-Grain Partitioning and Automatic Code Generation for Heterogeneous Architectures
Mickael Raulet
,
Marie Babel
,
Olivier Déforges
,
Jean François Nezan
,
Yves Sorel
Signal Processing Systems, 2003. SIPS'03. IEEE Workshop on , 2003, South Korea. pp.316-321
Communication dans un congrès
hal-00124965v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Utilisation de SynDEx pour le traitement d'images temps-réel
Caroline Aiglon
,
Christophe Lavarenne
,
Yves Sorel
,
Annie Vicard
[Rapport de recherche] RR-2968, INRIA. 1996
Rapport
inria-00073730v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
An algorithm for automatically obtaining distributed and fault-tolerant static schedules
Alain Girault
,
Hamoudi Kalla
,
Mihaela Sighireanu
,
Yves Sorel
Jun 2003, pp.165-190
Communication dans un congrès
hal-00110453v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints
Liliana Cucu
,
Yves Sorel
[Research Report] RR-5403, INRIA. 2004, pp.33
Rapport
inria-00070600v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
From high-level modelling of time in MARTE to real-time scheduling analysis.
Marie-Agnès Peraldi-Frati
,
Yves Sorel
Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems , IRIT, Sep 2008, Toulouse, France. pp.129-144
Communication dans un congrès
hal-00924390v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Patrick Meumeu Yomsi
,
Yves Sorel
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07 , 2007, Nancy, France
Communication dans un congrès
inria-00413489v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations
Dumitru Potop-Butucaru
,
Robert de Simone
,
Yves Sorel
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, 2010, 978-1-4419-6399-4
Chapitre d'ouvrage
inria-00495666v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Patrick Meumeu Yomsi
,
Yves Sorel
[Research Report] RR-6610, INRIA. 2008, pp.21
Rapport
inria-00310248v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Automatic implementation of TTEthernet-based time-triggered avionics applications
Raul Adrian Gorcitz
,
Thomas Carle
,
David Lesens
,
David Monchaux
,
Dumitru Potop-Butucaru
,
et al.
DASIA 2015 , Eurospace, May 2015, Barcelone, Spain
Communication dans un congrès
hal-01264687v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
Patrick Meumeu Yomsi
,
Yves Sorel
Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07 , 2007, Pisa, Italy
Communication dans un congrès
inria-00413487v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Methodology for Improving Software Design Lifecycle in Embedded Control Systems
Mohamed El Mongi Ben Gaïd
,
Rémy Kocik
,
Yves Sorel
,
Rédha Hamouche
DATE 2008 - Design, Automation and Test in Europe , Mar 2008, Munich, Germany
Communication dans un congrès
inria-00274634v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Interface Scicos-SynDEx
Rachid Djenidi
,
Ramine Nikoukhah
,
Yves Sorel
,
Serge Steer
[Rapport de recherche] RR-4250, INRIA. 2001
Rapport
inria-00077114v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Marte: A new profile rfp for the modeling and analysis of real-time embedded systems
Cedric Dumoulin
,
Laurent Rioux
,
Thierry Saunier
,
Sébastien Gérard
,
Ansgar Radermacher
,
et al.
Dac Workshop - UML-SoC05 , Jun 2005, Anaheim CA, United States
Communication dans un congrès
hal-01071285v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Optimized implementation of application specific integrated circuits specified with data dependence graph
Linda Kaouane
,
Mohamed Akil
,
Yves Sorel
EDAA PhD Forum at DATE03, Design Automation and Test in Europe , Mar 2003, Munich, Germany, France. 10pp
Communication dans un congrès
hal-00622123v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A denotational theory of synchronous reactive systems
Albert Benveniste
,
Paul Le Guernic
,
Yves Sorel
,
Michel Sorine
Article dans une revue
hal-00549783v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
An Architecture for an efficient multiprocessor development environment: the fast distributed executive for reactive system
Nacer-Eddine Zergainoh
,
Y. Sorel
Journal of Systems Architecture , 1995
Article dans une revue
hal-01459812v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A method for parallel scheduling of multi-rate co-simulation on multi-core platforms
Salah Eddine Saidi
,
Nicolas Pernet
,
Yves Sorel
Article dans une revue
hal-02141707v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More