Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740988691> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2740988691 endingPage "162" @default.
- W2740988691 startingPage "147" @default.
- W2740988691 abstract "The design of complex safety critical systems raises new technical challenges for the industry. As systems become more complex—and include more and more interacting functions—it becomes harder to evaluate the safety implications of local failures and their possible propagation through a whole system. That is all the more true when we add time to the problem, that is when we consider the impact of computation times and delays on the propagation of failures. We describe an approach that extends models developed for Safety Analysis with timing information and provide tools to reason on the correctness of temporal safety conditions. Our approach is based on an extension of the AltaRica language where we can associate timing constraints with events and relies on a translation into a realtime model-checking toolset. We illustrate our method with an example that is representative of safety architectures found in critical systems." @default.
- W2740988691 created "2017-08-08" @default.
- W2740988691 creator A5014834250 @default.
- W2740988691 creator A5021291109 @default.
- W2740988691 creator A5022722845 @default.
- W2740988691 creator A5037406517 @default.
- W2740988691 creator A5070617834 @default.
- W2740988691 date "2017-01-01" @default.
- W2740988691 modified "2023-09-30" @default.
- W2740988691 title "A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica" @default.
- W2740988691 cites W1543835464 @default.
- W2740988691 cites W1600824603 @default.
- W2740988691 cites W1655053995 @default.
- W2740988691 cites W1933722645 @default.
- W2740988691 cites W1979861434 @default.
- W2740988691 cites W2064759549 @default.
- W2740988691 cites W2070996046 @default.
- W2740988691 cites W2142830749 @default.
- W2740988691 cites W2166604851 @default.
- W2740988691 cites W2174091519 @default.
- W2740988691 doi "https://doi.org/10.1007/978-3-319-64119-5_10" @default.
- W2740988691 hasPublicationYear "2017" @default.
- W2740988691 type Work @default.
- W2740988691 sameAs 2740988691 @default.
- W2740988691 citedByCount "1" @default.
- W2740988691 countsByYear W27409886912020 @default.
- W2740988691 crossrefType "book-chapter" @default.
- W2740988691 hasAuthorship W2740988691A5014834250 @default.
- W2740988691 hasAuthorship W2740988691A5021291109 @default.
- W2740988691 hasAuthorship W2740988691A5022722845 @default.
- W2740988691 hasAuthorship W2740988691A5037406517 @default.
- W2740988691 hasAuthorship W2740988691A5070617834 @default.
- W2740988691 hasBestOaLocation W27409886912 @default.
- W2740988691 hasConcept C104317684 @default.
- W2740988691 hasConcept C105580179 @default.
- W2740988691 hasConcept C110251889 @default.
- W2740988691 hasConcept C115903868 @default.
- W2740988691 hasConcept C120314980 @default.
- W2740988691 hasConcept C127413603 @default.
- W2740988691 hasConcept C149364088 @default.
- W2740988691 hasConcept C154945302 @default.
- W2740988691 hasConcept C163707989 @default.
- W2740988691 hasConcept C185592680 @default.
- W2740988691 hasConcept C199360897 @default.
- W2740988691 hasConcept C200601418 @default.
- W2740988691 hasConcept C2777904410 @default.
- W2740988691 hasConcept C2778029271 @default.
- W2740988691 hasConcept C41008148 @default.
- W2740988691 hasConcept C45374587 @default.
- W2740988691 hasConcept C47822265 @default.
- W2740988691 hasConcept C55439883 @default.
- W2740988691 hasConcept C55493867 @default.
- W2740988691 hasConcept C80444323 @default.
- W2740988691 hasConceptScore W2740988691C104317684 @default.
- W2740988691 hasConceptScore W2740988691C105580179 @default.
- W2740988691 hasConceptScore W2740988691C110251889 @default.
- W2740988691 hasConceptScore W2740988691C115903868 @default.
- W2740988691 hasConceptScore W2740988691C120314980 @default.
- W2740988691 hasConceptScore W2740988691C127413603 @default.
- W2740988691 hasConceptScore W2740988691C149364088 @default.
- W2740988691 hasConceptScore W2740988691C154945302 @default.
- W2740988691 hasConceptScore W2740988691C163707989 @default.
- W2740988691 hasConceptScore W2740988691C185592680 @default.
- W2740988691 hasConceptScore W2740988691C199360897 @default.
- W2740988691 hasConceptScore W2740988691C200601418 @default.
- W2740988691 hasConceptScore W2740988691C2777904410 @default.
- W2740988691 hasConceptScore W2740988691C2778029271 @default.
- W2740988691 hasConceptScore W2740988691C41008148 @default.
- W2740988691 hasConceptScore W2740988691C45374587 @default.
- W2740988691 hasConceptScore W2740988691C47822265 @default.
- W2740988691 hasConceptScore W2740988691C55439883 @default.
- W2740988691 hasConceptScore W2740988691C55493867 @default.
- W2740988691 hasConceptScore W2740988691C80444323 @default.
- W2740988691 hasLocation W27409886911 @default.
- W2740988691 hasLocation W27409886912 @default.
- W2740988691 hasLocation W27409886913 @default.
- W2740988691 hasLocation W27409886914 @default.
- W2740988691 hasLocation W27409886915 @default.
- W2740988691 hasLocation W27409886916 @default.
- W2740988691 hasLocation W27409886917 @default.
- W2740988691 hasLocation W27409886918 @default.
- W2740988691 hasOpenAccess W2740988691 @default.
- W2740988691 hasPrimaryLocation W27409886911 @default.
- W2740988691 hasRelatedWork W108742494 @default.
- W2740988691 hasRelatedWork W1594283178 @default.
- W2740988691 hasRelatedWork W1764099364 @default.
- W2740988691 hasRelatedWork W1992418267 @default.
- W2740988691 hasRelatedWork W2151178082 @default.
- W2740988691 hasRelatedWork W2155162307 @default.
- W2740988691 hasRelatedWork W2405638967 @default.
- W2740988691 hasRelatedWork W2623736020 @default.
- W2740988691 hasRelatedWork W39738311 @default.
- W2740988691 hasRelatedWork W4288099681 @default.
- W2740988691 isParatext "false" @default.
- W2740988691 isRetracted "false" @default.
- W2740988691 magId "2740988691" @default.
- W2740988691 workType "book-chapter" @default.