Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Deharbe, David"'
The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) under the pressure of the worldwide market. A smart combination of hardwar
Externí odkaz:
http://arxiv.org/abs/2005.10662
Autor:
Lecomte, Thierry, Deharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Susungi, Adilla, Conchon, Sylvain
Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during short-term projects. The CLEARSY Safety Platform fulfils a need for a
Externí odkaz:
http://arxiv.org/abs/2005.07191
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. a
Externí odkaz:
http://arxiv.org/abs/2005.07190
Publikováno v:
EPTCS 240, 2017, pp. 82-90
The application of automatic theorem provers to discharge proof obligations is necessary to apply formal methods in an efficient manner. Tools supporting formal methods, such as Atelier~B, generate proof obligations fully automatically. Consequently,
Externí odkaz:
http://arxiv.org/abs/1701.08470
Autor:
Medeiros Jr., Valério, Déharbe, David
Publikováno v:
EPTCS 139, 2014, pp. 53-58
This paper presents BEval, an extension of Atelier B to improve automation in the verification activities in the B method or Event-B. It combines a tool for managing and verifying software projects (Atelier B) and a model checker/animator (ProB) so t
Externí odkaz:
http://arxiv.org/abs/1401.0972
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive applications of refinements to derive a concrete implementation from a
Externí odkaz:
http://arxiv.org/abs/0907.2039
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 July 2007 184:81-96
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 July 2007 184:21-37
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 May 2005 130:301-321
Publikováno v:
In Journal of Logic and Algebraic Programming 2004 59(1):63-87