| NSF Org: |
CCF Division of Computing and Communication Foundations |
| Recipient: |
|
| Initial Amendment Date: | June 13, 2008 |
| Latest Amendment Date: | June 13, 2008 |
| Award Number: | 0820245 |
| Award Instrument: | Standard Grant |
| Program Manager: |
Sol Greenspan
sgreensp@nsf.gov (703)292-7841 CCF Division of Computing and Communication Foundations CSE Directorate for Computer and Information Science and Engineering |
| Start Date: | September 1, 2008 |
| End Date: | August 31, 2012 (Estimated) |
| Total Intended Award Amount: | $700,000.00 |
| Total Awarded Amount to Date: | $700,000.00 |
| Funds Obligated to Date: |
|
| History of Investigator: |
|
| Recipient Sponsored Research Office: |
10889 WILSHIRE BLVD STE 700 LOS ANGELES CA US 90024-4200 (310)794-0102 |
| Sponsor Congressional District: |
|
| Primary Place of Performance: |
10889 WILSHIRE BLVD STE 700 LOS ANGELES CA US 90024-4200 |
| Primary Place of
Performance Congressional District: |
|
| Unique Entity Identifier (UEI): |
|
| Parent UEI: |
|
| NSF Program(s): | SOFTWARE FOR REAL-WORLD SYSTMS |
| Primary Program Source: |
|
| Program Reference Code(s): |
|
| Program Element Code(s): |
|
| Award Agency Code: | 4900 |
| Fund Agency Code: | 4900 |
| Assistance Listing Number(s): | 47.070 |
ABSTRACT
Proposal number: 0820245
Title: Certification of Medical Device Software
PI: Jens Palsberg
Co-PI: Majid Sarrafzadeh
A medical device should not crash or confuse. A device crash can be anything from inconvenient to life threatening, while confusing device behavior can lead a user to draw an incorrect medical conclusion. While rigorous testing will remain essential, new approaches to design, implementation, and certification have great potential to increase our confidence in medical devices. At the end of the rainbow in this research area lays a design for certifiability paradigm in which programmers think of certification from day one and create designs and code that can be certified by static error checking tools. The project's goal is to develop languages and tools for designing, building, and certifying medical device software in elegant and powerful new ways. The project focuses on a common class of medical devices called medical monitoring devices. The investigators envision a certification tool that can meet challenges related to space bounds, soft-real-time response, life time, and meaningful results. The project's goal is to take a major step towards design for certifiability and to bring closer the day when the FDA will use static error checking tools frequently and routinely. One of the outcomes of the project will be open-source versions of medical device software, along with implementations of the new language and certification tools. The result is a platform for experimenting with software for medical devices that may open up new possibilities for researchers.
PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH
Note:
When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external
site maintained by the publisher. Some full text articles may not yet be available without a
charge during the embargo (administrative interval).
Some links on this page may take you to non-federal websites. Their policies may differ from
this site.
Please report errors in award information by writing to: awardsearch@nsf.gov.
