Scipediacontent: Scipediacontent moved page Draft Content 828841888 to 238,295ab

2021-03-22T18:24:41Z

Scipediacontent moved page Draft Content 828841888 to 238,295ab

Scipediacontent: Created page with " == Abstract == This paper presents a 'CPN/B method' based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Managemen..."

2021-03-22T18:24:29Z

Created page with " == Abstract == This paper presents a 'CPN/B method' based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Managemen..."

New page

== Abstract ==

This paper presents a 'CPN/B method' based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Management System (ERTMS/ETCS) is facing difficulties in railway safety assessment due to the interaction of national and European operating specifications. These specifications have been modeled using several formalisms, which makes it is extremely hard to preserve all requirements when switching between different formalisms. However, this problem, crucial for efficient progress in railway safety research, has received very little attention in the literature. In this respect, the purpose of this contribution is to provide a methodology to demonstrate safety in railway systems by converting CPN models, widely used in modeling, into B abstract machines. It aims at enabling a stronger combination of formal design techniques and analysis tools able to cope with the real complexity of systems and automatically prove that safety properties are unambiguous, consistent and not contradictory, considering an industrial railway context.

Document type: Article

== Full document ==
<pdf>Media:Draft_Content_828841888-beopen1027-5930-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.1007/s12544-017-0228-x http://dx.doi.org/10.1007/s12544-017-0228-x] under the license https://creativecommons.org/licenses/by

* [https://link.springer.com/content/pdf/10.1007%2Fs12544-017-0228-x.pdf https://link.springer.com/content/pdf/10.1007%2Fs12544-017-0228-x.pdf] under the license http://creativecommons.org/licenses/by/4.0

* [http://link.springer.com/article/10.1007/s12544-017-0228-x/fulltext.html http://link.springer.com/article/10.1007/s12544-017-0228-x/fulltext.html],
: [http://link.springer.com/content/pdf/10.1007/s12544-017-0228-x.pdf http://link.springer.com/content/pdf/10.1007/s12544-017-0228-x.pdf],
: [http://dx.doi.org/10.1007/s12544-017-0228-x http://dx.doi.org/10.1007/s12544-017-0228-x] under the license cc-by

* [https://etrr.springeropen.com/track/pdf/10.1007/s12544-017-0228-x https://etrr.springeropen.com/track/pdf/10.1007/s12544-017-0228-x],
: [https://link.springer.com/article/10.1007/s12544-017-0228-x https://link.springer.com/article/10.1007/s12544-017-0228-x],
: [https://core.ac.uk/display/81614159 https://core.ac.uk/display/81614159],
: [https://paperity.org/p/79250435/a-cpn-b-method-transformation-framework-for-railway-safety-rules-formal-validation https://paperity.org/p/79250435/a-cpn-b-method-transformation-framework-for-railway-safety-rules-formal-validation],
: [https://etrr.springeropen.com/articles/10.1007/s12544-017-0228-x https://etrr.springeropen.com/articles/10.1007/s12544-017-0228-x],
: [https://rd.springer.com/article/10.1007/s12544-017-0228-x https://rd.springer.com/article/10.1007/s12544-017-0228-x],
: [https://trid.trb.org/view/1460818 https://trid.trb.org/view/1460818],
: [https://academic.microsoft.com/#/detail/2603757458 https://academic.microsoft.com/#/detail/2603757458] under the license http://creativecommons.org/licenses/by/4.0

* [https://hal.archives-ouvertes.fr/hal-01549539 https://hal.archives-ouvertes.fr/hal-01549539],
: [https://hal.archives-ouvertes.fr/hal-01549539/document https://hal.archives-ouvertes.fr/hal-01549539/document],
: [https://hal.archives-ouvertes.fr/hal-01549539/file/doc00027108.pdf https://hal.archives-ouvertes.fr/hal-01549539/file/doc00027108.pdf]

← Older revision	Revision as of 18:24, 22 March 2021
(No difference)

238,295ab - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 828841888 to 238,295ab

Scipediacontent: Created page with " == Abstract == This paper presents a 'CPN/B method' based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Managemen..."