Zobrazeno 1 - 10
of 137
pro vyhledávání: '"Jean-Pierre Talpin"'
Autor:
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 80-87 (2010)
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling s
Externí odkaz:
https://doaj.org/article/e799b7c41f1a42edb3372cb5efaed233
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100809. ⟨10.1016/j.jlamp.2022.100809⟩
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100809. ⟨10.1016/j.jlamp.2022.100809⟩
Authors' preprint of final version; International audience; Matlab/Simulink is a de-facto industrial standard for modelling embedded systems. Reflecting the complexity of cyber-physical system (CPS) design, the semantics of Simulink is complex, mixin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95c775fa2a14d9c60b4017f260750cdc
https://hal.inria.fr/hal-03888092/file/jlamp22.pdf
https://hal.inria.fr/hal-03888092/file/jlamp22.pdf
Publikováno v:
Middleware 2022-23rd ACM/IFIP International Conference Middleware
Middleware 2022-23rd ACM/IFIP International Conference Middleware, Nov 2022, quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩
Middleware 2022-23rd ACM/IFIP International Conference Middleware, Nov 2022, Quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩
Middleware 2022-23rd ACM/IFIP International Conference Middleware, Nov 2022, quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩
Middleware 2022-23rd ACM/IFIP International Conference Middleware, Nov 2022, Quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩
Low-power operating system runtimes used on IoT microcontrollers typically provide rudimentary APIs, basic connectivity and, sometimes, a (secure) firmware update mechanism. In contrast, on less constrained hardware, networked software has entered th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efc760bd7f1a2b693a0aaaec9863fa0c
http://arxiv.org/abs/2210.03432
http://arxiv.org/abs/2210.03432
Publikováno v:
Science of Computer Programming. 228:102958
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab635c663822fb44f29b90f5e5d50f33
https://doi.org/10.1016/j.scico.2023.102958
https://doi.org/10.1016/j.scico.2023.102958
Autor:
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli
Publikováno v:
CAV 2022-34th International Conference on Computer Aided Verification
CAV 2022-34th International Conference on Computer Aided Verification, Aug 2022, Haifa, Israel. pp.1-23
HAL
CAV 2022-34th International Conference on Computer Aided Verification, Aug 2022, Haifa, Israel. pp.1-23
HAL
International audience; RIOT is a micro-kernel dedicated to IoT applications that adopts eBPF (extended Berkeley Packet Filters) to implement so-called femto-containers. As micro-controllers rarely feature hardware memory protection, the isolation of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e94c904fed1f63126a9447143264025
https://inria.hal.science/hal-03888082/file/cav22.pdf
https://inria.hal.science/hal-03888082/file/cav22.pdf
Publikováno v:
ACM Transactions on Software Engineering and Methodology
ACM Transactions on Software Engineering and Methodology, 2022, pp.1-47. ⟨10.1145/3517192⟩
ACM Transactions on Software Engineering and Methodology, 2022, pp.1-47. ⟨10.1145/3517192⟩
Model-based design has become the predominant approach to the design of hybrid and cyber-physical systems (CPSs). It advocates the use of mathematically founded models to capture heterogeneous digital and analog behaviours from domain-specific formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22faa6d4066403889e0934efe5e5981a
https://inria.hal.science/hal-03888055/document
https://inria.hal.science/hal-03888055/document
Autor:
Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031045790
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bec6f0f1716a87626e6724efaefd7e62
https://doi.org/10.1007/978-3-031-04580-6_17
https://doi.org/10.1007/978-3-031-04580-6_17
Autor:
Shenghao Yuan, Jean-Pierre Talpin
Publikováno v:
MEMOCODE 2021-19th ACM-IEEE International Conference on Formal Methods and Models for System Design
MEMOCODE 2021-19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Beijing, China. pp.1-16
MEMOCODE 2021-19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Beijing, China. pp.1-16
International audience; The fault of one device on a grid may incur severe economical or physical damages. Among the many critical components in such IoT devices, the operating system's bootloader comes first to initiate the trusted function of the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::903a01df8ad20aa40487a25c163709aa
https://inria.hal.science/hal-03343002v2/file/memocode21.pdf
https://inria.hal.science/hal-03343002v2/file/memocode21.pdf
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, 2021, pp.1-25. ⟨10.1016/j.tcs.2021.11.008⟩
Theoretical Computer Science, Elsevier, 2021, pp.1-25. ⟨10.1016/j.tcs.2021.11.008⟩
Theoretical Computer Science, 2021, pp.1-25. ⟨10.1016/j.tcs.2021.11.008⟩
Theoretical Computer Science, Elsevier, 2021, pp.1-25. ⟨10.1016/j.tcs.2021.11.008⟩
The efficient design of safety-critical cyber-physical systems (CPS) requires the co-modeling and -verification of its physics, architecture and functionalities. Existing co-modeling formalisms do not account for these three design aspects into accou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca74f7d8f77f7e6eb4a763bd956d2acb
https://inria.hal.science/hal-03488546
https://inria.hal.science/hal-03488546
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021, 12819, Springer International Publishing, pp.134-151, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85315-0_9⟩
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151, ⟨10.1007/978-3-030-85315-0_9⟩
Theoretical Aspects of Computing – ICTAC 2021 ISBN: 9783030853143
Theoretical Aspects of Computing – ICTAC 2021, 12819, Springer International Publishing, pp.134-151, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85315-0_9⟩
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151, ⟨10.1007/978-3-030-85315-0_9⟩
Theoretical Aspects of Computing – ICTAC 2021 ISBN: 9783030853143
International audience; Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55f8d1f29833e797b9cb4c9450e27069
https://hal.inria.fr/hal-03488361
https://hal.inria.fr/hal-03488361