ABSTRACT
Bridging disparate realms of physical and cyber system components requires models and methods that enable rapid evaluation of design alternatives in cyber-physical systems (CPS). The diverse intellectual traditions of physical and mathematical sciences makes this task exceptionally hard. This paper seeks to explore potential solutions by examining specific examples of CPS applications in automobiles and smart buildings. Both smart buildings and automobiles are complex systems with embedded knowledge across several domains. We present our experiences with development of CPS applications to illustrate the challenges that arise when expertise across domains is integrated into the system, and show that creation of models, abstractions, and architectures that address these challenges are key to next generation CPS applications.
- gbXML Schema. http://www.gbxml.org/.Google Scholar
- Johnson Controls Metasys. http://www.johnsoncontrols.com/metasys.Google Scholar
- Project Haystack. http://project-haystack.org/.Google Scholar
- SkySpark by SkyFoundry. http://www.skyfoundry.com/skyspark/.Google Scholar
- Tridium Niagara AX. http://www.niagaraax.com/.Google Scholar
- United States Environmental Protection Agency "Sources of Greenhouse Gas Emissions". www.epa.gov., 2014.Google Scholar
- Y. Agarwal, R. Gupta, D. Komaki, and T. Weng. BuildingDepot: An extensible and distributed architecture for building data storage, access and sharing. In Proceedings of the ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, pages 64--71. ACM, 2012. Google ScholarDigital Library
- M. A. Al Faruque and F. Ahourai. A Model-Based Design of Cyber-Physical Energy Systems. 19th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 97--104, 2014.Google Scholar
- P. Arjunan, N. Batra, H. Choi, A. Singh, P. Singh, and M. B. Srivastava. SensorAct: A privacy and security aware federated middleware for building management. In Proceedings of the ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, pages 80--87. ACM, 2012. Google ScholarDigital Library
- B. Balaji, H. Teraoka, R. Gupta, and Y. Agarwal. ZonePAC: Zonal power estimation and control via hvac metering and occupant feedback. In Proceedings of the ACM Workshop on Embedded Systems For Energy-Efficient Buildings, pages 1--8. ACM, 2013. Google ScholarDigital Library
- B. Balaji, J. Xu, A. Nwokafor, R. Gupta, and Y. Agarwal. Sentinel: Occupancy based HVAC actuation using existing WiFi infrastructure within commercial buildings. In Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, page 17. ACM, 2013. Google ScholarDigital Library
- J.-M. Bohli, C. Sorge, and O. Ugus. A privacy model for smart metering. In Communications Workshops (ICC), 2010 IEEE International Conference on, pages 1--5. IEEE, 2010.Google ScholarCross Ref
- M. Boucher and D. Houlihan. System design: new product development for mechatronics. Aberdeen Group, Boston, 2008.Google Scholar
- S. T. Bushby. BACnet™: A standard communication infrastructure for intelligent buildings. Automation in Construction, 6(5):529--540, 1997.Google ScholarCross Ref
- A. Canedo, M. A. A. Faruque, and J. Richter. Multi-disciplinary integrated design automation tool for automotive cyber-physical systems. Design Automation and Test in Europe (DATE'14), pages 1--2, 2014. Google ScholarDigital Library
- A. Canedo, E. Schwarzenbach, and M. A. Al Faruque. Context-sensitive synthesis of executable functional models of cyber-physical systems. In Cyber-Physical Systems (ICCPS), 2013 ACM/IEEE International Conference on, pages 99--108. IEEE, 2013. Google ScholarDigital Library
- A. Canedo, J. Wan, and M. A. A. Faruque. Functional modeling compiler for system-level design of automotive cyber-physical systems. International Conference on Computer-Aided Design (ICCAD'14), 2014. Google ScholarDigital Library
- S. Chakraborty, M. Lukasiewycz, C. Buckl, S. Fahmy, P. Leteinturier, and H. Adlkofer. Embedded Systems and Software Challenges in Electric Vehicles. DATE'12 Proceedings of the Conference on Design, Automation & Test in Europe, pages 424--429, 2012. Google ScholarDigital Library
- C. Christensen, R. Anderson, S. Horowitz, A. Courtney, and J. Spencer. BEopt software for building energy optimization: features and capabilities. National Renewable Energy Laboratory, 2006.Google ScholarCross Ref
- D. B. Crawley, L. K. Lawrie, F. C. Winkelmann, W. F. Buhl, Y. J. Huang, C. O. Pedersen, R. K. Strand, R. J. Liesen, D. E. Fisher, M. J. Witte, et al. EnergyPlus: creating a new-generation building energy simulation program. Energy and buildings, 33(4):319--331, 2001.Google ScholarCross Ref
- R. Curtis, B. Birdsall, W. Buhl, E. Erdem, J. Eto, J. Hirsch, K. Olson, and F. Winkelmann. The DOE-2 building energy use analysis program. Lawrence Berkeley Laboratory, LBL-18046, 1984.Google Scholar
- H. Dai, X. Wei, Z. Sun, J. Wang, and W. Gu. Online cell SOC estimation of Li-ion battery packs using a dual time-scale Kalman filtering for EV applications. Applied Energy, 95:227--237, 2012.Google ScholarCross Ref
- S. Darby et al. The effectiveness of feedback on energy consumption. A Review for DEFRA of the Literature on Metering, Billing and direct Displays, 486:2006, 2006.Google Scholar
- S. Dawson-Haggerty, A. Krioukov, J. Taneja, S. Karandikar, G. Fierro, N. Kitaev, and D. E. Culler. Boss: Building operating system services. In NSDI, volume 13, pages 443--458, 2013. Google ScholarDigital Library
- P. Derler, E. A. Lee, and A. S. Vincentelli. Modeling cyber--physical systems. Proceedings of the IEEE, 100(1):13--28, 2012.Google ScholarCross Ref
- D. Dumbacher and S. R. Davis. Building operations efficiencies into NASAŠs Ares I crew launch vehicle design. In 54th Joint JANNAF Propulsion Conference, 2007.Google Scholar
- M. S. Erden, H. Komoto, T. J. van Beek, V. D'Amelio, E. Echavarria, and T. Tomiyama. A review of function modeling: approaches and applications. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 22(02):147--169, 2008. Google ScholarDigital Library
- N. GCR. Cost analysis of inadequate interoperability in the us capital facilities industry. National Institute of Standards and Technology (NIST), 2004.Google Scholar
- B. P. Haynes. The impact of office comfort on productivity. Journal of Facilities Management, 6(1):37--51, 2008.Google ScholarCross Ref
- R. Khire, F. Leonardi, P. Quimby, and S. Sarkar. A novel human machine interface for advanced building controls and diagnostics. 2014.Google Scholar
- H. Lee, J. S. Choi, and R. Elmasri. A conflict resolution architecture for the comfort of occupants in intelligent office. 2008.Google Scholar
- D. Lehrer and J. Vasudev. Visualizing energy information in commercial buildings: A study of tools, expert users, and building occupants. 2011.Google Scholar
- T. Liebich, Y. Adachi, J. Forester, J. Hyvarinen, K. Karstila, and J. Wix. Industry Foundation Classes IFC2x, 2006.Google Scholar
- D. Loy. Fundamentals of LonWorks/EIA-709 Networks: ANSI/EIA-709 Protocol Standard (LonTalk). The Industrial Communications Technology, 2005.Google ScholarCross Ref
- M. Lukasiewycz and S. Steinhorst. System Architecture and Software Design for Electric Vehicles. DAC'13 Proceedings of the Design Automation Conference, pages 1--6, 2013. Google ScholarDigital Library
- J. F. Nicol and M. A. Humphreys. A stochastic approach to thermal comfort--occupant behavior and energy use in buildings. ASHRAE transactions, 110(2), 2004.Google Scholar
- L. Northrop, P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, D. Schmidt, K. Sullivan, et al. Ultra-large-scale systems: The software challenge of the future. Technical report, DTIC Document, 2006.Google Scholar
- J. Plume and J. Mitchell. Collaborative design using a shared IFC building model -- Learning from experience. Automation in Construction, 16(1):28--36, 2007.Google ScholarCross Ref
- Siemens. Apogee building automation. 2008.Google Scholar
- H. Teraoka, B. Balaji, R. Zhang, A. Nwokafor, B. Narayanaswamy, and Y. Agarwal. BuildingSherlock: Fault Management Framework for HVAC Systems in Commercial Buildings. Technical Report, CSE, UCSD, 2014.Google Scholar
- S. Uckun. Meta ii: Formal co-verification of correctness of large-scale cyber-physical systems during design. Palo Alto Research Center, Technical Report, 2011.Google Scholar
- K. Vatanparwar and M. A. Al Faruque. Battery Lifetime-Aware Automotive Climate Control for Electric Vehicles. DAC'15 Proceedings of the Design Automation Conference, 2015. Google ScholarDigital Library
- J. Wan, A. Canedo, and M. A. A. Faruque. Functional model-based design methodology for automotive cyber-physical systems. IEEE Systems Journal (ISJ), 2014.Google Scholar
- M. Wetter, P. Haves, and T. S. Nouidui. Building controls virtual test bed. Computer software available at https://gaia.lbl.gov/bcvtb, 2013.Google Scholar
- F. Xiao and S. Wang. Progress and methodologies of lifecycle commissioning of HVAC systems to enhance building sustainability. Renewable and Sustainable Energy Reviews, 13(5):1144--1149, 2009.Google ScholarCross Ref
Index Terms
- Models, abstractions, and architectures: the missing links in cyber-physical systems
Recommendations
A Preliminary Study on Architecting Cyber-Physical Systems
ECSAW '15: Proceedings of the 2015 European Conference on Software Architecture WorkshopsCyber-physical systems (CPSs) are deemed as the key enablers of next generation applications. Needless to say, the design, verification and validation of cyber-physical systems reaches unprecedented levels of complexity, specially due to their ...
Semantics for Cyber-Physical Systems: A cross-domain perspective
Modern life is increasingly made more comfortable, efficient, and sustainable by the smart systems that surround us: smart buildings monitor and adjust temperature levels to achieve occupant comfort while optimizing energy consumption; smart energy grids ...
I've seen this before: sharing cyber-physical incident knowledge
SEAD '18: Proceedings of the 1st International Workshop on Security Awareness from Design to DeploymentAn increasing number of security incidents in cyber-physical systems (CPSs) arise from the exploitation of cyber and physical components of such systems. Knowledge about how such incidents arose is rarely captured and used systematically to enhance ...
Comments