This paper proposes an algorithm for the construction of an MSC graph from a given set of actual observations of an existing concurrent system which has repetitive subfunctions. When a design representing the current functionality of the existing system is desired, such a graph can be checked for safe realizability and be used as input to existing synthesis techniques to construct the design for the system functionality
. In this paper we describe an approach to model the dynamics of distributed systems. For distribute...
AbstractA framework for synthesis of synchronous concurrent systems with local memory is developed. ...
When designing model-based fault-diagnostic systems, the use of consistency relations (also called e...
Abstract. This paper proposes an algorithm for the construction of an MSC graph from a given set of ...
This paper proposes an algorithm which, given a set of observations of an existing concurrent system...
Since many distributed systems are developed without complete or consistent design documents, some r...
Message Sequence Charts for early modeling of the individual behaviors they expect from the concurre...
The final design of today’s ICs is in many cases created by combining functional blocks from various...
Diagnostic issues receive a lot of attention in the design of information processing and control sys...
In this paper we propose a method for vision systems to consistently represent functional dependenci...
The concept of invariant is the basis of most formal methods for the design and verification of conc...
Abstract: System Dependence Graph (SDG) is a graph representation which shows dependencies among sta...
Software designers draw Message Sequence Charts for early modeling of the individual behaviors they ...
Automated fault diagnosis in complex systems quickly detects and isolates component failures. To thi...
Supervisor synthesis enables the design of supervisory controllers for large cyber-physical systems,...
. In this paper we describe an approach to model the dynamics of distributed systems. For distribute...
AbstractA framework for synthesis of synchronous concurrent systems with local memory is developed. ...
When designing model-based fault-diagnostic systems, the use of consistency relations (also called e...
Abstract. This paper proposes an algorithm for the construction of an MSC graph from a given set of ...
This paper proposes an algorithm which, given a set of observations of an existing concurrent system...
Since many distributed systems are developed without complete or consistent design documents, some r...
Message Sequence Charts for early modeling of the individual behaviors they expect from the concurre...
The final design of today’s ICs is in many cases created by combining functional blocks from various...
Diagnostic issues receive a lot of attention in the design of information processing and control sys...
In this paper we propose a method for vision systems to consistently represent functional dependenci...
The concept of invariant is the basis of most formal methods for the design and verification of conc...
Abstract: System Dependence Graph (SDG) is a graph representation which shows dependencies among sta...
Software designers draw Message Sequence Charts for early modeling of the individual behaviors they ...
Automated fault diagnosis in complex systems quickly detects and isolates component failures. To thi...
Supervisor synthesis enables the design of supervisory controllers for large cyber-physical systems,...
. In this paper we describe an approach to model the dynamics of distributed systems. For distribute...
AbstractA framework for synthesis of synchronous concurrent systems with local memory is developed. ...
When designing model-based fault-diagnostic systems, the use of consistency relations (also called e...
Add to ORKG