Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Jean Charles Fabre"'
Publikováno v:
European Dependable Computing Conference (EDCC 2021)
European Dependable Computing Conference (EDCC 2021), Sep 2021, Munich (virtual), Germany. ⟨10.1109/EDCC53658.2021.00015⟩
European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
EDCC
European Dependable Computing Conference (EDCC 2021), Sep 2021, Munich (virtual), Germany. ⟨10.1109/EDCC53658.2021.00015⟩
European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
EDCC
International audience; Multicore parallelism involve inter-tasks interferences leading to execution timing uncertainties. This is important for safety concerns in industrial applications (automotive for instance). Existing solutions limit significan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0c5e1ddaa18a4574eeb68075cada316
https://hal.laas.fr/hal-03275605/file/EDCC___Run_time_Monitoring_and_Control_for_Temporal_Fault_Prevention_in_Mixed_criticality_Systems.pdf
https://hal.laas.fr/hal-03275605/file/EDCC___Run_time_Monitoring_and_Control_for_Temporal_Fault_Prevention_in_Mixed_criticality_Systems.pdf
Publikováno v:
6th Intern. Workshop on Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN)
6th Intern. Workshop on Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
DSN Workshops
6th Intern. Workshop on Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
DSN Workshops
International audience; This paper presents a generic approach to specify a fault tolerant robot controller, and its implementation and validation with ROS and Gazebo. The main idea is to implement a fault tolerance strategy using a fault tree and an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ade39cb50ccbce285e6b561216216d27
https://hal.laas.fr/hal-02558604
https://hal.laas.fr/hal-02558604
Publikováno v:
RTNS
RTNS 2020: 28th International Conference on Real-Time Networks and Systems
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
RTNS 2020: 28th International Conference on Real-Time Networks and Systems
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩
International audience; The main promise of intelligent transportation systems (ITS) is that leveraging the information sensed by millions of vehicles will increase the quality of the user's experience. However, the unpredictable nature of road event
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29004b993c4cae096c9d71174d091ccc
https://doi.org/10.1145/3394810.3394818
https://doi.org/10.1145/3394810.3394818
Publikováno v:
EDCC
13th European Dependable Computing Conference (EDCC 2017)
13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
13th European Dependable Computing Conference (EDCC 2017)
13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
International audience; A system that remains dependable when facing changes is called resilient. The fast evolution of systems, including safety critical systems, requires that fault tolerance mechanisms – FTM – remain consistent with their assu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::faa66b17b4ade3b71cd9bf89e92dfda3
https://doi.org/10.1109/edcc.2017.22
https://doi.org/10.1109/edcc.2017.22
Publikováno v:
DSN Workshops
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Jun 2017, Denver, United States. 7p., ⟨10.1109/DSN-W.2017.42⟩
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Jun 2017, Denver, United States. 7p., ⟨10.1109/DSN-W.2017.42⟩
International audience; The use of over-the-air updates has attracted very much interest these last few years with the software-intensive development of embedded systems in the car industry. The development of autonomous driving and ADAS (Advanced Dr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cad40751c780efdc03ae096f7c9c2a1
https://doi.org/10.1109/dsn-w.2017.42
https://doi.org/10.1109/dsn-w.2017.42
Publikováno v:
Journal of Systems Architecture
Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Journal of Systems Architecture, Elsevier, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
Journal of Systems Architecture, Elsevier, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩
International audience; Evolution of systems during their operational life is mandatory and both updates and upgrades should not impair their dependability properties. Dependable systems must evolve to accommodate changes, such as new threats and und
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d1b2be6c4db19bf92df041175dc07ac
https://hal.science/hal-01472877/file/JSA-2016-final.pdf
https://hal.science/hal-01472877/file/JSA-2016-final.pdf
Publikováno v:
The Handbook of Formal Methods in Human-Computer Interaction
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Human–Computer Interaction Series ISBN: 9783319518374
Handbook of Formal Methods in Human-Computer Interaction
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Human–Computer Interaction Series ISBN: 9783319518374
Handbook of Formal Methods in Human-Computer Interaction
International audience; Formal methods provide support for validation and verification of interactive systems by means of complete and unambiguous description of the envisioned system. Used in the early stages of the development process, they allow d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb7e320268d0a8c5261c2d2b975c0b17
https://hal.science/hal-03131879
https://hal.science/hal-03131879
Publikováno v:
ROSCon Seoul 2016.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e05004e99c5cb69c5e232541b8c1fbe
https://doi.org/10.36288/roscon2016-900229
https://doi.org/10.36288/roscon2016-900229
Autor:
David Navarre, Martin Cronel, Camille Fayollas, Yannick Deleris, Philippe Palanque, Jean-Charles Fabre
Publikováno v:
HCI-Aero '16: Proceedings of the International Conference on Human-Computer Interaction in Aerospace
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016)
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9
HCI-Aero
HAL
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016)
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9
HCI-Aero
HAL
International audience; Interactive cockpits have been used since the early 00's in many aircraft cockpits, but the use of interactivity still remains limited to non-critical functions even in the most recent aircrafts. Indeed, engineering such inter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::167095805500151378de3f4b0d8aa8c9
https://oatao.univ-toulouse.fr/24685/
https://oatao.univ-toulouse.fr/24685/