Filtrer vos résultats
- 26
- 10
- 23
- 8
- 2
- 1
- 1
- 1
- 32
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 6
- 2
- 2
- 4
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 3
- 23
- 13
- 27
- 15
- 8
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 36
- 19
- 8
- 8
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 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
36 résultats
|
|
triés par
|
|
Réécriture d'un modèle MCSE à l'aide du langage FIACRE2013
Rapport
hal-00871943v1
|
||
|
A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time AssumptionThe 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Apr 2018, Pau, France. 13p
Communication dans un congrès
hal-01717293v1
|
||
|
Solving allocation problems of hard real-time systems with dynamic constraint programming14th International Conference on Real-Time and Network Systems (RTNS'06), 2006, Poitiers, France, France. pp.214-223
Communication dans un congrès
hal-00483101v1
|
||
Décomposition et apprentissage pour un problème d'allocation de tâches temps-réel10e Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04), 2004, Angers, France, France. pp.123--138
Communication dans un congrès
hal-00448533v1
|
|||
|
Optimal Design of Virtual Links in AFDX NetworksReal-Time Systems, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
Article dans une revue
hal-00665755v2
|
||
|
A formal toolchain for offline and run-time verification of robotic systemsRobotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Article dans une revue
hal-03683044v2
|
||
|
Analyse d'un modèle AADL à l'aide de Pola10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243
Communication dans un congrès
hal-00493726v2
|
||
|
Simulation of Real-Time Scheduling with Various Execution Time Models9th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2014, Pise, Italy
Communication dans un congrès
hal-01052656v1
|
||
Guiding Architectural Design Process of Hard Real-Time Systems with Constraint ProgrammingThird Taiwanese-French Conference on Information Technology (TFIT 2006), 2006, Nancy, France, France. pp.317--331
Communication dans un congrès
hal-00448542v1
|
|||
How to solve allocation problems with constraint programmingthe 17th Euromicro conference on real time systems (ECRTS'05), 2005, Palma de Mallorca, Spain, Spain. pp.25--28
Communication dans un congrès
hal-00445179v1
|
|||
|
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network9th System Analysis and Modelling (SAM 2016), Oct 2016, Saint-Malo, France. ⟨10.1007/978-3-319-46613-2_11⟩
Communication dans un congrès
hal-01496891v1
|
||
|
Solving a real-time allocation problem with constraint programmingJournal of Systems and Software, 2007, 81 (1), pp.132-149. ⟨10.1016/j.jss.2007.02.032⟩
Article dans une revue
hal-00293898v1
|
||
|
Ordonnancement temps réel : des politiques monoprocesseurs aux politiques multiprocesseurs2012
Rapport
hal-00662741v1
|
||
|
An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile MethodsJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Article dans une revue
hal-02189482v1
|
||
|
Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réelSystèmes embarqués. INP DE TOULOUSE, 2016
HDR
tel-01451027v1
|
||
|
Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of RoboticsJournal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
Article dans une revue
hal-02864928v3
|
||
|
Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
Communication dans un congrès
hal-01331726v1
|
||
Schedulability analysis of OSEK/VDX applications15th International Conference on Real-Time and Network Systems - RTNS'07, Mar 2007, Nancy, France. pp.131
Communication dans un congrès
hal-00490656v1
|
|||
Decomposition and learning for a real time task allocation problemPrinciples and Practice of Constraint Programming (CP 2004), 2004, Toronto, Canada, Canada. pp.153--167
Communication dans un congrès
hal-00448532v1
|
|||
Overview of microkernel standards for real-time in-vehicle embedded systems4th Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan
Communication dans un congrès
hal-00490671v1
|
|||
|
Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.179-188
Communication dans un congrès
hal-00546945v1
|
||
|
De l'illustration du guidage à l'optimisation d'un plan par un robot Lego Mindstorm NXTJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2016, 15, ⟨10.1051/j3ea/2016006⟩
Article dans une revue
hal-01392601v1
|
||
Adequacy between AUTOSAR OS specification and real-time scheduling theoryIEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Jul 2007, Lisbon, Portugal. pp.225
Communication dans un congrès
hal-00490661v1
|
|||
Ordonnancement temps réel multiprocesseur partitionné et programmation par contraintes10ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'09, Feb 2009, Nancy, France. pp.159
Communication dans un congrès
hal-00490800v1
|
|||
Decomposition and learning for a hard real-time task allocating problemCORS/INFORMS Joint International Meeting, 2004, Banff, Alberta, Canada
Communication dans un congrès
hal-00869109v1
|
|||
|
Simulation d'ordonnancement temps réel avec prise en compte de l'impact des cachesÉcole d'été Temps Réel 2013, Aug 2013, Toulouse, France
Communication dans un congrès
hal-00870076v1
|
||
|
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time SystemsJournal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Article dans une revue
hal-03017661v4
|
||
Quaternions réels duaux et complexesEllipses Marketing, 2016, 978-2340010468
Ouvrages
hal-01587436v1
|
|||
|
Algorithmes pour l’ordonnancement temps réel multiprocesseurJournal Européen des Systèmes Automatisés (JESA), 2015, 48 (7-8), pp.613-639. ⟨10.3166/JESA.48.613-63⟩
Article dans une revue
hal-01221711v1
|
||
|
Activité pédagogique sur la création d'un jeu d'évasion6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Communication dans un congrès
hal-02307883v1
|
- 1
- 2