Mekanisme Keselamatan, Keamanan dan Keberlanjutan untuk Sistem Siber Fisik
Abstract
Sistem siber fisik adalah sistem siber dan bagian fisik untuk menyediakan layanan untuk misi kritis, termasuk sistem pemeliharaan kesehatan otomatis, jaringan listrik pintar, komputasi awan yang ramah lingkungan, dan pengawasan dengan kendaraan udara tak berawak. Sistem siber fisik dapat menggunakan informasi yang tersedia dari lingkungan fisik untuk menyediakan tenaga yang efisien yang diletakkan di mana-mana, dengan fungsi tenaga yang efisien dan berbiaya rendah. Kebutuhan operasi dapat dilakukan dengan memastikan tiga properti utama, secara kolektif disebut sebagai K3, K pertama adalah keselamatan: menghindari bahaya; K kedua adalah keamanan: jaminan integritas, keaslian, dan kerahasiaan informasi; dan K ketiga adalah keberlanjutan: pemeliharaan operasi pada sistem siber fisik untuk jangka panjang dengan menggunakan sumber energi hijau. Memastikan properti K3 dalam sistem siber fisik adalah merupakan tugas yang menantang mengingat perkembangan dari lingkungan fisik yang mendasarinya. Formal dasar-dasar solusi sistem siber fisik K3 diselaraskan bersama dalam kerangka teori untuk interaksi siber fisik. Penelitian tentang sistem siber fisik secara sistematis merancang solusi untuk memastikan keselamatan, keamanan, atau keberlanjutan. Penerapan umum kerangka kerja ini ditunjukkan dengan berbagai macam contoh solusi untuk K3 dalam beragam domain sistem siber fisik. Selanjutnya sebagai wawasan disampaikan pada beberapa masalah penelitian secara terbuka untuk memastikan K3 dalam sistem siber fisik.
Downloads
References
A. Banerjee, S. Kandula, T. Mukherjee, and S. Gupta, BAND-AiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices,[ ACM Trans. Embedded Comput. Syst., Special Issue on Wireless Health Systems, 2010.
A. Banerjee, T. Mukherjee, and S. K. S. Gupta, STHA: Spatio-temporal hybrid automata for safe and sustainable cyber-physical systems,[2011, under preparation.
A. Bhave, B. Krogh, D. Garlan, and B. Schmerl, View consistency in architectures for cyber-physical systems,[in Proc. 2nd ACM/IEEE Int. Conf. Cyber-Phys. Syst., Apr. 2011.
A. Haywood, J. Sherbeck, P. Phelan,G. Varsamopoulos, and S. Gupta, A sustainable data center with heat-activated cooling,[ in Proc. 12th IEEE Intersoc. Conf. Thermal Thermomech. Phenomena Electron. Syst., Jun. 2010, DOI: 10.1109/ITHERM.2010.5501334.
A. Kansal, J. Hsu, M. Srivastava, and V. Raghunathan, Harvesting aware power management for sensor networks,[ in Proc. 43rd ACM/IEEEDesign Autom. Conf., 2006, pp. 651–656.
C. Green, Z. Ounaies, and E. Hughesa, Harvesting energy using a thin unimorph prestressed bender: Geometrical effects,[J. Intell. Mater. Syst. Structures, vol. 16, no. 3, pp. 249–261, 2005.
Carnegie Mellon. Methods Keep Bugs Out of Software for Self-Driving Cars. [Online].Available:http://www.cmu.edu/news/archive/2011/June/june21_selfdrivingcars.shtml.
D. Arney, M. Pajic, J. M. Goldman, I. Lee, R. Mangharam, and O. Sokolsky, BToward patient safety in closed-loop medical device systems,[ in Proc. 1st ACM/IEEE Int. Conf. Cyber-Phys. Syst., 2010, pp. 139–148.
D. E. Arney, R. Jetley, P. Jones, I. Lee, A. Ray, O. Sokolsky, and Y. Zhang, Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0, 2009. [Online]. Available:http://repository.upenn.edu/cis_reports/893.
D. G. M. Greenhalgh, M. B. Lawless, B. Chew, W. A. Crone, M. E. Fein, and T. L. Palmieri, B. Temperature threshold for burn injury: An oximeter safety study,[ J. Burn Care Rehabil., vol. 25, no. 5, pp. 411–415, 2004. [
D. Halperin, T. Heydt-Benjamin, K. Fu, T. Kohno, and W. Maisel, Security and privacy for implantable medical devices,[IEEE Pervasive Comput., vol. 7, no. 1, pp. 30–39, Jan.–Mar. 2008.
D. Paul, L. Nathan, Y. Bazhang, M. Yvonne, and F. Moussy, BStudy of the effects of tissue reactions on the function of implanted glucose sensors,[ J. Biomed. Mater. Res. A, vol. 85, no. 3, pp. 699–706, 2007.
D. Wada and D. Ward, The hybrid model: A new pharmacokinetic model for computer-controlled infusion pumps,[IEEE Trans. Biomed. Eng., vol. 41, no. 2, pp. 134–142, Feb. 1994. E. A. Lee, BComputing needs time,[ Commun.ACM, vol. 52, no. 5, pp. 70–79, 2009.
F. Adelstein, S. K. S. Gupta, G. Richard, and L. Schwiebert, Fundamentals of Mobile and Pervasive Computing. New York: McGraw-Hill, 2005.
FDA Urged to Rethink Approval of Medical Devices. [Online]. Available: http://www.latimes.com/health/la-na-medical-devicesapproval-20110730,0,6697377.story. G. Frehse, Phaver: Algorithmic verification of hybrid systems past hytech,[ in Proc. Hybrid Systems: Computation and Control (HSCC), 2005, pp. 258–273.
G. Lafferriere, G. J. Pappas, and S. Yovine, Reachability computation for linear hybrid systems,[in Proc. 14th IFAC World Congr.,Volume E, 1998, pp. 7–12.
G. Park, T. Rosing, M. D. Todd, C. R. Farrar, and W. Hodgkiss. (2008). Energy harvesting for structural health monitoring sensor networks. J. Infrastructure Syst. [Online].14, pp. 64–79. Available: http://link.aip.org/link/?QIS/14/64/1
G. Varsamopoulos, Z. Abbasi, and S. K. S. Gupta, BTrends and effects of energy proportionality on server provisioning in data centers,[ in Proc. Int. Conf. High Performance Comput. Conf., Dec. 2010, pp. 1–11.
H. H. Pennes, Analysis of tissue and arterial blood temperature in the resting human forearm, J. Appl. Physiol., vol. 1, no. 1, pp. 93–122, 1948.
I. Korhonen, J. Parkka, and M. Van Gils, Health monitoring in the home of the future,[IEEE Eng. Med. Biol. Mag., vol. 22, no. 3, pp. 66–73, May–Jun. 2003.
IMPACT Lab, CPSAnnex. [Online]. Available: https://wiki.sei.cmu.edu/ aadl/images/0/00/CyberPhysicalSystemsTribidMay2010pdf
J. A. Paradiso and T. Starner, Energy scavenging for mobile and wireless electronics,[ IEEE Pervasive Comput., vol. 4, no. 1, pp. 18–27, Jan.–Mar. 2005.
J. C. Willems, The behavioral approach to open and interconnected systems,[ IEEE Control Syst. Mag., vol. 27, no. 6, pp. 46–99, Dec. 2007.
J. Jacobs, Algorithm for optimal linear model-based control with application to pharmacokinetic model-driven drug delivery,[ IEEE Trans. Biomed. Eng., vol. 37, no. 1, pp. 107–109, Jan. 1990.
K. Venkatasubramanian, A. Banerjee, and S. K. S. Gupta, PSKA: Usable and secure key agreement scheme for body area networks,[IEEE Trans. Inf. Technol. Biomed., vol. 14,Special Issue on Wireless Health, no. 1,pp. 60–68, Jan. 2010.
K. Venkatasubramanian, G. Deng, T. Mukherjee, J. Quintero, V. Annamalai, and S. K. S. Gupta, BAyushman: A wireless sensor network based health monitoring infrastructure and testbed,[ Distrib. Comput. Sensor Syst., vol. 3560, pp. 406–407, Jul. 2005.
K. Venkatasubramanian, G. Deng, T. Mukherjee, J. Quintero, V. Annamalai, and S. K. S. Gupta, BAyushman: A wireless sensor network based health monitoring infrastructure and testbed,[in Proc. IEEE Int. Conf. Distrib. Comput. Sensor Syst., Jun./Jul. 2005, pp. 406–407.
K. Venkatasubramanian, S. Nabar,S. K. S. Gupta, and R. Poovendran, Cyber Physical Security Solutions for Pervasive Health Monitoring Systems, M. Watfa, Ed. IGI Global, 2011, ser.E-Healthcare Systems and Wireless Communications: Current and Future Challenges.
M. Roma ́n, C. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell, and K. Nahrstedt, BA middleware infrastructur for active spaces,[ IEEE Pervasive Comput., vol. 1, no. 4, pp. 74–83, Oct.–Dec. 2002. N. Lewis, Toward cost-effective solar energy use,[ Science, vol. 315, no. 5813, pp. 798–801, 2007.
Q. Tang, N. Tummala, S. Gupta, and L. Schwiebert, BCommunication scheduling to minimize thermal effects of implanted biosensor networks in homogeneous tissue,[IEEE Trans. Biomed. Eng., vol. 52, no. 7,pp. 1285–1294, Jul. 2005
R. Jetley, S. P. Iyer, and P. L. Jones, A formal methods approach to medical device review,[Computer, vol. 39, no. 4, pp. 61–67, 2006.
R. N. Maini, F. C. Breedveld, J. R. Kalden, J. S. Smolen, D. Davis, J. D. MacFarlane, C. Antoni, B. Leeb, M. J. Elliott, J. N. Woody, T. F. Schaible, and M. Feldmann, Therapeutic efficacy of multiple intravenous infusions of anti-tumor necrosis factor a monoclonal antibody combined with low-dose weekly methotrexate in rheumatoid arthritis,[ Arthritis Rheumatism, vol. 41, no. 9,pp. 1552–1563, 1998.
R. Paradiso, G. Loriga, and N. Taccini, A wearable health care system based on knitted integrated sensors, IEEE Trans. Inf. Technol. Biomed., vol. 9, no. 3, pp. 337–344, Sep. 2005.
R. Urgaonkar, B. Urgaonkar, M. Neely, and A. Sivasubramaniam, Optimal power cost management using stored energy in data centers, 2011. [Online]. Available: arXiv:1103.3099.
S. Govindan, A. Sivasubramaniam, and B. Urgaonkar, Benefits and limitations of tapping into stored energy for datacenters,[in Proc. 38th Int. Symp. Comput. Architecture, San Jose, CA, Jun. 2011.
S. Gupta, R. R. Gilbert, A. Banerjee, Z. Abbasi, T. Mukherjee, and G. arsamopoulos, BGDCSimVAn integrated tool chain for analyzing green data center physical design and resource management techniques,[ inProc. Int. Green Comput. Conf., Orlando, FL, 2011.
S. K. S. Gupta, Model-based engineering of UAVs to ensure safety of critical missions,[presented at the S5 Conf., Beavercreek, Ohio, Jun. 5, 2011 [Online]. Available: https://www.signup4.net/public/ap.aspx?EID=SAFE23-E&OID=110.
S. K. S. Gupta, T. Mukherjee, G. Varsamopoulos, and A. Banerjee, BResearch directions in energy-sustainable cyber-physical systems,[ Elsevier Comnets, vol. 1, Special Issue in Sustainable Computing (SUSCOM), pp. 57–74, 2011.
S. Kandula, T. Mukherjee, and S. Gupta, Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective,[in Proc. ACM/IEEE 2nd Int. Conf. Cyber-Phys. Syst., Work-in-Progress (WiP) Session, Apr. 2011.
Safety Standard, ISO 60601. [Online]. Available: http://www.iso.org/iso/ iso_catalogue/catalogue_tc/catalogue_detail. htm?csnumber=.
T. A. Henzinger, The theory of hybrid automata,[ Proc. 11th Annu. IEEE Symp. Logic Comput. Sci., 1996, pp. 278–292.
T. Mukherjee and S. K. S. Gupta, MCMA+CRET: A mixed criticality management architecture for maximizing mission efficacy and tool for expediting certification of UAVs,[ in Proc. IEEE Workshop Mixed Criticality: Roadmap to Evolving UAV Certification, 2009, pp. 1–2.
T.Mukherjee, A. Banerjee, G. Varsamopoulos, S. K. S. Gupta, and S. Rungta. (2009, Jun.). Spatio-temporal thermal-aware job scheduling to minimize energy consumption in virtualized heterogeneous data centers?,Computer Netw. [Online]. Available: http://dx.doi.org/10.1016/j.comnet.2009.06.008
V. Hartkopf, V. Loftness, A. Mahdavi, S. Lee, and J. Shankavaram, BAn integrated approach to design and engineering of intelligent buildings-the intelligent workplace at Carnegie Mellon University,[Autom. Construction, vol. 6, no. 5–6, pp. 401–415, 1997. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0926580597000198.
V. Shnayder, B.-R. Chen, K. Lorincz, T. R. F. Fulford-Jones, and M. Welsh, Sensor networks for medical care,[ Harvard Univ. Tech. Rep., Apr. 2005.
Z. Abbasi, G. Varsamopoulos, and S. K. S. Gupta, Thermal aware server provisioning and workload distribution for internet data centers,[ in Proc. ACM Int. Symp. High Performance Distrib. Comput., Jun. 2010, pp. 130–141.
Z. Jiang, M. Pajic, A. Connolly, S. Dixit, and R. Mangharam, Real-time heart model for implantable cardiac device validation and verification,[ in Proc. Euromicro Conf. Real-Time Syst., Brussels, 2010, pp. 239–248.
