메뉴 건너뛰기




Volumn 25, Issue 3, 2014, Pages 642-652

From offline toward real time: A hybrid systems model checking and CPS codesign approach for medical device plug-and-play collaborations

Author keywords

Cyber physical systems; hybrid systems; medical; model checking; real time

Indexed keywords


EID: 84894581801     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/TPDS.2013.50     Document Type: Article
Times cited : (41)

References (42)
  • 1
    • 84894538584 scopus 로고    scopus 로고
    • Medical Device Plug-and-Play (MDPnP)
    • Medical Device Plug-and-Play (MDPnP), http://www.mdpnp.org. 2013.
    • (2013)
  • 7
    • 77954615585 scopus 로고    scopus 로고
    • A framework for the safe interoperability of medical devices in the presence of network failures
    • Apr.
    • C. Kim et al., "A Framework for the Safe Interoperability of Medical Devices in the Presence Of Network Failures, " Proc. 1st ACM/IEEE Int'l Conf. Cyber-Physical Systems (ICCPS '10), Apr. 2010.
    • (2010) Proc. 1st ACM/IEEE Int'l Conf. Cyber-Physical Systems (ICCPS '10)
    • Kim, C.1
  • 8
    • 27244439555 scopus 로고    scopus 로고
    • Patient-controlled analgesia
    • Nov.
    • J.A. Grass, "Patient-Controlled Analgesia, " Anesthesia and Analgesia, vol. 101, no. 5S, pp. S44-S61, Nov. 2005.
    • (2005) Anesthesia and Analgesia , vol.101 , Issue.5
    • Grass, J.A.1
  • 9
    • 34250885127 scopus 로고    scopus 로고
    • Morphine in postoperative patients: Pharmacokinetics and pharmacodynamics of metabolites
    • J.X. Mazoit, K. Butscher, and K. Samii, "Morphine in Postoperative Patients: Pharmacokinetics and Pharmacodynamics of Metabolites, " Anesthesia and Analgesia, vol. 105, no. 1, pp. 70-78, 2007.
    • (2007) Anesthesia and Analgesia , vol.105 , Issue.1 , pp. 70-78
    • Mazoit, J.X.1    Butscher, K.2    Samii, K.3
  • 11
    • 84861486764 scopus 로고    scopus 로고
    • From offline toward real-time: A hybrid systems model checking and cps co-design approach for medical device plug-and-play (mdpnp)
    • Apr.
    • T. Li et al., "From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play (MDPnP), " Proc. IEEE/ACM Third Int'l Conf. Cyber-Physical Systems (ICCPS '12), pp. 13-22, Apr. 2012.
    • (2012) Proc. IEEE/ACM Third Int'l Conf. Cyber-Physical Systems (ICCPS '12 , pp. 13-22
    • Li, T.1
  • 14
    • 0000050873 scopus 로고
    • Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
    • R. Alur et al., "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, " Hybrid Systems, vol. 736, pp. 209-229, 1992.
    • (1992) Hybrid Systems , vol.736 , pp. 209-229
    • Alur, R.1
  • 15
    • 33747356808 scopus 로고    scopus 로고
    • Automatic symbolic verification of embedded systems
    • Mar.
    • R. Alur et al., "Automatic Symbolic Verification of Embedded Systems, " IEEE Trans. Software Eng., vol. 22, no. 3, pp. 181-201, Mar. 1996.
    • (1996) IEEE Trans. Software Eng. , vol.22 , Issue.3 , pp. 181-201
    • Alur, R.1
  • 19
    • 84894562145 scopus 로고    scopus 로고
    • Nonin 9843 Oximeter/Co2 Detector
    • Nonin 9843 Oximeter/Co2 Detector, http://www.nonin.com, 2013.
    • (2013)
  • 20
    • 84894531633 scopus 로고    scopus 로고
    • Fundamentals of eng
    • Wiley
    • M.J. Moran et al., Fundamentals of Eng. Thermodynamics. Wiley, 2003.
    • (2003) Thermodynamics
    • Moran, M.J.1
  • 21
    • 0003961477 scopus 로고    scopus 로고
    • Uniformity for the decidability of hybrid automata
    • O. Roux and V. Rusu, "Uniformity for the Decidability of Hybrid Automata, " Static Analysis, vol. 1145, pp. 301-316, 1996.
    • (1996) Static Analysis , vol.1145 , pp. 301-316
    • Roux, O.1    Rusu, V.2
  • 25
    • 84863063239 scopus 로고    scopus 로고
    • WiCop: Engineering wifi temporal white-spaces for safe operations of wireless body area networks in medical applications
    • Y. Wang et al., "WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications, " Proc. IEEE 32nd Real-Time Systems Symp. (RTSS '11), pp. 170-179, 2011.
    • (2011) Proc. IEEE 32nd Real-Time Systems Symp. (RTSS '11 , pp. 170-179
    • Wang, Y.1
  • 26
    • 79957643964 scopus 로고    scopus 로고
    • Beyond co-existence: Exploiting wifi white space for zigbee performance assurance
    • Oct.
    • J. Huang et al., "Beyond Co-Existence: Exploiting WiFi White Space for ZigBee Performance Assurance, " Proc. 18th IEEE Int'l Conf. Network Protocols (ICNP '10), pp. 305-314, Oct. 2010.
    • (2010) Proc. 18th IEEE Int'l Conf. Network Protocols (ICNP '10 , pp. 305-314
    • Huang, J.1
  • 27
    • 34247599452 scopus 로고    scopus 로고
    • Building robust wireless lan for industrial control with the dsss-cdma cell phone network paradigm
    • June
    • Q. Wang et al., "Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm, " IEEE Trans. Mobile Computing, vol. 6, no. 6, pp. 706-719, June 2007.
    • (2007) IEEE Trans. Mobile Computing , vol.6 , Issue.6 , pp. 706-719
    • Wang, Q.1
  • 28
    • 40649085651 scopus 로고    scopus 로고
    • Medical-grade, mission-critical wireless networks
    • Mar./Apr.
    • S. Baker et al., "Medical-Grade, Mission-Critical Wireless Networks, " IEEE Eng. in Medicine and Biology Magazine, vol. 27, no. 2, pp. 86-95, Mar./Apr. 2008.
    • (2008) IEEE Eng. in Medicine and Biology Magazine , vol.27 , Issue.2 , pp. 86-95
    • Baker, S.1
  • 29
  • 32
    • 73549102188 scopus 로고    scopus 로고
    • A hybrid model checking and runtime monitoring method for c++ web services
    • Z. Qi et al., "A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services, " Proc. Int'l Joint Conf. INC, IMS, and IDC, 2009.
    • (2009) Proc. Int'l Joint Conf. INC, IMS, and IDC
    • Qi, Z.1
  • 34
    • 84873305695 scopus 로고    scopus 로고
    • Lightweight hybrid model checking facilitating online prediction of temporal properties
    • G. Sauterand et al., "Lightweight Hybrid Model Checking Facilitating Online Prediction of Temporal Properties, " Proc. 21st Nordic Workshop Programming Theory, (NWPT '09), pp. 20-22, 2009.
    • (2009) Proc. 21st Nordic Workshop Programming Theory, (NWPT '09 , pp. 20-22
    • Sauter, G.1
  • 35
    • 79954502396 scopus 로고    scopus 로고
    • Online model checking approach based parameter estimation to a neuronal fate decision simulation model in caenorhabditis elegans with hybrid functional petri net with extension
    • C. Li, M. Nagasaki, C.H. Koh, and S. Miyano, "Online Model Checking Approach Based Parameter Estimation to a Neuronal Fate Decision Simulation Model in Caenorhabditis Elegans with Hybrid Functional Petri Net with Extension, " Molecular BioSys-tems, no. 7, pp. 1576-1592, 2011.
    • (2011) Molecular BioSys-tems , Issue.7 , pp. 1576-1592
    • Li, C.1    Nagasaki, M.2    Koh, C.H.3    Miyano, S.4
  • 37
  • 38
    • 43349083432 scopus 로고    scopus 로고
    • Cellexcite: An efficient simulation environment for excitable cells
    • Mar.
    • E. Bartocci et al., "Cellexcite: An Efficient Simulation Environment for Excitable Cells, " BMC Bioinformatics, vol. 9, no. 2, pp. 1-13, Mar. 2008.
    • (2008) BMC Bioinformatics , vol.9 , Issue.2 , pp. 1-13
    • Bartocci, E.1
  • 39
    • 77958150562 scopus 로고    scopus 로고
    • Wireless sensor networks for healthcare
    • Nov.
    • J. Ko et al., "Wireless Sensor Networks for Healthcare, " Proc. IEEE, vol. 98, no. 1, pp. 1947-1960, Nov. 2010.
    • (2010) Proc. IEEE , vol.98 , Issue.1 , pp. 1947-1960
    • Ko, J.1
  • 40
    • 70349685246 scopus 로고    scopus 로고
    • An open test bed for medical device integration and coordination
    • May
    • A. King et al., "An Open Test Bed for Medical Device Integration and Coordination, " Proc. 31st Int'l Conf. Software Eng. (ICSE '09), May 2009.
    • (2009) Proc. 31st Int'l Conf. Software Eng. (ICSE '09)
    • King, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.