STHA: Spatio-Temporal Hybrid Automata

Sandeep Gupta (Inventor)

Research output: Patent

Abstract

Delivery of critical healthcare such as drug delivery and chemotherapy by TeleHealth applications has grown into over a $3.1 billion industry annually. Unfortunately, these devices are prone to software failures, which can have grave consequences that include loss of life. Cyber-Physical Systems (CPSes) devices are regulated by the Food and Drug Administration (FDA). As a result of their potential risks to human health and safety, the FDA has imposed strict regulations on certification and marketing for these devices. Certification is a long and costly process, which lengthens the amount of time required for new innovations to get to market. Testing new innovations can be a long and cumbersome process as well. New methods are needed to speed the testing processes that provide better data, therefore aiding in certification. Researchers at Arizona State University have developed new software for testing CPSes devices. The program provides formal verification that theoretically proves the equipment operates safely. This innovation speeds up and improves equipment testing by allowing for more rigorous regiments in less time than conventional testing methods. The resulting data builds a more complete case for certifiers to review, thus speeding the testing and FDA certification process. Potential Applications Testing mobile health-care devices Developing data for FDA certification Benefits and Advantages Lower Costs Allows innovators to get new ideas to market quickly. More Accurate Provides higher quality assurances that medical devices are safe. Retrofit This software can provide models for existing devices and new innovations. Download Original PDF For more information about the inventor(s) and their research, please see Dr. Sandeep Gupta's directory webpage Dr. Ayan Banerjee's directory webpage
Original languageEnglish (US)
StatePublished - Feb 21 2013

Fingerprint

Testing
Innovation
Equipment testing
Chemotherapy
Quality assurance
Drug delivery
Marketing
Health
Costs
Industry
Cyber Physical System

Cite this

@misc{d0c1b1cab6ff4443bfa158ca412e833e,
title = "STHA: Spatio-Temporal Hybrid Automata",
abstract = "Delivery of critical healthcare such as drug delivery and chemotherapy by TeleHealth applications has grown into over a $3.1 billion industry annually. Unfortunately, these devices are prone to software failures, which can have grave consequences that include loss of life. Cyber-Physical Systems (CPSes) devices are regulated by the Food and Drug Administration (FDA). As a result of their potential risks to human health and safety, the FDA has imposed strict regulations on certification and marketing for these devices. Certification is a long and costly process, which lengthens the amount of time required for new innovations to get to market. Testing new innovations can be a long and cumbersome process as well. New methods are needed to speed the testing processes that provide better data, therefore aiding in certification. Researchers at Arizona State University have developed new software for testing CPSes devices. The program provides formal verification that theoretically proves the equipment operates safely. This innovation speeds up and improves equipment testing by allowing for more rigorous regiments in less time than conventional testing methods. The resulting data builds a more complete case for certifiers to review, thus speeding the testing and FDA certification process. Potential Applications Testing mobile health-care devices Developing data for FDA certification Benefits and Advantages Lower Costs Allows innovators to get new ideas to market quickly. More Accurate Provides higher quality assurances that medical devices are safe. Retrofit This software can provide models for existing devices and new innovations. Download Original PDF For more information about the inventor(s) and their research, please see Dr. Sandeep Gupta's directory webpage Dr. Ayan Banerjee's directory webpage",
author = "Sandeep Gupta",
year = "2013",
month = "2",
day = "21",
language = "English (US)",
type = "Patent",

}

TY - PAT

T1 - STHA: Spatio-Temporal Hybrid Automata

AU - Gupta, Sandeep

PY - 2013/2/21

Y1 - 2013/2/21

N2 - Delivery of critical healthcare such as drug delivery and chemotherapy by TeleHealth applications has grown into over a $3.1 billion industry annually. Unfortunately, these devices are prone to software failures, which can have grave consequences that include loss of life. Cyber-Physical Systems (CPSes) devices are regulated by the Food and Drug Administration (FDA). As a result of their potential risks to human health and safety, the FDA has imposed strict regulations on certification and marketing for these devices. Certification is a long and costly process, which lengthens the amount of time required for new innovations to get to market. Testing new innovations can be a long and cumbersome process as well. New methods are needed to speed the testing processes that provide better data, therefore aiding in certification. Researchers at Arizona State University have developed new software for testing CPSes devices. The program provides formal verification that theoretically proves the equipment operates safely. This innovation speeds up and improves equipment testing by allowing for more rigorous regiments in less time than conventional testing methods. The resulting data builds a more complete case for certifiers to review, thus speeding the testing and FDA certification process. Potential Applications Testing mobile health-care devices Developing data for FDA certification Benefits and Advantages Lower Costs Allows innovators to get new ideas to market quickly. More Accurate Provides higher quality assurances that medical devices are safe. Retrofit This software can provide models for existing devices and new innovations. Download Original PDF For more information about the inventor(s) and their research, please see Dr. Sandeep Gupta's directory webpage Dr. Ayan Banerjee's directory webpage

AB - Delivery of critical healthcare such as drug delivery and chemotherapy by TeleHealth applications has grown into over a $3.1 billion industry annually. Unfortunately, these devices are prone to software failures, which can have grave consequences that include loss of life. Cyber-Physical Systems (CPSes) devices are regulated by the Food and Drug Administration (FDA). As a result of their potential risks to human health and safety, the FDA has imposed strict regulations on certification and marketing for these devices. Certification is a long and costly process, which lengthens the amount of time required for new innovations to get to market. Testing new innovations can be a long and cumbersome process as well. New methods are needed to speed the testing processes that provide better data, therefore aiding in certification. Researchers at Arizona State University have developed new software for testing CPSes devices. The program provides formal verification that theoretically proves the equipment operates safely. This innovation speeds up and improves equipment testing by allowing for more rigorous regiments in less time than conventional testing methods. The resulting data builds a more complete case for certifiers to review, thus speeding the testing and FDA certification process. Potential Applications Testing mobile health-care devices Developing data for FDA certification Benefits and Advantages Lower Costs Allows innovators to get new ideas to market quickly. More Accurate Provides higher quality assurances that medical devices are safe. Retrofit This software can provide models for existing devices and new innovations. Download Original PDF For more information about the inventor(s) and their research, please see Dr. Sandeep Gupta's directory webpage Dr. Ayan Banerjee's directory webpage

M3 - Patent

ER -