Principles of Distributed Systems
15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Article
Chapter and Conference Paper
In this paper we propose a new abstract domain for static analysis of binary code. Our motivation stems from the need to improve the precision of the estimation of the Worst-Case Execution Time (WCET) of safet...
Chapter and Conference Paper
Schedulability analysis of software-intensive systems requires solution techniques that go beyond worst-case assumptions, fostering a cross-fertilization between the areas of real-time systems and performance ...
Article
In this paper we present an exact schedulability test for sporadic real-time tasks scheduled by the Global Fixed Priority Fully Preemptive Scheduler on a multiprocessor system. The analysis consists in modelin...
Article
Hierarchical scheduling provides a means of composing multiple real-time applications onto a single processor such that the temporal requirements of each application are met. This has become a popular techniqu...
Chapter and Conference Paper
The synthesis of timing parameters consists in deriving conditions on the timing constants of a concurrent system such that it meets its specification. Parametric timed automata are a powerful formalism for pa...
Chapter and Conference Paper
In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. We propose two different approaches to parametric analysis. The first o...
Article
The Multiprocessor Bandwidth Inheritance (M-BWI) protocol is an extension of the Bandwidth Inheritance (BWI) protocol for symmetric multiprocessor systems. Similar to Priority Inheritance, M-BWI lets a task th...
Article
Adaptive reservation is a real-time scheduling technique in which each application is associated a fraction of the computational resource (a reservation) that can be dynamically adapted to the varying requirement...
Chapter
This chapter describes the architecture of a middleware layer between low-level sensing devices and higher level software layers, to support the requirements of a software infrastructure for networked enterpri...
Book and Conference Proceedings
15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Chapter and Conference Paper
Hierarchical Scheduling (HS) systems manage a set of real-time applications through a scheduling hierarchy, enabling partitioning and reduction of complexity, confinement of failure modes, and temporal isolati...
Article
Wireless Sensor Networks (WSNs) technology has been mainly used in the applications with low-frequency sampling and little computational complexity. Recently, new classes of WSN-based applications with differe...
Article
Nowadays, microkernel-based systems are getting studied and adopted with a renewed interest in a wide number of IT scenarios. Their advantages over classical monolithic solutions mainly concern the dependabili...
Article
Article
Chapter and Conference Paper
In this paper, we address the problem of schedulability analysis of a set of real-time periodic (or sporadic) tasks on multiprocessor hardware platforms, under fixed priority global scheduling. In a multiproce...
Article
The problem of feasibility analysis of asynchronous periodic task sets, where tasks can have an initial offset, is known to be co-NP-complete in the strong sense. A sufficient pseudo-polynomial test has been p...
Book Series
Book