Add to ORKGThe paper presents a model for multi-mode realtime applications and develops new techniques for the compositional analysis of systems that contain multiple such applications. An algorithm for constructing an interface for a single multimode application is presented. Then, a method for computing an interface of a composite application is presented, which uses only the interfaces of constituent applications. A case study of an adaptive streaming system demonstrates that multi-mode analysis offers more precise results compared to a unimodal worst-case analysis
An embedded system consists of a collection of components that interact with each other and with the...
The design of systems in which timing constraints must be met (real-time systems) is being affected ...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...
The paper presents a model for multi-mode realtime applications and develops new techniques for the ...
This tutorial is concerned with various aspects of component-based design and compositional analysis...
Among the key characteristics of cyber-physical systems are the ability to adapt to changes during o...
Modal multi-rate stream processing applications with real-time constraints which are executed on mul...
Embedded systems are complex as a whole but consist of smaller independent modules interacting with ...
This paper demonstrates CARTS, a compositional analysis tool for real-time systems. We presented an ...
Component-based engineering is a popular design strategy for multi-functional and complex real-time ...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...
Embedded systems are complex as a whole but consist of smaller independent modules interacting with ...
Real-time multimedia subsystems often require support for switching between different resource and a...
The incremental design and analysis of parallel hard real-time stream processing applications is ham...
The design of multimedia platforms is becoming increasingly more complex. Modern multimedia systems ...
An embedded system consists of a collection of components that interact with each other and with the...
The design of systems in which timing constraints must be met (real-time systems) is being affected ...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...
The paper presents a model for multi-mode realtime applications and develops new techniques for the ...
This tutorial is concerned with various aspects of component-based design and compositional analysis...
Among the key characteristics of cyber-physical systems are the ability to adapt to changes during o...
Modal multi-rate stream processing applications with real-time constraints which are executed on mul...
Embedded systems are complex as a whole but consist of smaller independent modules interacting with ...
This paper demonstrates CARTS, a compositional analysis tool for real-time systems. We presented an ...
Component-based engineering is a popular design strategy for multi-functional and complex real-time ...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...
Embedded systems are complex as a whole but consist of smaller independent modules interacting with ...
Real-time multimedia subsystems often require support for switching between different resource and a...
The incremental design and analysis of parallel hard real-time stream processing applications is ham...
The design of multimedia platforms is becoming increasingly more complex. Modern multimedia systems ...
An embedded system consists of a collection of components that interact with each other and with the...
The design of systems in which timing constraints must be met (real-time systems) is being affected ...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...