Matches in SemOpenAlex for { <https://semopenalex.org/work/W251738500> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W251738500 endingPage "471" @default.
- W251738500 startingPage "460" @default.
- W251738500 abstract "The failure of hardware or software in the medical domain can lead to injuries and loss of life. Design errors are a major source of the defects that are introduced during the system development process. Traditional validation and verification techniques such as simulation and testing are effective methods for detecting these defects, but are seriously limited in that they cannot guarantee to find all existing defects. Formal methods provide a complementary alternative to testing and simulation, and, although we do not yet have a ‘theory of coverage’ when combining formal validation and verification techniques with testing and simulation, the combination provides better coverage than any one of them on its own. The insulin infusion pump (IIP) is a critical system that is used by millions of people around the world. IIP failures are responsible for a large number of serious illnesses and deaths. This paper presents the formalization of the glucose homeostasis mechanism that provides an environmental model for the IIP. We can then use this model to validate the appropriateness and correctness of system behaviours at an early stage of development." @default.
- W251738500 created "2016-06-24" @default.
- W251738500 creator A5012108478 @default.
- W251738500 creator A5022556282 @default.
- W251738500 creator A5025139066 @default.
- W251738500 creator A5080102032 @default.
- W251738500 creator A5087660741 @default.
- W251738500 date "2014-01-01" @default.
- W251738500 modified "2023-10-13" @default.
- W251738500 title "Formalizing the Glucose Homeostasis Mechanism" @default.
- W251738500 cites W1413060739 @default.
- W251738500 cites W1544621933 @default.
- W251738500 cites W17793708 @default.
- W251738500 cites W1970607508 @default.
- W251738500 cites W1975007709 @default.
- W251738500 cites W1986215647 @default.
- W251738500 cites W1994751336 @default.
- W251738500 cites W2012841918 @default.
- W251738500 cites W2043415677 @default.
- W251738500 cites W2063536285 @default.
- W251738500 cites W2101431901 @default.
- W251738500 cites W2114754412 @default.
- W251738500 cites W2161967671 @default.
- W251738500 cites W2166052510 @default.
- W251738500 cites W2337101260 @default.
- W251738500 cites W4214511349 @default.
- W251738500 cites W4244819751 @default.
- W251738500 doi "https://doi.org/10.1007/978-3-319-07725-3_46" @default.
- W251738500 hasPublicationYear "2014" @default.
- W251738500 type Work @default.
- W251738500 sameAs 251738500 @default.
- W251738500 citedByCount "5" @default.
- W251738500 countsByYear W2517385002014 @default.
- W251738500 countsByYear W2517385002015 @default.
- W251738500 countsByYear W2517385002018 @default.
- W251738500 countsByYear W2517385002019 @default.
- W251738500 countsByYear W2517385002022 @default.
- W251738500 crossrefType "book-chapter" @default.
- W251738500 hasAuthorship W251738500A5012108478 @default.
- W251738500 hasAuthorship W251738500A5022556282 @default.
- W251738500 hasAuthorship W251738500A5025139066 @default.
- W251738500 hasAuthorship W251738500A5080102032 @default.
- W251738500 hasAuthorship W251738500A5087660741 @default.
- W251738500 hasConcept C111472728 @default.
- W251738500 hasConcept C111498074 @default.
- W251738500 hasConcept C112930515 @default.
- W251738500 hasConcept C115903868 @default.
- W251738500 hasConcept C120314980 @default.
- W251738500 hasConcept C127413603 @default.
- W251738500 hasConcept C134306372 @default.
- W251738500 hasConcept C138885662 @default.
- W251738500 hasConcept C199360897 @default.
- W251738500 hasConcept C200601418 @default.
- W251738500 hasConcept C33923547 @default.
- W251738500 hasConcept C36503486 @default.
- W251738500 hasConcept C41008148 @default.
- W251738500 hasConcept C55439883 @default.
- W251738500 hasConcept C71924100 @default.
- W251738500 hasConcept C75606506 @default.
- W251738500 hasConcept C80444323 @default.
- W251738500 hasConcept C89611455 @default.
- W251738500 hasConcept C98045186 @default.
- W251738500 hasConceptScore W251738500C111472728 @default.
- W251738500 hasConceptScore W251738500C111498074 @default.
- W251738500 hasConceptScore W251738500C112930515 @default.
- W251738500 hasConceptScore W251738500C115903868 @default.
- W251738500 hasConceptScore W251738500C120314980 @default.
- W251738500 hasConceptScore W251738500C127413603 @default.
- W251738500 hasConceptScore W251738500C134306372 @default.
- W251738500 hasConceptScore W251738500C138885662 @default.
- W251738500 hasConceptScore W251738500C199360897 @default.
- W251738500 hasConceptScore W251738500C200601418 @default.
- W251738500 hasConceptScore W251738500C33923547 @default.
- W251738500 hasConceptScore W251738500C36503486 @default.
- W251738500 hasConceptScore W251738500C41008148 @default.
- W251738500 hasConceptScore W251738500C55439883 @default.
- W251738500 hasConceptScore W251738500C71924100 @default.
- W251738500 hasConceptScore W251738500C75606506 @default.
- W251738500 hasConceptScore W251738500C80444323 @default.
- W251738500 hasConceptScore W251738500C89611455 @default.
- W251738500 hasConceptScore W251738500C98045186 @default.
- W251738500 hasLocation W2517385001 @default.
- W251738500 hasOpenAccess W251738500 @default.
- W251738500 hasPrimaryLocation W2517385001 @default.
- W251738500 hasRelatedWork W1488573418 @default.
- W251738500 hasRelatedWork W1544097700 @default.
- W251738500 hasRelatedWork W161255303 @default.
- W251738500 hasRelatedWork W1922520186 @default.
- W251738500 hasRelatedWork W1937494301 @default.
- W251738500 hasRelatedWork W1946493810 @default.
- W251738500 hasRelatedWork W2111870610 @default.
- W251738500 hasRelatedWork W2145025660 @default.
- W251738500 hasRelatedWork W2152752131 @default.
- W251738500 hasRelatedWork W2534958226 @default.
- W251738500 isParatext "false" @default.
- W251738500 isRetracted "false" @default.
- W251738500 magId "251738500" @default.
- W251738500 workType "book-chapter" @default.