Models, abstractions, and architectures: The missing links in cyber-physical systems

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.

[1]  Mani B. Srivastava,et al.  SensorAct: a privacy and security aware federated middleware for building management , 2012, BuildSys '12.

[2]  Barry P. Haynes.  The impact of office comfort on productivity , 2008 .

[3]  Craig Christensen,et al.  BEopt(TM) Software for Building Energy Optimization: Features and Capabilities , 2006 .

[4]  Christoph Sorge,et al.  A Privacy Model for Smart Metering , 2010, 2010 IEEE International Conference on Communications Workshops.

[5]  Bharathan Balaji,et al.  ZonePAC: Zonal Power Estimation and Control via HVAC Metering and Occupant Feedback , 2013, BuildSys@SenSys.

[6]  Thomas Weng,et al.  BuildingDepot: an extensible and distributed architecture for building data storage, access and sharing , 2012, BuildSys '12.

[7]  Martin Lukasiewycz,et al.  Embedded systems and software challenges in electric vehicles , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[8]  Arquimedes Canedo,et al.  Context-sensitive synthesis of executable functional models of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[9]  Weijun Gu,et al.  Online cell SOC estimation of Li-ion battery packs using a dual time-scale Kalman filtering for EV applications , 2012 .

[10]  Mohammad Abdullah Al Faruque,et al.  Battery lifetime-aware automotive climate control for Electric Vehicles , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[11]  Daniel L. Dumbacher.  Building Operations Efficiencies into NASA's Ares I Crew Launch Vehicle Design , 2006 .

[12]  Mohammad Abdullah Al Faruque,et al.  A model-based design of Cyber-Physical Energy Systems , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[13]  Fu Xiao,et al.  Progress and methodologies of lifecycle commissioning of HVAC systems to enhance building sustainability , 2009 .

[14]  Martin Lukasiewycz,et al.  System architecture and software design for Electric Vehicles , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[15]  John L. Dettbarn,et al.  Cost Analysis of Inadequate Interoperability in the U.S. Capital Facilities Industry. , 2004 .

[16]  Christian Fritz,et al.  META II: Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems during Design. Volume 1 , 2011 .

[17]  Rajesh Gupta,et al.  Sentinel: occupancy based HVAC actuation using existing WiFi infrastructure within commercial buildings , 2013, SenSys '13.

[18]  Douglas C. Schmidt,et al.  Ultra-Large-Scale Systems: The Software Challenge of the Future , 2006 .

[19]  Oa Us Epa.  Sources of Greenhouse Gas Emissions , 2015 .

[20]  Soumik Sarkar,et al.  A Novel Human Machine Interface for Advanced Building Controls and Diagnostics , 2014 .

[21]  David Lehrer,et al.  Visualizing Energy Information in Commercial Buildings: A Study of Tools, Expert Users, and Building Occupants , 2011 .

[22]  David E. Culler,et al.  BOSS: Building Operating System Services , 2013, NSDI.

[23]  Dietmar Loy.  Fundamentals of LonWorks/EIA-709 Networks: ANSI/EIA-709 Protocol Standard (LonTalk) , 2005 .

[24]  Arquimedes Canedo,et al.  Multi-disciplinary integrated design automation tool for automotive cyber-physical systems , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[25]  Arquimedes Canedo,et al.  Functional modeling compiler for system-level design of automotive cyber-physical systems , 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[26]  Balakrishnan Narayanaswamy,et al.  BuildingSherlock : Fault Management Framework for HVAC Systems in Commercial Buildings , 2014 .

[27]  Michael Wetter,et al.  Building Controls Virtual Test Bed , 2008 .

[28]  Arquimedes Canedo,et al.  Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems , 2017, IEEE Systems Journal.

[29]  Daniel E. Fisher,et al.  EnergyPlus: creating a new-generation building energy simulation program , 2001 .

[30]  Ramez Elmasri,et al.  A conflict resolution architecture for the comfort of occupants in intelligent office , 2008 .

[31]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[32]  Steven T. Bushby,et al.  BACnetTM: a standard communication infrastructure for intelligent buildings , 1997 .

[33]  Tetsuo Tomiyama,et al.  A review of function modeling: Approaches and applications , 2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[34]  John Mitchell,et al.  Collaborative design using a shared IFC building model—Learning from experience , 2007 .