Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003012713> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2003012713 endingPage "78" @default.
- W2003012713 startingPage "57" @default.
- W2003012713 abstract "With rapid developments in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To avoid such mishaps, we need to verify safety-critical systems thoroughly and formal verification techniques such as model checking are a very promising approach. However, modeling the systems formally is a challenging task, which is further aggravated by the necessity to model faults and automatic repairs in safety-critical systems. Currently, there is no automatic technique in formal verification that can aid system designers in formally modeling the faults and repairs. This work contributes by proposing an extension to the Safecharts model so that faults and repairs are easily modeled and then the Safecharts are transformed into semantically equivalent Extended Timed Automata models that can be directly model checked. In this way, automatic failure analysis techniques are integrated into the SGM model checker. Application examples show the feasibility and benefits of the proposed model-driven verification of safety-critical systems." @default.
- W2003012713 created "2016-06-24" @default.
- W2003012713 creator A5034725505 @default.
- W2003012713 creator A5050423310 @default.
- W2003012713 date "2007-02-01" @default.
- W2003012713 modified "2023-09-27" @default.
- W2003012713 title "AUTOMATIC FAILURE ANALYSIS USING SAFECHARTS" @default.
- W2003012713 cites W1976880037 @default.
- W2003012713 cites W2008379855 @default.
- W2003012713 cites W2101508170 @default.
- W2003012713 cites W2117834984 @default.
- W2003012713 cites W2154267349 @default.
- W2003012713 cites W2169408654 @default.
- W2003012713 cites W2489078609 @default.
- W2003012713 doi "https://doi.org/10.1142/s0218194007003136" @default.
- W2003012713 hasPublicationYear "2007" @default.
- W2003012713 type Work @default.
- W2003012713 sameAs 2003012713 @default.
- W2003012713 citedByCount "0" @default.
- W2003012713 crossrefType "journal-article" @default.
- W2003012713 hasAuthorship W2003012713A5034725505 @default.
- W2003012713 hasAuthorship W2003012713A5050423310 @default.
- W2003012713 hasConcept C110251889 @default.
- W2003012713 hasConcept C111498074 @default.
- W2003012713 hasConcept C112505250 @default.
- W2003012713 hasConcept C115903868 @default.
- W2003012713 hasConcept C127413603 @default.
- W2003012713 hasConcept C146978453 @default.
- W2003012713 hasConcept C149635348 @default.
- W2003012713 hasConcept C154945302 @default.
- W2003012713 hasConcept C15792166 @default.
- W2003012713 hasConcept C163707989 @default.
- W2003012713 hasConcept C199360897 @default.
- W2003012713 hasConcept C200601418 @default.
- W2003012713 hasConcept C201995342 @default.
- W2003012713 hasConcept C2777904410 @default.
- W2003012713 hasConcept C2780451532 @default.
- W2003012713 hasConcept C41008148 @default.
- W2003012713 hasConcept C75606506 @default.
- W2003012713 hasConceptScore W2003012713C110251889 @default.
- W2003012713 hasConceptScore W2003012713C111498074 @default.
- W2003012713 hasConceptScore W2003012713C112505250 @default.
- W2003012713 hasConceptScore W2003012713C115903868 @default.
- W2003012713 hasConceptScore W2003012713C127413603 @default.
- W2003012713 hasConceptScore W2003012713C146978453 @default.
- W2003012713 hasConceptScore W2003012713C149635348 @default.
- W2003012713 hasConceptScore W2003012713C154945302 @default.
- W2003012713 hasConceptScore W2003012713C15792166 @default.
- W2003012713 hasConceptScore W2003012713C163707989 @default.
- W2003012713 hasConceptScore W2003012713C199360897 @default.
- W2003012713 hasConceptScore W2003012713C200601418 @default.
- W2003012713 hasConceptScore W2003012713C201995342 @default.
- W2003012713 hasConceptScore W2003012713C2777904410 @default.
- W2003012713 hasConceptScore W2003012713C2780451532 @default.
- W2003012713 hasConceptScore W2003012713C41008148 @default.
- W2003012713 hasConceptScore W2003012713C75606506 @default.
- W2003012713 hasIssue "01" @default.
- W2003012713 hasLocation W20030127131 @default.
- W2003012713 hasOpenAccess W2003012713 @default.
- W2003012713 hasPrimaryLocation W20030127131 @default.
- W2003012713 hasRelatedWork W1510110859 @default.
- W2003012713 hasRelatedWork W1512683083 @default.
- W2003012713 hasRelatedWork W1516197590 @default.
- W2003012713 hasRelatedWork W2003012713 @default.
- W2003012713 hasRelatedWork W2036320949 @default.
- W2003012713 hasRelatedWork W2077629733 @default.
- W2003012713 hasRelatedWork W2086025510 @default.
- W2003012713 hasRelatedWork W2409286631 @default.
- W2003012713 hasRelatedWork W2783678835 @default.
- W2003012713 hasRelatedWork W38902447 @default.
- W2003012713 hasVolume "17" @default.
- W2003012713 isParatext "false" @default.
- W2003012713 isRetracted "false" @default.
- W2003012713 magId "2003012713" @default.
- W2003012713 workType "article" @default.