Add to ORKGAbstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.
We concentrate on two major aspects of reactive system design: behavior control and modularity. Thes...
Abstract. Reactive systems are systems whose purpose is to maintain a certain desirable state of aff...
International audienceLoosely Time-Triggered Architectures (LTTAs) are a proposal for constructing d...
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems....
Recently we proposed a mathematical framework offering diverse models of computation and a formal fo...
Moving toward more autonomous fault-tolerant systems with robustness against unpredicted environment...
Abstract – This paper presents a model for the integration of subsystems with a varying degree of sy...
This paper describes a modeling technique for single-agent reactive systems, that is influenced by t...
Reactive systems are systems that maintain permanent interactions with their environment. In this pa...
A system is said to be reactive if it interacts continuously with an environment, at a speed imposed...
Reactive systems, i.e. those in constant interaction with their environments, are often distributed ...
This paper describes a modeling technique for single-agent reactive systems, that is influenced by t...
International audienceThe verification of safety-critical systems has become an area of increasing i...
This paper addresses the problem of distributing reactive systems. We first show that the use of syn...
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/rea...
We concentrate on two major aspects of reactive system design: behavior control and modularity. Thes...
Abstract. Reactive systems are systems whose purpose is to maintain a certain desirable state of aff...
International audienceLoosely Time-Triggered Architectures (LTTAs) are a proposal for constructing d...
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems....
Recently we proposed a mathematical framework offering diverse models of computation and a formal fo...
Moving toward more autonomous fault-tolerant systems with robustness against unpredicted environment...
Abstract – This paper presents a model for the integration of subsystems with a varying degree of sy...
This paper describes a modeling technique for single-agent reactive systems, that is influenced by t...
Reactive systems are systems that maintain permanent interactions with their environment. In this pa...
A system is said to be reactive if it interacts continuously with an environment, at a speed imposed...
Reactive systems, i.e. those in constant interaction with their environments, are often distributed ...
This paper describes a modeling technique for single-agent reactive systems, that is influenced by t...
International audienceThe verification of safety-critical systems has become an area of increasing i...
This paper addresses the problem of distributing reactive systems. We first show that the use of syn...
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/rea...
We concentrate on two major aspects of reactive system design: behavior control and modularity. Thes...
Abstract. Reactive systems are systems whose purpose is to maintain a certain desirable state of aff...
International audienceLoosely Time-Triggered Architectures (LTTAs) are a proposal for constructing d...