Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Bouissou, Olivier"'
Autor:
Bouissou, Olivier
Si l'interet et l'efficacite des methodes d'analyse statique par interpretation abstraite pour la verification des programmes critiques embarques ne sont plus a demontrer, il est maintenant necessaire d'obtenir des methodes les plus precises possibl
Externí odkaz:
http://pastel.archives-ouvertes.fr/pastel-00004412
http://pastel.archives-ouvertes.fr/docs/00/50/37/46/PDF/Bouissou.pdf
http://pastel.archives-ouvertes.fr/docs/00/50/37/46/PDF/Bouissou.pdf
Modern control-command systems often include controllers that perform nonlinear computations to control a physical system, which can typically be described by an hybrid automaton containing high-dimensional systems of nonlinear differential equations
Externí odkaz:
http://arxiv.org/abs/1306.2305
Publikováno v:
Electronic Notes in Theoretical Computer Science (2010) 29-42
Static analysis by abstract interpretation aims at automatically proving properties of computer programs. To do this, an over-approximation of program semantics, defined as the least fixpoint of a system of semantic equations, must be computed. To en
Externí odkaz:
http://arxiv.org/abs/1006.3159
Publikováno v:
In Automatica April 2017 78:287-296
Publikováno v:
In Journal of Symbolic Computation December 2012 47(12):1479-1511
Autor:
Bouissou, Olivier
Publikováno v:
In IFAC Proceedings Volumes 2012 45(9):291-298
Autor:
Bouissou, Olivier1 olivier.bouissou@cea.fr, Goubault, Eric1 eric.goubault@cea.fr, Goubault-Larrecq, Jean2 goubault@lsv.ens-cachan.fr, Putot, Sylvie1 sylvie.putot@cea.fr
Publikováno v:
Computing. Mar2012, Vol. 94 Issue 2-4, p189-201. 13p. 3 Charts, 7 Graphs.
Publikováno v:
ERTS 2014 proceedings
Embedded real-time software and systems (ERTS² 2014)
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Embedded Real Time Software and Systems (ERTS2)
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Embedded real-time software and systems (ERTS² 2014)
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Embedded Real Time Software and Systems (ERTS2)
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
International audience; Model-based design is a widely used methodology for the development of embedded critical software, such as a discrete controller for a continuous plant. In this setting, numerical simulation of both the plant and the controlle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::acb0a9ecc4185d853565b1f4f6e00e84
https://hal-onera.archives-ouvertes.fr/hal-02272045
https://hal-onera.archives-ouvertes.fr/hal-02272045
Autor:
Bouissou, Olivier, Conquet, Eric, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Ghorbal, Khalil, Goubault, Eric, Lesens, David, Mauborgne, Laurent, Miné, Antoine, Putot, Sylvie, Rival, Xavier, Turin, Michel
Publikováno v:
The International Space System Engineering Conference : Data Systems in Aerospace-DASIA 2009
The International Space System Engineering Conference : Data Systems in Aerospace-DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
The International Space System Engineering Conference : Data Systems in Aerospace-DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
International audience; This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially used since several years, especially
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::992bd5b9e0ef8c4ff8d101d710923d68
https://inria.hal.science/inria-00528590/file/dasia2009.pdf
https://inria.hal.science/inria-00528590/file/dasia2009.pdf
Autor:
Bouissou, Olivier, Martel, Matthieu
27 pages; In this article, we present a model and a denotational semantics for hybrid systems made of a continuous and a discrete subsystem. Our model is designed so that it may be easily used for modeling large, existing, critical embedded applicati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b671c977fef05c50c1fe3eb40a50d2f
https://hal.archives-ouvertes.fr/hal-00177031v3/document
https://hal.archives-ouvertes.fr/hal-00177031v3/document