WIRTES 2007 – Workshop su Real-Time Embedded Systems

2 Luglio 2007

RETIS Lab, Pisa

Programma

08:30-09:00 Registration

09:00-09:30 Opening Remarks

9:30-11:00 Session 1

Research Trends on Real-Time Systems

Giorgio Buttazzo, Scuola Superiore Sant’Anna

Open research issues in real-time networks

Lucia Lo Bello, Univ. di Catania

Energy-efficient Data Collection in Wireless Sensor Networks

Giuseppe Anastasi, Univ. di Pisa

Esempi di uso di software libero in ambito embedded in Italia

Alessandro Rubini, Univ. di Pavia

Multiprocessor Allocation and Scheduling Using Advanced Optimization Technology

Luca Benini, Univ. di Bologna

Designing Multiprocessor SOC platforms: modeling and applications mapping

Donatella Sciuto, Politecnico di Milano

Sensitivity Analysis in Real-Time Systems

Enrico Bini, Scuola Superiore Sant’Anna

11:00-11:30 Coffee Break

11:30-13:00 Session 2

Real-Time Scheduling for Multiprocessor Systems

Giuseppe Lipari, Scuola Superiore Sant’Anna

Automatic Verification of Embedded Systems

Enrico Tronci, Univ. di Roma “La Sapienza”

Time Petri Nets nella verifica e valutazione di sistemi real-time

Enrico Vicario, Univ. di Firenze

A Formal Methods Approach Towards Trustworty Global Computing

Diego Latella, ISTI-CNR, Pisa

Sulla Correttezza per Costruzione nello Sviluppo di Sistemi in Tempo Reale ad Elevata Integrità

Tullio Vardanega, Univ. di Padova

Fault-tolerant rate-monotonic scheduling in hard-real-time systems

Alan Bertossi, Univ. di Bologna

Logic-based modeling and analysis of timed systems

Matteo Rossi, Politecnico di Milano

13:00-14:30 Lunch Break

14:30-16:00 Session 3

Uniprocessor Scheduling under Precedence Constraints

Alberto Ferrari, Parades, Roma

Carrier grade solution for embedded devices

Salvatore Scafidi, Windriver

Flex: an open platform for embedded system prototyping

Paolo Gai, Evidence

Design Issues in Automotive Applications

Marco Di Natale, Scuola Superiore Sant’Anna

Elaborazione in tempo reale ed evoluzione di prodotti e sistemi industriali

Stefano Caselli, Univ. di Parma

Application specific processors for intensive computing applications

Francesco Leporati, Univ. di Pavia

Attività svolte presso il laboratorio di sistemi in tempo reale del Dipartimento di Ingegneria dell'Informazione di Padova

Sergio Congiu, Univ. di Padova

16:00-16:30 Coffee Break

16:30-18:00 Session 4

Adaptive strategies for QoS management in Multi-Resource Systems

Luigi Palopoli, Univ. di Trento

Co-scheduling of Software and Hardware Real-Time Tasks for FPGA-based Embedded Systems

Marco Caccamo, Univ. of Illinois at Urbana Champaign

Qualità del Servizio su Linux: Passato Presente e Futuro

Luca Abeni, Univ. di Trento

Temporal reflection and reflective scheduling for the L4 microkernel

Sergio Ruocco, Univ. di Milano Bicocca

Macchine gerarchiche per il tempo reale: l'approccio Violin

Libero Nigro, Univ. della Calabria

Memory Access Decoupling in a Multithreaded Architecture

Nikola Puzovic, Univ. di Siena

Sistemi di Comunicazione in Tempo Reale

Giacinto Micucci, Prisma Engineering

18:00 Closing remarks