Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Ledinot, Emmanuel"'
Autor:
Ledinot, Emmanuel
Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems are safe and
Externí odkaz:
http://arxiv.org/abs/2104.13210
Autor:
Blanquart, Jean-Paul, Ledinot, Emmanuel, Gassino, Jean, Baufreton, Philippe, Boulanger, Jean-Louis, Brouste, Stéphane, Camus, Jean, Comar, Cyrille, Quéré, Philippe, Ricque, Bertrand
Publikováno v:
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2697ae4ab2a6a7b4b046208f3511542e
https://hal.archives-ouvertes.fr/hal-01734621/document
https://hal.archives-ouvertes.fr/hal-01734621/document
Autor:
Berry, Gérard *, Bouali, Amar, Fornari, Xavier, Ledinot, Emmanuel, Nassor, Eric, de Simone, Robert
Publikováno v:
In Science of Computer Programming 2000 36(1):5-25
Autor:
Ledinot, Emmanuel, Blanquart, Jean-Paul, Gassino, Jean, Ricque, Bertrand, Baufreton, Philippe, Boulanger, Jean-Louis, Camus, Jean-Louis, Comar, Cyrille, Delseny, Hervé, Quéré, Philippe
Publikováno v:
Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
International audience; Safety standards in most domains (aeronautics, automotive, industry, nuclear, railway, space) consider software (and more generally, design) as a deterministic artefact. They propose a global rationale combining probabilistic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9cd6b23b2022b7967f06dcb7bca2f84b
https://hal.archives-ouvertes.fr/hal-01292293/document
https://hal.archives-ouvertes.fr/hal-01292293/document
Autor:
Blanquart, Jean-Paul, Astruc, Jean-Marc, Baufreton, Philippe, Boulanger, Jean-Louis, Delseny, Hervé, Gassino, Jean, Ladier, Gerard, Ledinot, Emmanuel, Leeman, Michel, Machrouh, Joseph, Quéré, Philippe, Ricque, Bertrand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8641bd977db754b611bc32ad909b6ef7
https://hal.science/hal-02170342
https://hal.science/hal-02170342
Publikováno v:
ERTS 2006 proceedings
Conference ERTS'06
Conference ERTS'06, Jan 2006, Toulouse, France
Conference ERTS'06
Conference ERTS'06, Jan 2006, Toulouse, France
International audience; This paper presents experiences in using several model checking tools to verify properties of a critical real time embedded system. The tools we tested are Lesar, SMV, Prover Plug In for SCADE and Uppaal. The application is th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::299bee8cf2dc158042ead5fb445a09d0
https://hal.archives-ouvertes.fr/hal-02270431/file/4A1_F.Boniol_Onera.pdf
https://hal.archives-ouvertes.fr/hal-02270431/file/4A1_F.Boniol_Onera.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.