Toward a lingua franca for deterministic concurrent systems
Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …
distributed computing. Several frameworks are based on actors, which provide a more …
Deterministic coordination across multiple timelines
We discuss a novel approach for constructing deterministic reactive systems that revolves
around a temporal model that incorporates a multiplicity of timelines. This model is central to …
around a temporal model that incorporates a multiplicity of timelines. This model is central to …
[图书][B] Reactors: A deterministic model of concurrent computation for reactive systems
HMF Lohstroh - 2020 - search.proquest.com
Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …
focused on parallel and distributed computing. While actors provide a more disciplined …
High-performance Deterministic Concurrency Using Lingua Franca
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 …
concurrent systems. They promise to be efficient and scale well to a large number of cores or …
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are
increasingly used in safety-critical applications such as autonomous driving, where the cost …
increasingly used in safety-critical applications such as autonomous driving, where the cost …
Hardware acceleration of data distribution service (dds) for automotive communication and computing
C Scordino, AG Mariño, F Fons - IEEE Access, 2022 - ieeexplore.ieee.org
The increasing growth in complexity of vehicles' functionalities is driving a technological shift
in the design of software architectures in the automotive industry. Traditional signal-oriented …
in the design of software architectures in the automotive industry. Traditional signal-oriented …
Xronos: Predictable coordination for safety-critical distributed embedded systems
Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are
increasingly used in safety-critical applications such as autonomous driving, where the cost …
increasingly used in safety-critical applications such as autonomous driving, where the cost …
Towards building verifiable CPS using Lingua Franca
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 …
consider real-time and concurrency aspects that are often absent in ordinary software …
A language for deterministic coordination across multiple timelines
M Lohstroh, C Menard… - 2020 Forum for …, 2020 - ieeexplore.ieee.org
We discuss a novel approach for constructing deterministic reactive systems that evolves
around a temporal model which incorporates a multiplicity of timelines. This model is central …
around a temporal model which incorporates a multiplicity of timelines. This model is central …
Modern Middlewares for Automated Vehicles: A Tutorial
DP Klüner, M Molz, A Kampmann… - arXiv preprint arXiv …, 2024 - arxiv.org
This paper offers a tutorial on current middlewares in automated vehicles. Our aim is to
provide the reader with an overview of current middlewares and to identify open challenges …
provide the reader with an overview of current middlewares and to identify open challenges …