Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jean-Louis Camus"'
Autor:
Jean-Louis Camus
Publikováno v:
Digital Avionics Handbook ISBN: 9781315216980
This chapter provides an introduction to model-based development and verification process using tool sets that have been used in designing, developing, and simulating an avionics system. SCADE Suite is a model-based development environment dedicated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8865415c3f9065951d4dc94b5b96a870
https://doi.org/10.1201/b17545-41
https://doi.org/10.1201/b17545-41
Autor:
Jean-Louis Camus
Publikováno v:
Formal Methods: Industrial Use from Model to the Code
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81cc100105e0b43456d0b378f751b292
https://doi.org/10.1002/9781118561898.ch6
https://doi.org/10.1002/9781118561898.ch6
Autor:
Hervé Delseny, Jean-Paul Blanquart, Philippe Quéré, Philippe Baufreton, Bertrand Ricque, Jean Gassino, Jean-Louis Camus, Jean-Louis Boulanger, Cyrille Comar, Emmanuel Ledinot
Publikováno v:
DSN Workshops
In a context where software is more and more pervasive in all systems, and where it is sometimes advocated that software complexity and size seem to provide some relevance to a probabilistic view of software behaviour, several initiatives suggest to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed67055fb2f82307e9c6a9210ca7411e
https://doi.org/10.1109/dsn-w.2016.19
https://doi.org/10.1109/dsn-w.2016.19
Autor:
Thierry Le Sergent, Jean-Louis Camus
Publikováno v:
SDL 2001: Meeting UML ISBN: 9783540422815
SDL Forum
SDL Forum
Engineers are faced nowadays with the challenge of designing strongly distributed control systems, with complex interactions. There is little theory and tool support to address this recent challenge. Control engineering and telecom engineering have d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::616ed8643bc7c168965ee0c7352c6132
https://doi.org/10.1007/3-540-48213-x_1
https://doi.org/10.1007/3-540-48213-x_1
Safety critical software requires rigorous processes in order to achieve a high degree of integrity. These processes include so-called " verification of verification ". In the case of Model Based Development and Verification, DO-178C/DO-331 requires
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c5b6d4aaeac17e1262bae5baeaa2ef6
https://hal.science/hal-01262411
https://hal.science/hal-01262411