22 results  save search

tel-00879359v2  Theses
Abdoulaye Gamatié. Modélisation polychrone et évaluation de systèmes temps réel
Systèmes embarqués. Université Rennes 1, 2004. Français
hal-01375576v1  Conference papers
Angeliki KritikakouThibaut MartyClaire PagettiChristine RochangeMichaël Lauer et al.  Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
hal-01559696v1  Journal articles
Angeliki KritikakouThibaut MartyMatthieu Roy. DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩
hal-01898426v1  Journal articles
Ayoub NouriBraham MediouniMarius BozgaJacques CombazSaddek Bensalem et al.  Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework
International Journal of Critical Computer-Based Systems, Inderscience, In press, pp.1-33
hal-01624262v1  Poster communications
Baptiste Goupille-LescarEric LenormandChristine MorinNikos Parlavantzas. Introducing Dynamic Adaptation in High Performance Real-Time Computing Platforms for Sensors
ANDARE 2017 - 1st Workshop on AutotuniNg and aDaptivity AppRoaches for Energy efficient HPC Systems, Sep 2017, Portland, OR, United States
hal-01976187v1  Conference papers
Martin SchoeberlBenjamin RouxelIsabelle Puaut. A Time-predictable Branch Predictor
SAC 2019 - 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-10, ⟨10.1145/3297280.3297337⟩
hal-00544057v1  Conference papers
Pascal AubryPaul Le GuernicSylvain Machard. Synchronous distribution of SIGNAL programs
29th Hawaii International Conference on System Sciences (HICSS-29), Jan 1996, Maui, Hawaii, United States. pp.656-665, ⟨10.1109/HICSS.1996.495517⟩
hal-01590532v1  Conference papers
Sebastien MartinezDamien HardyIsabelle Puaut. Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention
International Conference on Real-Time Networks and Systems (RTNS), 2017, Oct 2017, Grenoble, France. ⟨10.475/123_4⟩
inria-00638698v1  Conference papers
Damien HardyBenjamin LesageIsabelle Puaut. Scalable Fixed-Point Free Instruction Cache Analysis
The 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Nov 2011, Vienne, Austria
hal-01590418v1  Conference papers
Steven DerrienIsabelle PuautPanayiotis AlefragisMarcus BednaraHarald Bucher et al.  WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach
Design Automation and Test in Europe (DATE), 2017, Mar 2017, Lausanne, Switzerland. pp.286 - 289, ⟨10.23919/DATE.2017.7927000⟩
hal-01087810v1  Conference papers
Maxime CordyAxel LegayPierre-Yves SchobbensLouis-Marie Traonouez. A framework for the rigorous design of highly adaptive timed systems
1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. pp.64 - 70, ⟨10.1109/FormaliSE.2013.6612279⟩
hal-01087799v1  Journal articles
Alexandre DavidKim Guldstrand LarsenAxel LegayUlrik NymanLouis-Marie Traonouez et al.  Real-Time Specifications
Software Tools for Technology Transfer (STTT), Springer, 2015, 17 (1), pp.29. ⟨10.1007/s10009-013-0286-x⟩
hal-01889944v1  Conference papers
Isabelle PuautMickaël DardaillonChristoph CullmannGernot GebhardSteven Derrien. Fine-Grain Iterative Compilation for WCET Estimation
WCET 2018 - 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain. pp.1-12, ⟨10.4230/OASIcs.WCET.2018.9⟩
inria-00540460v1  Journal articles
Paul Le GuernicThierry GautierMichel Le BorgneClaude Le Maire. Programming Real-Time Applications with Signal
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 1991, Another look at Real-time programming, 79 (9), pp.1321-1336. ⟨10.1109/5.97301⟩
hal-00639454v1  Journal articles
Damien HardyIsabelle Puaut. WCET analysis of instruction cache hierarchies
Journal of Systems Architecture, Elsevier, 2011, 57 (7), ⟨10.1016/j.sysarc.2010.08.007⟩