Cyber-Physical Systems (CPS) are integrations of computation and physical processes.
Embedded computers and networks monitor and control the physical processes, usually …

Cyber-physical systems U+ 0028 CPS U+ 0029 are complex systems with organic
integration and in-depth collaboration of computation, communications and control U+ 0028 …

Abstract Cyber-Physical Systems (CPS) are integrations of computation and physical
processes. Embedded computers and networks monitor and control the physical processes …

Deterministic execution offers many benefits for debugging, fault tolerance, and security.
Current methods of executing parallel programs deterministically, however, often incur high …

We present a new visual language, SCCharts, designed for specifying safety-critical reactive
systems. SCCharts use a statechart notation and provide determinate concurrency based on …

Cyber-physical systems (CPSs) are essential to the contemporary industrial landscape,
performing a central role in improving productivity, mechanization, and innovation across …

Synchronous languages ensure determinate concurrency but at the price of restrictions on
what programs are considered valid, or constructive. Meanwhile, sequential languages such …

In this paper we present the syntax, semantics, and compilation of a new system-level
programming language called SystemJ. SystemJ is a multiclock language supporting the …

SyncCharts in C (SC) extends C with control flow operators for deterministic, light-weight
concurrency and preemption. SC is based on SyncCharts, a synchronous variant of …

Multi-threaded programs on shared-memory hardware tend to be non-deterministic, which
brings challenges to software debugging and testing. Current deterministic implementations …