The 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
The complexity of physical and engineering systems, both in terms of the governing physical phenomen...
The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-...
Over the past decade, interface-based compositional schedulability analysis has emerged as an effect...
The paper presents a model for multi-mode realtime applications and develops new techniques for the ...
Among the key characteristics of cyber-physical systems are the ability to adapt to changes during o...
This tutorial is concerned with various aspects of component-based design and compositional analysis...
Modal multi-rate stream processing applications with real-time constraints which are executed on mul...
Abstract—Component based software development (CBD) re-duces development time and effort by allowing...
Real-time multimedia subsystems often require support for switching between different resource and a...
Growing software complexity is an increasing challenge for the software development of modern embedd...
Compositional schedulability analysis of hierarchical real-time systems is a well-studied problem. V...
Abstract—Real-time multimedia subsystems often require sup-port for switching between different reso...
International audienceNowadays, adaptive middleware plays an important role in the design of applica...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...
Abstract: Reuse of software entities such as components or Web services raise com-position issues si...
The complexity of physical and engineering systems, both in terms of the governing physical phenomen...
The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-...
Over the past decade, interface-based compositional schedulability analysis has emerged as an effect...
The paper presents a model for multi-mode realtime applications and develops new techniques for the ...
Among the key characteristics of cyber-physical systems are the ability to adapt to changes during o...
This tutorial is concerned with various aspects of component-based design and compositional analysis...
Modal multi-rate stream processing applications with real-time constraints which are executed on mul...
Abstract—Component based software development (CBD) re-duces development time and effort by allowing...
Real-time multimedia subsystems often require support for switching between different resource and a...
Growing software complexity is an increasing challenge for the software development of modern embedd...
Compositional schedulability analysis of hierarchical real-time systems is a well-studied problem. V...
Abstract—Real-time multimedia subsystems often require sup-port for switching between different reso...
International audienceNowadays, adaptive middleware plays an important role in the design of applica...
Embedded systems are complex as a whole but consist of smaller independent modules minimally interac...
Abstract: Reuse of software entities such as components or Web services raise com-position issues si...
The complexity of physical and engineering systems, both in terms of the governing physical phenomen...
The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-...
Over the past decade, interface-based compositional schedulability analysis has emerged as an effect...