Special Issue: Design Automation for Cyber–Physical Systems
Volume 106, Issue 9
Special Issue Papers
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.