DeepAI AI Chat
Log In Sign Up

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

by   Wang Yi, et al.

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or tasks), each of which is specified to compute a collection of functions according to given timing constraints. We present a fixed-point semantics for this model which shows that each system function of such a network computes for a given set of (timed) input streams, a deterministic (timed) output stream. As a desired feature, such a network model can be modified by integrating new components for adding new system functions without changing the existing ones. Additionally, existing components may be replaced also by new ones fulfilling given requirements. Thanks to the deterministic semantics, a model-based approach is enabled for not only building systems but also updating them after deployment, allowing for efficient analysis techniques such as model-in-the-loop simulation to verify the complete behaviour of the updated system.


page 1

page 2

page 3

page 4


SenseRT: A Streaming Architecture for Smart Building Sensors

Building Management Systems (BMSs) have evolved in recent years, in ways...

Probabilistic Analysis of Weakly-Hard Real-Time Systems

Modeling and analysis of non-functional properties, such as timing const...

Empowering Multilevel DSMLs with Integrated Runtime Verification

Within Model-Driven Software Engineering, Domain-Specific Modelling has ...

Real-time Stream-based Monitoring

We introduce RTLola, a new stream-based specification language for the d...

Real-Time BDI Agents: a model and its implementation

The BDI model proved to be effective for developing applications requiri...

Toward Parametric Timed Interfaces for Real-Time Components

We propose here a framework to model real-time components consisting of ...

Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism

Embedded systems including IoT devices are designed for specialized func...