Actor frameworks and similar reactive programming techniques are widely used for building concurrent systems. They promise to be efficient and scale well to a large number of cores or …
Formal verification of cyber-physical systems (CPS) is challenging because it has to consider real-time and concurrency aspects that are often absent in ordinary software …
Timing is an essential feature of reactive software. It is not just a performance metric, but rather forms a core part of the semantics of programs. This paper argues for a notion of …
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is …
W Toghuj, N Turab - International Journal of Electrical & Computer …, 2023 - core.ac.uk
Vehicle infrastructure must address the challenges posed by today's advances toward connected and autonomous vehicles. To allow for more flexible architectures, high …
Modern cyber-physical systems often make use of heterogeneous systems-on-chip with reconfigurable logic to provide adequate computing power and flexible I/O. However …
Software Engineering arose from the need to scale up and decompose the development of large software systems [1]. While the discipline was successful in finding functional …
BG Jun, D Kim, M Lohstroh, H Kim - … and Internet of Things Week 2023, 2023 - dl.acm.org
State-of-the-art industrial IoT solutions struggle to handle applications in which timing is important and deterministic event ordering is crucial. We illustrate this on the basis of a …
Lingua Franca, a polyglot coordination language, provides deterministic reactive concurrency and time functionality that is preserved even in distributed environments. Most …