Skip to content Skip to sidebar Skip to footer
proceedings of the ieee cover sep 2018
proceedings of the ieee cover sep 2018

Special Issue: Design Automation for Cyber–Physical Systems

Volume 106, Issue 9

September 2018

Guest Editors

Special Issue Papers

By Q. Zhu, A. Sangiovanni-Vincentelli, S. Hu, and X. Li

By Q. Zhu and A. Sangiovanni-Vincentelli

In this paper, the authors propose to codesign cyber and physical components of CPSs in a holistic environment. They present a number of codesign approaches in modeling, simulation, synthesis, verification, and validation. They also discuss open challenges in CPS codesign and possible future directions for addressing them.

By J. Sztipanovits, T. Bapty, X. Koutsoukos, Z. Lattmann, S. Neema, and E. Jackson

In this paper, the authors address the heterogeneity in CPS model libraries and design tools with two integration platforms. The model integration platform enables precise representation of semantic interfaces among modeling domains, while the tool integration platform features automated design space exploration and formal verification.

By C. Brooks, C. Jerady, H. Kim, E. A. Lee, M. Lohstroh, V. Nouvelletz, B. Osyk, and M. Weber

This paper addresses heterogeneity in those CPSs that leverage internet technology for interactions between the cyber world and the physical world. It presents a design pattern called accessors to serve as proxies for heterogeneous components and services, and a design environment CapeCode to compose accessors and facilitate the system design.

By M. Möstl, J. Schlatow, R. Ernst, N. Dutt, A. Nassar, A. Rahmani, F. J. Kurdahi, T. Wild, A. Sadighi, and A. Herkersdorf

This paper addresses the challenges in managing the continuous change and evolution of CPSs and their operation environment. It presents two frameworks, controlling concurrent change (CCC) and information processing factory (IPF), for building self-aware CPSs that have the capabilities of self-modeling, self-configuration, and monitoring.

By A. Benveniste, T. Bourke, B. Caillaud, J. Colaço, C. Pasteur, and M. Pouzet

In this paper, the authors present a modeling language that combines synchronous language constructs with ordinary differential equations and zero-crossing events, to support the modeling of both discrete time and continuous time in hybrid CPSs.

By H. Abbas, R. Alur, K. Mamouras, R. Mangharam, and A. Rodionova

This paper introduces the usage of declarative streaming languages, in particular StreamQRE, for modeling and analyzing real-time streaming applications. The approach is based on the formalism of quantitative regular expressions. It can guarantee constant memory, runtime, and energy cost per data item, and can calculate the upper bounds on the per-item cost.

By I. Filippidis and R. M. Murray

This paper presents a method to algorithmically decompose system-level temporal logic specifications in CPSs into lower level specifications for individual components, in the form of assume-guarantee contracts. The automated process ensures that the generated component specifications are implementable and simpler for further development.

By Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas,and P. Tabuada

This paper presents a satisfiability modulo convex programming (SMC) framework that enables efficient reasoning of Boolean and convex constraints at the same time. This capability is particularly important for CPS design and verification, where the system heterogeneity often brings both types of constraints.

By R. Jia, B. Jin, M. Jin, Y. Zhou, I. C. Konstantakopoulos, H. Zou, J. Kim, D. Li, W. Gu, R. Arghandeh, P. Nuzzo, S. Schiavon, A. L. Sangiovanni-Vincentelli, C. J. Spanos

This paper presents a platform-based design flow for smart buildings. The proposed flow maps high-level specifications of desired building applications to their physical implementations through three intermediate design platforms, namely the virtual device platform, the module platform, and the implementation platform.

By A. Bhat, S. Aoki, and R. Rajkumar

This paper introduces a standard reference architecture for connected and autonomous vehicles (CAVs), and presents a set of methodologies and tools for the modeling, design, development, and testing of CAV systems.

By M. Ibrahim and K. Chakrabarty

This paper introduces a new synthesis methodology for digital-microfluidic biochips, which leverages on-chip integration of sensing systems and uses realistic models of biomolecular protocols to address real-world microbiology applications through cyber–physical adaptation.

By C. Cheng, P. Hsiu, T. Hu, and T. Kuo

This paper develops a mobile CPS platform for guiding users to leave “null zones” and “hot zones”, where data rate is not sufficient for delay-sensitive applications, and move to nearby locations with better mobile experience. It brings up the emerging concept of improving mobile user experience by modeling human mentality, wireless signal coverage, and their interplay.

Point of View

Scanning Our Past

By B. Stuart

proceedings of the ieee sop sep 2018