Matches in SemOpenAlex for { <https://semopenalex.org/work/W74656786> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W74656786 abstract "We report on a comparative study on formal verification of two level crossing controllers that were developed using SCADE by a rail automation manufacturer. Deductive Cause-Consequence Analysis of Ortmeier et al. is applied for formal safety analysis and in addition, safety requirements are proven. Even with these medium size industrial case studies we observed intense complexity problems that could not be overcome by employing different heuristics like abstraction and compositional verification. In particular, we failed to prove a crucial liveness property within the SCADE framework stating that an unsafe state will not be persistent. We finally succeeded to prove this property by combining abstraction and model transformation from SCADE to UPPAAL timed automata. In addition, we found that the modeling style has a significant impact on the complexity of the verification task." @default.
- W74656786 created "2016-06-24" @default.
- W74656786 creator A5008712105 @default.
- W74656786 creator A5015904690 @default.
- W74656786 creator A5039694027 @default.
- W74656786 date "2011-01-01" @default.
- W74656786 modified "2023-09-25" @default.
- W74656786 title "Formal Safety Analysis in Industrial Practice" @default.
- W74656786 cites W1519442306 @default.
- W74656786 cites W1565059069 @default.
- W74656786 cites W1981808971 @default.
- W74656786 cites W2070310630 @default.
- W74656786 cites W2101508170 @default.
- W74656786 cites W2125415493 @default.
- W74656786 cites W2142071020 @default.
- W74656786 cites W2155235848 @default.
- W74656786 doi "https://doi.org/10.1007/978-3-642-24431-5_7" @default.
- W74656786 hasPublicationYear "2011" @default.
- W74656786 type Work @default.
- W74656786 sameAs 74656786 @default.
- W74656786 citedByCount "4" @default.
- W74656786 countsByYear W746567862014 @default.
- W74656786 countsByYear W746567862015 @default.
- W74656786 countsByYear W746567862018 @default.
- W74656786 countsByYear W746567862019 @default.
- W74656786 crossrefType "book-chapter" @default.
- W74656786 hasAuthorship W74656786A5008712105 @default.
- W74656786 hasAuthorship W74656786A5015904690 @default.
- W74656786 hasAuthorship W74656786A5039694027 @default.
- W74656786 hasConcept C110251889 @default.
- W74656786 hasConcept C111472728 @default.
- W74656786 hasConcept C111498074 @default.
- W74656786 hasConcept C111919701 @default.
- W74656786 hasConcept C112505250 @default.
- W74656786 hasConcept C115901376 @default.
- W74656786 hasConcept C115903868 @default.
- W74656786 hasConcept C124304363 @default.
- W74656786 hasConcept C127413603 @default.
- W74656786 hasConcept C127705205 @default.
- W74656786 hasConcept C138885662 @default.
- W74656786 hasConcept C154945302 @default.
- W74656786 hasConcept C15569618 @default.
- W74656786 hasConcept C199360897 @default.
- W74656786 hasConcept C2776436953 @default.
- W74656786 hasConcept C2779791154 @default.
- W74656786 hasConcept C41008148 @default.
- W74656786 hasConcept C75606506 @default.
- W74656786 hasConcept C78519656 @default.
- W74656786 hasConcept C80444323 @default.
- W74656786 hasConceptScore W74656786C110251889 @default.
- W74656786 hasConceptScore W74656786C111472728 @default.
- W74656786 hasConceptScore W74656786C111498074 @default.
- W74656786 hasConceptScore W74656786C111919701 @default.
- W74656786 hasConceptScore W74656786C112505250 @default.
- W74656786 hasConceptScore W74656786C115901376 @default.
- W74656786 hasConceptScore W74656786C115903868 @default.
- W74656786 hasConceptScore W74656786C124304363 @default.
- W74656786 hasConceptScore W74656786C127413603 @default.
- W74656786 hasConceptScore W74656786C127705205 @default.
- W74656786 hasConceptScore W74656786C138885662 @default.
- W74656786 hasConceptScore W74656786C154945302 @default.
- W74656786 hasConceptScore W74656786C15569618 @default.
- W74656786 hasConceptScore W74656786C199360897 @default.
- W74656786 hasConceptScore W74656786C2776436953 @default.
- W74656786 hasConceptScore W74656786C2779791154 @default.
- W74656786 hasConceptScore W74656786C41008148 @default.
- W74656786 hasConceptScore W74656786C75606506 @default.
- W74656786 hasConceptScore W74656786C78519656 @default.
- W74656786 hasConceptScore W74656786C80444323 @default.
- W74656786 hasLocation W746567861 @default.
- W74656786 hasOpenAccess W74656786 @default.
- W74656786 hasPrimaryLocation W746567861 @default.
- W74656786 hasRelatedWork W121890175 @default.
- W74656786 hasRelatedWork W159786747 @default.
- W74656786 hasRelatedWork W1610445930 @default.
- W74656786 hasRelatedWork W1978675221 @default.
- W74656786 hasRelatedWork W2129057127 @default.
- W74656786 hasRelatedWork W2183963042 @default.
- W74656786 hasRelatedWork W2234147556 @default.
- W74656786 hasRelatedWork W2337199695 @default.
- W74656786 hasRelatedWork W2462732113 @default.
- W74656786 hasRelatedWork W2464872518 @default.
- W74656786 hasRelatedWork W2775532735 @default.
- W74656786 hasRelatedWork W2792616611 @default.
- W74656786 hasRelatedWork W2901235792 @default.
- W74656786 hasRelatedWork W2949108167 @default.
- W74656786 hasRelatedWork W2955537307 @default.
- W74656786 hasRelatedWork W3124334311 @default.
- W74656786 hasRelatedWork W3127524265 @default.
- W74656786 hasRelatedWork W3175446617 @default.
- W74656786 hasRelatedWork W3193928150 @default.
- W74656786 hasRelatedWork W999191431 @default.
- W74656786 isParatext "false" @default.
- W74656786 isRetracted "false" @default.
- W74656786 magId "74656786" @default.
- W74656786 workType "book-chapter" @default.