24 Result(s)

Chapter and Conference Paper

Static Analysis of Binary Code with Memory Indirections Using Polyhedra

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...

Clément Ballabriga, Julien Forget… in Verification, Model Checking, and Abstract… (2019)

Chapter and Conference Paper

Towards Probabilistic Modeling and Analysis of Real-Time Systems

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 ...

Laura Carnevali, Luca Santinelli, Giuseppe Lipari in Computer Performance Engineering (2018)

Article

A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling

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...

Youcheng Sun, Giuseppe Lipari in Real-Time Systems (2016)

Article

Cache related pre-emption delays in hierarchical scheduling

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...

Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari, Robert I. Davis in Real-Time Systems (2016)

Chapter and Conference Paper

Reachability Preservation Based Parameter Synthesis for Timed Automata

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...

Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun in NASA Formal Methods (2015)

Chapter and Conference Paper

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

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...

Youcheng Sun, Romain Soulat, Giuseppe Lipari… in Formal Techniques for Safety-Critical Syst… (2014)

Article

Analysis and implementation of the multiprocessor bandwidth inheritance protocol

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...

Dario Faggioli, Giuseppe Lipari, Tommaso Cucinotta in Real-Time Systems (2012)

Article

On-line schedulability tests for adaptive reservations in fixed priority scheduling

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...

Rodrigo Santos, Giuseppe Lipari, Enrico Bini, Tommaso Cucinotta in Real-Time Systems (2012)

Chapter

Extracting Data from WSNs: A Service-Oriented Approach

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...

Gaetano F. Anastasi, Enrico Bini… in Methodologies and Technologies for Network… (2012)

Chapter and Conference Paper

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems

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...

Laura Carnevali, Giuseppe Lipari… in Reliable Software Technologies - Ada-Europ… (2011)

Article

Enhancing a dependable multiserver operating system with temporal protection via resource reservations

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...

Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder… in Real-Time Systems (2009)

Article

Guest Editorial

Giuseppe Lipari in Real-Time Systems (2008)

Chapter and Conference Paper

New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors

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...

Marko Bertogna, Michele Cirinei, Giuseppe Lipari in Principles of Distributed Systems (2006)

Article

Feasibility Analysis of Real-Time Periodic Tasks with Offsets

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...

Rodolfo Pellizzoni, Giuseppe Lipari in Real-Time Systems (2005)