FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1766826507> ?p ?o ?g. }

• W1766826507 endingPage "253" @default.
• W1766826507 startingPage "253" @default.
• W1766826507 abstract "Summary form only given. Today's medical devices are based on embedded architecture, with software used to control the underlying hardware. They are highly critical since errors in the software can endanger end users such as patients and medics. Medical devices should be designed and manufactured in such a way that when used, they perform as intended and they ensure a high level of safety. Current industrial practices are based on testing processes to check if the software meets the specifications and if it fulfills its purpose. However, testing does have several disadvantages that limit the reliability of this verification and validation process. Testing cannot guarantee that a device will function properly under all conditions and bugs can never be completely identified withing a program. Several attempts have already been made to provide standards for the formal verification of safety properties of medical devices, initiated by the Generic Infusion Pump project [2]. Our work is a collaboration between Objet Direct R&D and Fresenius [1]. Fresenius is a leading international health care group which produces and markets pharmaceuticals and medical devices. We aim to investigate innovative methods for software development, validation and verification. We study existing results provided amongst others by [3, 4] which we intend to extend by analyzing the Fresenius Infusion Pump (FIP) software. FIP automatizes the delivery process of fluid medical solution into patient's body. Its design is based on three layers. The highest level is the user interface and consists of three components, the administration protocol, the application system and the power management. The middle level consists of the pumping control components and the lowest level contains driver components such as Door, Watchdog, Optical Disk, Motor. FIP is modeled in UML (a total of 100 state machines) and the requirements are written in natural language. The implementation of the model is done in C++ with automatic code generation. For the V&V process, software testing checks if the implementation meets the requirements using fault scenarios written in UML. The main objective of this project is to use model-based design for migrating from software testing to formal based solution for verifying the Fresenius Infusion Pump. The goal is to use model checking technologies in order to verify requirements and eliminate bugs during the design process. Several faulty design patterns have already been identified to be caused by deadlocks, lost signal events, stack overflow, violation of real-time properties, incoherent behavior of UML state machines. We present and analyze the case study of the FIP's Motor component, a driver component of the lowest level. Its interest lies on the fact that while the Motor Control is stopped, the Motor Driver is still running. This faulty behavior was detected during the test checks and bug was partially corrected in code review." @default.
• W1766826507 created "2016-06-24" @default.
• W1766826507 creator A5043868617 @default.
• W1766826507 creator A5056899198 @default.
• W1766826507 creator A5078059490 @default.
• W1766826507 date "2013-04-08" @default.
• W1766826507 modified "2023-09-26" @default.
• W1766826507 title "Poster abstract: Formal analysis of fresenius infusion pump (FIP)" @default.
• W1766826507 cites W1995146104 @default.
• W1766826507 cites W2098230708 @default.
• W1766826507 doi "https://doi.org/10.1109/iccps.2013.6604031" @default.
• W1766826507 hasPublicationYear "2013" @default.
• W1766826507 type Work @default.
• W1766826507 sameAs 1766826507 @default.
• W1766826507 citedByCount "0" @default.
• W1766826507 crossrefType "proceedings-article" @default.
• W1766826507 hasAuthorship W1766826507A5043868617 @default.
• W1766826507 hasAuthorship W1766826507A5056899198 @default.
• W1766826507 hasAuthorship W1766826507A5078059490 @default.
• W1766826507 hasConcept C111919701 @default.
• W1766826507 hasConcept C113843644 @default.
• W1766826507 hasConcept C115903868 @default.
• W1766826507 hasConcept C121332964 @default.
• W1766826507 hasConcept C127413603 @default.
• W1766826507 hasConcept C129307140 @default.
• W1766826507 hasConcept C131377759 @default.
• W1766826507 hasConcept C14036430 @default.
• W1766826507 hasConcept C142724271 @default.
• W1766826507 hasConcept C149635348 @default.
• W1766826507 hasConcept C157915830 @default.
• W1766826507 hasConcept C160735492 @default.
• W1766826507 hasConcept C162324750 @default.
• W1766826507 hasConcept C163258240 @default.
• W1766826507 hasConcept C200601418 @default.
• W1766826507 hasConcept C204787440 @default.
• W1766826507 hasConcept C21547014 @default.
• W1766826507 hasConcept C2777904410 @default.
• W1766826507 hasConcept C2779328685 @default.
• W1766826507 hasConcept C2780385302 @default.
• W1766826507 hasConcept C41008148 @default.
• W1766826507 hasConcept C43214815 @default.
• W1766826507 hasConcept C48002344 @default.
• W1766826507 hasConcept C50522688 @default.
• W1766826507 hasConcept C62520636 @default.
• W1766826507 hasConcept C71924100 @default.
• W1766826507 hasConcept C78458016 @default.
• W1766826507 hasConcept C86803240 @default.
• W1766826507 hasConcept C98045186 @default.
• W1766826507 hasConceptScore W1766826507C111919701 @default.
• W1766826507 hasConceptScore W1766826507C113843644 @default.
• W1766826507 hasConceptScore W1766826507C115903868 @default.
• W1766826507 hasConceptScore W1766826507C121332964 @default.
• W1766826507 hasConceptScore W1766826507C127413603 @default.
• W1766826507 hasConceptScore W1766826507C129307140 @default.
• W1766826507 hasConceptScore W1766826507C131377759 @default.
• W1766826507 hasConceptScore W1766826507C14036430 @default.
• W1766826507 hasConceptScore W1766826507C142724271 @default.
• W1766826507 hasConceptScore W1766826507C149635348 @default.
• W1766826507 hasConceptScore W1766826507C157915830 @default.
• W1766826507 hasConceptScore W1766826507C160735492 @default.
• W1766826507 hasConceptScore W1766826507C162324750 @default.
• W1766826507 hasConceptScore W1766826507C163258240 @default.
• W1766826507 hasConceptScore W1766826507C200601418 @default.
• W1766826507 hasConceptScore W1766826507C204787440 @default.
• W1766826507 hasConceptScore W1766826507C21547014 @default.
• W1766826507 hasConceptScore W1766826507C2777904410 @default.
• W1766826507 hasConceptScore W1766826507C2779328685 @default.
• W1766826507 hasConceptScore W1766826507C2780385302 @default.
• W1766826507 hasConceptScore W1766826507C41008148 @default.
• W1766826507 hasConceptScore W1766826507C43214815 @default.
• W1766826507 hasConceptScore W1766826507C48002344 @default.
• W1766826507 hasConceptScore W1766826507C50522688 @default.
• W1766826507 hasConceptScore W1766826507C62520636 @default.
• W1766826507 hasConceptScore W1766826507C71924100 @default.
• W1766826507 hasConceptScore W1766826507C78458016 @default.
• W1766826507 hasConceptScore W1766826507C86803240 @default.
• W1766826507 hasConceptScore W1766826507C98045186 @default.
• W1766826507 hasLocation W17668265071 @default.
• W1766826507 hasOpenAccess W1766826507 @default.
• W1766826507 hasPrimaryLocation W17668265071 @default.
• W1766826507 hasRelatedWork W144109883 @default.
• W1766826507 hasRelatedWork W1995180937 @default.
• W1766826507 hasRelatedWork W2038653278 @default.
• W1766826507 hasRelatedWork W2059494389 @default.
• W1766826507 hasRelatedWork W2090747290 @default.
• W1766826507 hasRelatedWork W2115220156 @default.
• W1766826507 hasRelatedWork W2118668812 @default.
• W1766826507 hasRelatedWork W2119899927 @default.
• W1766826507 hasRelatedWork W2123287831 @default.
• W1766826507 hasRelatedWork W2134395696 @default.
• W1766826507 hasRelatedWork W2141652267 @default.
• W1766826507 hasRelatedWork W2149519129 @default.
• W1766826507 hasRelatedWork W2157168538 @default.
• W1766826507 hasRelatedWork W2327815632 @default.
• W1766826507 hasRelatedWork W2403026897 @default.
• W1766826507 hasRelatedWork W2977367339 @default.
• W1766826507 hasRelatedWork W41977050 @default.
• W1766826507 hasRelatedWork W592507095 @default.

• next