Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293704319> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4293704319 endingPage "6646" @default.
- W4293704319 startingPage "6635" @default.
- W4293704319 abstract "For the development of safety-critical systems, it is claimed that system-theoretic process analysis (STPA) identifies more software loss scenarios and component interaction loss scenarios when compared to failure modes and effects analysis. A challenge related to the development of these systems is to perform system safety verification. We claim that there is a lack of systematic approaches that allow test cases generation for verification (testing) of the system safety requirements. Conformance and fault injection (CoFI) is a systematic model-based approach to create software system test cases of critical systems, using finite state machines. We investigate how to combine STPA with CoFI so that requirements are identified and test cases are generated concomitantly. We describe the steps of the approach using it for the insulin pump with a smartphone system. The approach has been shown to be systematic and capable of generating test cases for the STPA identified requirements." @default.
- W4293704319 created "2022-08-31" @default.
- W4293704319 creator A5037771082 @default.
- W4293704319 creator A5042015965 @default.
- W4293704319 date "2022-12-01" @default.
- W4293704319 modified "2023-10-18" @default.
- W4293704319 title "Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System" @default.
- W4293704319 cites W1580258127 @default.
- W4293704319 cites W1860680489 @default.
- W4293704319 cites W1968817134 @default.
- W4293704319 cites W2011762419 @default.
- W4293704319 cites W2014515160 @default.
- W4293704319 cites W2023256370 @default.
- W4293704319 cites W2033070537 @default.
- W4293704319 cites W2120860555 @default.
- W4293704319 cites W2137309431 @default.
- W4293704319 cites W2146579060 @default.
- W4293704319 cites W2192363477 @default.
- W4293704319 cites W2605608181 @default.
- W4293704319 cites W2741269815 @default.
- W4293704319 cites W2773996825 @default.
- W4293704319 cites W2898294387 @default.
- W4293704319 cites W2915789016 @default.
- W4293704319 cites W2962686689 @default.
- W4293704319 cites W2989745381 @default.
- W4293704319 cites W2995776162 @default.
- W4293704319 cites W3001132436 @default.
- W4293704319 cites W3099799517 @default.
- W4293704319 cites W3124271564 @default.
- W4293704319 cites W3139409662 @default.
- W4293704319 cites W3158023114 @default.
- W4293704319 doi "https://doi.org/10.1109/jsyst.2022.3200586" @default.
- W4293704319 hasPublicationYear "2022" @default.
- W4293704319 type Work @default.
- W4293704319 citedByCount "2" @default.
- W4293704319 countsByYear W42937043192023 @default.
- W4293704319 crossrefType "journal-article" @default.
- W4293704319 hasAuthorship W4293704319A5037771082 @default.
- W4293704319 hasAuthorship W4293704319A5042015965 @default.
- W4293704319 hasConcept C119857082 @default.
- W4293704319 hasConcept C127413603 @default.
- W4293704319 hasConcept C128942645 @default.
- W4293704319 hasConcept C152877465 @default.
- W4293704319 hasConcept C163707989 @default.
- W4293704319 hasConcept C199360897 @default.
- W4293704319 hasConcept C200601418 @default.
- W4293704319 hasConcept C2777904410 @default.
- W4293704319 hasConcept C2780074322 @default.
- W4293704319 hasConcept C41008148 @default.
- W4293704319 hasConceptScore W4293704319C119857082 @default.
- W4293704319 hasConceptScore W4293704319C127413603 @default.
- W4293704319 hasConceptScore W4293704319C128942645 @default.
- W4293704319 hasConceptScore W4293704319C152877465 @default.
- W4293704319 hasConceptScore W4293704319C163707989 @default.
- W4293704319 hasConceptScore W4293704319C199360897 @default.
- W4293704319 hasConceptScore W4293704319C200601418 @default.
- W4293704319 hasConceptScore W4293704319C2777904410 @default.
- W4293704319 hasConceptScore W4293704319C2780074322 @default.
- W4293704319 hasConceptScore W4293704319C41008148 @default.
- W4293704319 hasFunder F4320320997 @default.
- W4293704319 hasFunder F4320322025 @default.
- W4293704319 hasIssue "4" @default.
- W4293704319 hasLocation W42937043191 @default.
- W4293704319 hasOpenAccess W4293704319 @default.
- W4293704319 hasPrimaryLocation W42937043191 @default.
- W4293704319 hasRelatedWork W2021903470 @default.
- W4293704319 hasRelatedWork W2055934388 @default.
- W4293704319 hasRelatedWork W2065380683 @default.
- W4293704319 hasRelatedWork W2099246751 @default.
- W4293704319 hasRelatedWork W2106573406 @default.
- W4293704319 hasRelatedWork W2144361182 @default.
- W4293704319 hasRelatedWork W2171077777 @default.
- W4293704319 hasRelatedWork W2618054348 @default.
- W4293704319 hasRelatedWork W2947081500 @default.
- W4293704319 hasRelatedWork W4293704319 @default.
- W4293704319 hasVolume "16" @default.
- W4293704319 isParatext "false" @default.
- W4293704319 isRetracted "false" @default.
- W4293704319 workType "article" @default.