skip to main content
10.1145/2502524.2502572acmconferencesArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
research-article

Formal analysis of Fresenius infusion pump (FIP)

Published: 08 April 2013 Publication History

Abstract

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].

References

[1]
Fresenius, the health care group. "http://rtg.cis.upenn.edu/gip.php3".
[2]
The generic infusion pump. "http://rtg.cis.upenn.edu/gip.php3".
[3]
Kim, B., Ayoub, A., Sokolsky, O., Lee, I., Jones, P. L., Zhang, Y., and Jetley, R. P. Safety-assured development of the gpca infusion pump software. In EMSOFT (2011), pp. 155--164.
[4]
Pajic, M., Jiang, Z., Lee, I., Sokolsky, O., and Mangharam, R. From verification to implementation: A model translation tool and a pacemaker case study. In IEEE RTAS (2012), pp. 173--184.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
April 2013
278 pages
ISBN:9781450319966
DOI:10.1145/2502524

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2013

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

ICCPS '13
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 82
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 10 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media