Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079917574> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2079917574 endingPage "369" @default.
- W2079917574 startingPage "351" @default.
- W2079917574 abstract "The computer-aided resuscitation algorithm, or CARA, is part of a US Army-developed automated infusion device for treating blood loss experienced by combatants injured on the battlefield. CARA is responsible for automatically stabilizing a patient’s blood pressure by infusing blood as needed based on blood pressure data the CARA system collects. The control part of the system is implemented in software, which is extremely safety critical and thus must perform correctly .This paper describes a case study in which a verification tool, the Concurrency Workbench of the New Century (CWB-NC), is used to analyze a model of the CARA system. The huge state space of CARA makes it problematic to conduct traditional “push-button” automatic verification such as model checking. Instead, we develop a technique called unit verification, which entails taking small units of a system, putting them in a “verification harness” that exercises relevant executions appropriately within the unit, and then model checking these more tractable units. For systems like CARA whose requirements are localized to individual system components or interactions between small numbers of components, unit verification offers a means of coping with huge state spaces." @default.
- W2079917574 created "2016-06-24" @default.
- W2079917574 creator A5016408902 @default.
- W2079917574 creator A5073785380 @default.
- W2079917574 date "2004-05-01" @default.
- W2079917574 modified "2023-09-27" @default.
- W2079917574 title "Unit verification: the CARA experience" @default.
- W2079917574 cites W1503973138 @default.
- W2079917574 cites W1504623906 @default.
- W2079917574 cites W1506588809 @default.
- W2079917574 cites W1507985299 @default.
- W2079917574 cites W1556566737 @default.
- W2079917574 cites W1559986400 @default.
- W2079917574 cites W1971107784 @default.
- W2079917574 cites W1973642705 @default.
- W2079917574 cites W1984478483 @default.
- W2079917574 cites W1988808695 @default.
- W2079917574 cites W1990758343 @default.
- W2079917574 cites W2000947342 @default.
- W2079917574 cites W2015640848 @default.
- W2079917574 cites W2021473546 @default.
- W2079917574 cites W2023808162 @default.
- W2079917574 cites W2044520159 @default.
- W2079917574 cites W2068361557 @default.
- W2079917574 cites W2081068412 @default.
- W2079917574 cites W2090826457 @default.
- W2079917574 cites W2118229393 @default.
- W2079917574 cites W2121372686 @default.
- W2079917574 cites W2136920408 @default.
- W2079917574 cites W2139248375 @default.
- W2079917574 cites W2340102009 @default.
- W2079917574 cites W2340735175 @default.
- W2079917574 cites W2913459036 @default.
- W2079917574 cites W3144368627 @default.
- W2079917574 cites W1517400747 @default.
- W2079917574 doi "https://doi.org/10.1007/s10009-003-0134-5" @default.
- W2079917574 hasPublicationYear "2004" @default.
- W2079917574 type Work @default.
- W2079917574 sameAs 2079917574 @default.
- W2079917574 citedByCount "8" @default.
- W2079917574 countsByYear W20799175742012 @default.
- W2079917574 countsByYear W20799175742014 @default.
- W2079917574 countsByYear W20799175742015 @default.
- W2079917574 countsByYear W20799175742018 @default.
- W2079917574 crossrefType "journal-article" @default.
- W2079917574 hasAuthorship W2079917574A5016408902 @default.
- W2079917574 hasAuthorship W2079917574A5073785380 @default.
- W2079917574 hasBestOaLocation W20799175742 @default.
- W2079917574 hasConcept C122637931 @default.
- W2079917574 hasConcept C145420912 @default.
- W2079917574 hasConcept C199360897 @default.
- W2079917574 hasConcept C24858836 @default.
- W2079917574 hasConcept C33923547 @default.
- W2079917574 hasConcept C41008148 @default.
- W2079917574 hasConceptScore W2079917574C122637931 @default.
- W2079917574 hasConceptScore W2079917574C145420912 @default.
- W2079917574 hasConceptScore W2079917574C199360897 @default.
- W2079917574 hasConceptScore W2079917574C24858836 @default.
- W2079917574 hasConceptScore W2079917574C33923547 @default.
- W2079917574 hasConceptScore W2079917574C41008148 @default.
- W2079917574 hasIssue "4" @default.
- W2079917574 hasLocation W20799175741 @default.
- W2079917574 hasLocation W20799175742 @default.
- W2079917574 hasOpenAccess W2079917574 @default.
- W2079917574 hasPrimaryLocation W20799175741 @default.
- W2079917574 hasRelatedWork W1527862632 @default.
- W2079917574 hasRelatedWork W2112962394 @default.
- W2079917574 hasRelatedWork W2118300983 @default.
- W2079917574 hasRelatedWork W2135396778 @default.
- W2079917574 hasRelatedWork W2166247150 @default.
- W2079917574 hasRelatedWork W2382501300 @default.
- W2079917574 hasRelatedWork W2740990710 @default.
- W2079917574 hasRelatedWork W3137189469 @default.
- W2079917574 hasRelatedWork W4235530921 @default.
- W2079917574 hasRelatedWork W4243252198 @default.
- W2079917574 hasVolume "5" @default.
- W2079917574 isParatext "false" @default.
- W2079917574 isRetracted "false" @default.
- W2079917574 magId "2079917574" @default.
- W2079917574 workType "article" @default.