Add to ORKGInternational audienceThis paper presents a methodology and a tool for system-level partitioning in the behavioral domain. The methodology is based on an extended finite state machine model. Partitioning is achieved interactively through the application of five system-level transformation primitives: MOVE, MERGE, SPLIT, CUT and MAP. This scheme allows the designer to explore different partitioning alternatives in order to choose the best to meet his objectives. The result of system-level partitioning is a set of interconnected and heterogeneous sub-systems that may be designed using different tools and methodologies
Automata-based modeling languages, like Component Interaction Automata, offer an attractive means to...
A novel interactive software platform is proposed to support design and development for PSE. It has ...
Multi-physics simulation approaches by coupling various software modules is paramount to unveil the ...
This paper presents a methodology and a tool box for system-level partitioning in the behavioral dom...
This paper presents a new method for behavioural partitioning at the system level. The method is bas...
Many approaches have been developed to partition a system's behavioral description before a structur...
This paper addresses fundamental aspects of system modelling and partitioning algorithms in the area...
Traditional program partitioning methods are nonlinear, and their computational efforts increase exp...
The partitioning of a system model will condition the structure of the controller as well as its des...
Earlier work has demonstrated that partitioning one large behavioral process into smaller ones befor...
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware /soft...
Abstract. We describe a dynamic partitioning scheme usable by model checking techniques that divide ...
This paper presents the underlying methodology of Cosmos: an interactive approach for hardware/softw...
Mixed criticality systems are composed of a set of applications with di erent criticality levels. Th...
The complexity in automotive systems engineering is increasing over the last decade. In particular, ...
Automata-based modeling languages, like Component Interaction Automata, offer an attractive means to...
A novel interactive software platform is proposed to support design and development for PSE. It has ...
Multi-physics simulation approaches by coupling various software modules is paramount to unveil the ...
This paper presents a methodology and a tool box for system-level partitioning in the behavioral dom...
This paper presents a new method for behavioural partitioning at the system level. The method is bas...
Many approaches have been developed to partition a system's behavioral description before a structur...
This paper addresses fundamental aspects of system modelling and partitioning algorithms in the area...
Traditional program partitioning methods are nonlinear, and their computational efforts increase exp...
The partitioning of a system model will condition the structure of the controller as well as its des...
Earlier work has demonstrated that partitioning one large behavioral process into smaller ones befor...
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware /soft...
Abstract. We describe a dynamic partitioning scheme usable by model checking techniques that divide ...
This paper presents the underlying methodology of Cosmos: an interactive approach for hardware/softw...
Mixed criticality systems are composed of a set of applications with di erent criticality levels. Th...
The complexity in automotive systems engineering is increasing over the last decade. In particular, ...
Automata-based modeling languages, like Component Interaction Automata, offer an attractive means to...
A novel interactive software platform is proposed to support design and development for PSE. It has ...
Multi-physics simulation approaches by coupling various software modules is paramount to unveil the ...