Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597508548> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1597508548 endingPage "351" @default.
- W1597508548 startingPage "275" @default.
- W1597508548 abstract "This chapter shows that it is indeed possible to apply a formal validation method to industrial automatisms. It focuses on the case of railway automatisms. The method is based on several design actions: taking the specific railway context to be highly important, identifying security properties and operating postulates; making a distinction between the functional software and the basic software; specifying the functions in the form of automata written in AEFD language (Deterministic Finite Automaton). This language makes it possible to write Petri networks and interpret in a deterministic way which is accessible to those involved in signaling. The application of formal methods to signal boxes requires that we render the safety properties and the operation postulates totally explicit. Therefore, it is necessary to take the railway context on board, to observe and formalize the safety and the logical and physical properties of its critical computerized systems." @default.
- W1597508548 created "2016-06-24" @default.
- W1597508548 creator A5020401697 @default.
- W1597508548 date "2014-06-20" @default.
- W1597508548 modified "2023-09-23" @default.
- W1597508548 title "Validation of Railway Security Automatisms Based on Petri Networks" @default.
- W1597508548 cites W1996094105 @default.
- W1597508548 cites W2137040597 @default.
- W1597508548 doi "https://doi.org/10.1002/9781119004707.ch10" @default.
- W1597508548 hasPublicationYear "2014" @default.
- W1597508548 type Work @default.
- W1597508548 sameAs 1597508548 @default.
- W1597508548 citedByCount "0" @default.
- W1597508548 crossrefType "other" @default.
- W1597508548 hasAuthorship W1597508548A5020401697 @default.
- W1597508548 hasConcept C112505250 @default.
- W1597508548 hasConcept C115903868 @default.
- W1597508548 hasConcept C151730666 @default.
- W1597508548 hasConcept C199360897 @default.
- W1597508548 hasConcept C2777904410 @default.
- W1597508548 hasConcept C2779343474 @default.
- W1597508548 hasConcept C38677869 @default.
- W1597508548 hasConcept C41008148 @default.
- W1597508548 hasConcept C75606506 @default.
- W1597508548 hasConcept C80444323 @default.
- W1597508548 hasConcept C86803240 @default.
- W1597508548 hasConceptScore W1597508548C112505250 @default.
- W1597508548 hasConceptScore W1597508548C115903868 @default.
- W1597508548 hasConceptScore W1597508548C151730666 @default.
- W1597508548 hasConceptScore W1597508548C199360897 @default.
- W1597508548 hasConceptScore W1597508548C2777904410 @default.
- W1597508548 hasConceptScore W1597508548C2779343474 @default.
- W1597508548 hasConceptScore W1597508548C38677869 @default.
- W1597508548 hasConceptScore W1597508548C41008148 @default.
- W1597508548 hasConceptScore W1597508548C75606506 @default.
- W1597508548 hasConceptScore W1597508548C80444323 @default.
- W1597508548 hasConceptScore W1597508548C86803240 @default.
- W1597508548 hasLocation W15975085481 @default.
- W1597508548 hasOpenAccess W1597508548 @default.
- W1597508548 hasPrimaryLocation W15975085481 @default.
- W1597508548 hasRelatedWork W1541444782 @default.
- W1597508548 hasRelatedWork W1545777893 @default.
- W1597508548 hasRelatedWork W2005783020 @default.
- W1597508548 hasRelatedWork W2007930559 @default.
- W1597508548 hasRelatedWork W2011942926 @default.
- W1597508548 hasRelatedWork W2091821831 @default.
- W1597508548 hasRelatedWork W2141562520 @default.
- W1597508548 hasRelatedWork W3036249540 @default.
- W1597508548 hasRelatedWork W37120650 @default.
- W1597508548 hasRelatedWork W2498156839 @default.
- W1597508548 isParatext "false" @default.
- W1597508548 isRetracted "false" @default.
- W1597508548 magId "1597508548" @default.
- W1597508548 workType "other" @default.