Matches in SemOpenAlex for { <https://semopenalex.org/work/W1445840354> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1445840354 endingPage "132" @default.
- W1445840354 startingPage "116" @default.
- W1445840354 abstract "Software embedded into medical devices demands a higher standard on its safety, as compared to most commercial software. One of the most important reasons is that the safety issue should be thoroughly investigated. In the United States, Food and Drug Administration FDA is entitled to scrutinize medical devices to ensure they are safe to the public before they enter the market. However, the review of medical device software has been quite challenging because not only the design of medical device software is complicated and error-prone but also the validation of the software system against regulatory requirements is notoriously difficult. Thus, some methodologies based on formal methods have been proposed to alleviate the pain faced by both software developers and regulators such as FDA staff. In this paper, we study how to use the Structured-Object-Based-Formal Language, which is called SOFL to develop a software system controlling an insulin pump, called the Generic Insulin Infusion Pump GIIP. This case study facilitates the understanding of how SOFL can be applied to software systems related to medical devices in terms of the design and review aspects." @default.
- W1445840354 created "2016-06-24" @default.
- W1445840354 creator A5043506629 @default.
- W1445840354 creator A5046806529 @default.
- W1445840354 creator A5066312294 @default.
- W1445840354 date "2013-01-01" @default.
- W1445840354 modified "2023-10-17" @default.
- W1445840354 title "Applying SOFL to a Generic Insulin Pump Software Design" @default.
- W1445840354 cites W1982225114 @default.
- W1445840354 cites W2010981136 @default.
- W1445840354 cites W2030110406 @default.
- W1445840354 cites W2081608336 @default.
- W1445840354 cites W2106949331 @default.
- W1445840354 cites W2506353248 @default.
- W1445840354 cites W4254354208 @default.
- W1445840354 doi "https://doi.org/10.1007/978-3-642-39277-1_9" @default.
- W1445840354 hasPublicationYear "2013" @default.
- W1445840354 type Work @default.
- W1445840354 sameAs 1445840354 @default.
- W1445840354 citedByCount "2" @default.
- W1445840354 countsByYear W14458403542015 @default.
- W1445840354 countsByYear W14458403542018 @default.
- W1445840354 crossrefType "book-chapter" @default.
- W1445840354 hasAuthorship W1445840354A5043506629 @default.
- W1445840354 hasAuthorship W1445840354A5046806529 @default.
- W1445840354 hasAuthorship W1445840354A5066312294 @default.
- W1445840354 hasConcept C115903868 @default.
- W1445840354 hasConcept C127413603 @default.
- W1445840354 hasConcept C199360897 @default.
- W1445840354 hasConcept C199639397 @default.
- W1445840354 hasConcept C2777904410 @default.
- W1445840354 hasConcept C41008148 @default.
- W1445840354 hasConceptScore W1445840354C115903868 @default.
- W1445840354 hasConceptScore W1445840354C127413603 @default.
- W1445840354 hasConceptScore W1445840354C199360897 @default.
- W1445840354 hasConceptScore W1445840354C199639397 @default.
- W1445840354 hasConceptScore W1445840354C2777904410 @default.
- W1445840354 hasConceptScore W1445840354C41008148 @default.
- W1445840354 hasLocation W14458403541 @default.
- W1445840354 hasOpenAccess W1445840354 @default.
- W1445840354 hasPrimaryLocation W14458403541 @default.
- W1445840354 hasRelatedWork W1527862632 @default.
- W1445840354 hasRelatedWork W2109507516 @default.
- W1445840354 hasRelatedWork W2112962394 @default.
- W1445840354 hasRelatedWork W2118300983 @default.
- W1445840354 hasRelatedWork W2135396778 @default.
- W1445840354 hasRelatedWork W4210332454 @default.
- W1445840354 hasRelatedWork W4210526841 @default.
- W1445840354 hasRelatedWork W4243252198 @default.
- W1445840354 hasRelatedWork W4247836839 @default.
- W1445840354 hasRelatedWork W4250664634 @default.
- W1445840354 isParatext "false" @default.
- W1445840354 isRetracted "false" @default.
- W1445840354 magId "1445840354" @default.
- W1445840354 workType "book-chapter" @default.