Abstract
With a growing demand for smart devices in CPS health related area, there is a need for building devices using efficient design methodologies. This can be achieved using commercial off-the-shelf (COTS) components which provide customizability as per user's specific requirements and flexibility with regards to technological evolution. There is a need for a simple methodology which will help in the designing, development, testing and verification of the correct operations of health related systems. In this paper, we present a model based approach to do a feasibility study of the use of COTS components for device development. We present a case study of modeling a Holter Monitor. We devise the procedure using the modeling tools Ptolemy-II and UPPAAL. Our procedure is successful in abstracting the state and behavior of the device and in validating the suitability of the components used.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
