Filtrer vos résultats
- 24
- 19
- 32
- 8
- 3
- 40
- 5
- 1
- 1
- 4
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 5
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 38
- 5
- 24
- 20
- 7
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 43
- 25
- 22
- 14
- 9
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
43 résultats
|
|
|
triés par
|
STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded SystemsACM Transactions on Embedded Computing Systems (TECS), 2015, 14 (4), pp.1 - 25. ⟨10.1145/2786979⟩
Article dans une revue
hal-01713171v1
|
|||
|
|
Hardware runtime verification of embedded software in SoPC2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Cracovie, Poland. SIES 2016 paper 16, ⟨10.1109/sies.2016.7509425⟩
Communication dans un congrès
hal-01307973v1
|
||
Instruction set simulator generation using Harmless, a new hardware architecture description language2nd Int. Conf. on Simulation Tools and Techniques for Communications, Networks ans Systems (Simutools 2009), ICST / ACM SIGSIM, Mar 2009, Roma, Italy
Communication dans un congrès
inria-00538502v1
|
|||
|
|
Using formal methods for the development of safe application-specific RTOS for automotive systemsCARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Communication dans un congrès
hal-01193023v1
|
||
|
|
Logical time control of concurrent DESDiscrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Article dans une revue
hal-03103458v1
|
||
|
|
Energy Efficiency is Not Enough: Towards a Batteryless Internet of SoundsProceedings of the International Workshop on the Internet of Sounds (IWIS), Audio Mostly, Sep 2021, Trento, Italy
Communication dans un congrès
hal-03324622v1
|
||
|
|
BEST: a Binary Executable Slicing Tool16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Jul 2016, Toulouse, France. pp.7:1--7:10, ⟨10.4230/OASIcs.WCET.2016.7⟩
Communication dans un congrès
hal-01713140v1
|
||
An Architecture Description Language for Embedded Hardware PlatformsWorkshop on OCL and Textual Modelling, TOOLS 2011, 2011, Zürich, Anguilla
Communication dans un congrès
hal-01179758v1
|
|||
|
|
Formal verification process of the compliance of a multicore AUTOSAR OSSoftware Quality Journal, 2023, 31 (2), pp.497-531. ⟨10.1007/s11219-023-09626-4⟩
Article dans une revue
hal-04304216v1
|
||
|
|
Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems ValidationVALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal
Communication dans un congrès
hal-03006791v1
|
||
HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. ⟨10.1109/AHS.2018.8541459⟩
Communication dans un congrès
hal-01804096v1
|
|||
Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPCPoster de conférence hal-01324796v1 |
|||
|
|
Device driver synthesis for embedded systems18th IEEE International Conference on Emerging Technologies & Factory Automation, Sep 2013, Cagliari, Italy
Communication dans un congrès
hal-00942323v1
|
||
Cycle accurate simulator generator using HarmlessInt. Middle Eastern Multiconference on Simulation and Modelling (MESM'09), EUROSIS, Sep 2009, Beirut, Lebanon
Communication dans un congrès
inria-00538508v1
|
|||
|
|
Contrôle des SED avec urgence,évitabilité et inéluctabilitéMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès
hal-02432148v2
|
||
|
|
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systemsDiscrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩
Article dans une revue
hal-03952467v1
|
||
|
|
Approche formelle pour la spécialisation de systèmes d'exploitation temps réelModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224465v1
|
||
Retis: a real-time simulation platformJournal Européen des Systèmes Automatisés (JESA), 2006, 40 (8), pp.819-846
Article dans une revue
hal-00537625v1
|
|||
|
|
A compiled Cycle Accurate Simulation for Hardware Architecture5th International Conference on Advances in System Simulation - SIMUL 2013, Oct 2013, VENICE, Italy. pp.213-225
Communication dans un congrès
hal-00943401v1
|
||
MORTEM: a new runtime for intermittent computingConférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2023, Annecy, France
Communication dans un congrès
hal-04354069v1
|
|||
|
|
Support d'exécution pour le calcul intermittentPoster de conférence hal-03446983v1 |
||
|
|
Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittentsModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès
hal-03449539v1
|
||
Formal Synthesis of Optimal RTOS2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems., Aug 2015, New York, United States. ⟨10.1109/HPCC-CSS-ICESS.2015.96⟩
Communication dans un congrès
hal-01413492v1
|
|||
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th Int'l Conf. on Embedded Software and Systems (ICESS), Jun 2012, Liverpool, United Kingdom. ⟨10.1109/HPCC.2012.220⟩
Communication dans un congrès
hal-01713202v1
|
|||
Extending HARMLESS Architecture Description Language for Embedded Real-Time Systems ValidationIEEE International Symposium on Industrial Embedded Systems, Jun 2011, Västerås, Sweden. pp.223
Communication dans un congrès
hal-00941186v1
|
|||
|
|
Reactive Embedded Device Driver Synthesis using Logical Timed Models4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005040101630169⟩
Communication dans un congrès
hal-01142411v1
|
||
|
|
Memory Allocation in Intermittent ComputingCOMPAS'2022, Jul 2022, Amiens, France
Poster de conférence
hal-04385204v1
|
||
|
|
Simulator Generation Using an Automaton Based Pipeline Model for Timing Analysis.International Multiconference on Computer Science and Information Technology (IMCSIT), International Workshop on Real Time Software (RTS'08)., Oct 2008, Wisla, Poland. pp.657-664
Communication dans un congrès
hal-00486839v1
|
||
Trampoline - an open source implementation of the osek/vdx rtos specification11th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'06), IEEE, Sep 2006, Prague, Czech Republic
Communication dans un congrès
inria-00538492v1
|
|||
|
|
Testing real-time systems with runtime enforcementIEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩
Article dans une revue
hal-01713193v1
|
- 1
- 2