Design Automation for Cyber–Physical Systems
Volume 106, Issue 9 | September 2018
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.
Cyber–Physical Digital-Microfluidic Biochips: Bridging the Gap Between Microfluidics and Microbiology
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.