Zobrazeno 1 - 10
of 131
pro vyhledávání: '"Philippe Bon"'
Publikováno v:
Journal of Universal Computer Science, Vol 28, Iss 1, Pp 27-53 (2022)
Because stopping a service to apply updates raises issues, Dynamic Software Updating studies the application of updates on programs without disrupting the services they provide. This is acheived using specific mechanisms operating updating tasks such
Externí odkaz:
https://doaj.org/article/6f035364d5904f9395cc3bbab4589275
Publikováno v:
Journal of Universal Computer Science, Vol 26, Iss 5, Pp 549-582 (2020)
Dysfunctional analysis is an essential and demanding task in the early development stages of safety-critical systems (SCSs). Nevertheless, current practices present several drawbacks. Generally, a common dysfunctional analysis conceptualization is mi
Externí odkaz:
https://doaj.org/article/9206ec13c8b14cb1b622303998f3ebca
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031311079
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0062dc25e90a52c8b44419ac61b7778
https://doi.org/10.1007/978-3-031-31108-6_12
https://doi.org/10.1007/978-3-031-31108-6_12
Publikováno v:
WIT Transactions on The Built Environment.
Publikováno v:
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL. 17
In the context of automation and deployment of computer based control systems, a specific application on French railway line is proposed on low traffic single track railway lines. The issue of updates requires thorough consideration. In the case of l
Autor:
Philippe Bon, Sébastien Martinez, Matthieu Perin, Dalay Israel de Almeida Pereira, Simon Collart Dutilleul
Publikováno v:
International Journal of Transport Development and Integration. 4:218-229
Publikováno v:
Operating Rules and Interoperability in Trans-National High-Speed Rail ISBN: 9783030720018
Operating Rules and Interoperability in Trans-National High-Speed Rail
Operating Rules and Interoperability in Trans-National High-Speed Rail
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bff2b00155d6b327d09983370c8f569
https://doi.org/10.1007/978-3-030-72003-2_10
https://doi.org/10.1007/978-3-030-72003-2_10
Autor:
Magdalena Harris, Jenny Scott, Vivian Hope, Joanna Busza, Sedona Sweeney, Andrew Preston, Mat Southwell, Niamh Eastwood, Cedomir Vuckovic, Caitlynne McGaff, Ian Yoon, Louise Wilkins, Shoba Ram, Catherine Lord, Philippe Bonnet, Peter Furlong, Natasha Simpson, Holly Slater, Lucy Platt
Publikováno v:
Harm Reduction Journal, Vol 21, Iss 1, Pp 1-14 (2024)
Abstract Background Over 180,000 people use crack cocaine in England, yet provision of smoking equipment to support safer crack use is prohibited under UK law. Pipes used for crack cocaine smoking are often homemade and/or in short supply, leading to
Externí odkaz:
https://doaj.org/article/f3fc84dd277746c395d61913bf280b32
Publikováno v:
journal of communications
journal of communications, 2019, 14 (10), pp980-986. ⟨10.12720/jcm.14.10.980-986⟩
journal of communications, 2019, 14 (10), pp980-986. ⟨10.12720/jcm.14.10.980-986⟩
The verification of safety properties of critical systems, such as railway signaling systems, is better achieved by formal reasoning. Event-B as a formal method, allows to get safe and reliable systems. Nevertheless, modeling with Event-B method requ
Publikováno v:
Operating Rules and Interoperability in Trans-National High-Speed Rail ISBN: 9783030720018
This chapter deals with operating mode management of European railway systems, and this contribution is based on Supervisory Control Theory (SCT). The studied system contains several trains, and each one presents several operating modes varying by co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21306f9526d938592d534853e2889577
https://doi.org/10.1007/978-3-030-72003-2_8
https://doi.org/10.1007/978-3-030-72003-2_8