1
Real-Time Systems Laboratory
RETIS Lab
A brief introduction
Real-Time Systems Laboratory
RETIS Lab investigates
embedded computing
systems
with particular emphasis in
RETIS Lab
systems
with particular emphasis in
Real-time methodologies
Operating systems
People
Real-Time Systems Laboratory
RETIS Lab
Currently, the RETIS Lab comprises 35 people,
including:
2 Full professors
2 Associate professors
4 Assistant professors
12 Research associates
15 PhD students
What is an embedded system?
⇒
It is a computing systems hidden in an object to control its
Real-Time Systems Laboratory
RETIS Lab
functions, enhance its performance, manage the available
resources and simplify the interaction with the user.
Environment
actuators
micro-processor
Object
sensors
processor
communication
3
Real-Time Systems Laboratory
Embedded computing systems are becoming pervasive in our
society:
RETIS Lab
Flight control systems
Plant control
Automotive
Railways switching systems
Robotics
Defense systems
Patient monitoring systems
What’s special in
Embedded Systems?
FEATURES
REQUIREMENTS
Scarce resources
(space,
weight, time, memory, energy)
High concurrency and resource
sharing
(high task interference)
High efficiency in
resource management
Limit interference by
temporal isolation
Hi h
di t bilit i th
Tight environment interaction
High variability
on workload
and resource demand
High predictability in the
response time
Robustness (Overload
handling and adaptivity)
Predictability + efficiency
The
RETIS
group
has
contributed
to
increase
predictability and efficiency of real-time systems for
Airbus
Bosch
In collaboration with
Airbus
and
Bosch
5
Linux has been extended to handle real-time
software and support the rapid growth of complexity
in next generation cell phones
Predictability in Linux
in next-generation cell phones.
In collaboration with
Ericsson
ARM11 (4 cores)
Linux 2.6.x
The
FLEX
Board
Main features:
Embedded Control Board
¾
C
ti
ith th
Expandibility:
¾
Power management
¾
Remote programming
¾
Connection with other
special-purpose boards
Architecture
ERIKA
ERIKA
RTOS
RTOS
Software
Software
Application (C)
Microchip
Microchip
dsPIC 30F601x
Hardware
Hardware
7
Educational control kits
ASCOLTA
Objectives
Home assistance for
heart failure
through an advanced
wearable monitoring systems
¾
Reduce hospital costs
through
continuous monitoring at home.
¾
Simplify health monitoring
through
a wireless wearable monitoring system
Objectives
a wireless wearable monitoring system
¾
Automatic
detection of critical conditions
,
ASCOLTA
ECG SPO2 Blood pressure Breath signal Body motionWireless Sensor Networks
C
t ll
actuators
HW
Typical measures
Environment
Node
Controller
sensors
HW
wireless
© Scuola Superiore Sant’Anna 16
–
sound
–
light
–
gas
–
temperature
9
Mobile Nodes
© Scuola Superiore Sant’Anna 17
Sample applications
•
Surveillance
•
Intrusion detection and tracking
•
Defence systems
•
Environmental monitoring
Exploration
•
Exploration
•
Rescuing
18Fire prevention
© Scuola Superiore Sant’Anna
...
19Traffic monitoring
11
International Collaborations
Carnegie Mellon University
– Prof. Rajkumar / Lehoczky (feasibility analysis)
Uni
of Illinois
at Urbana Champaign
Univ. of Illinois
at Urbana Champaign
– Prof. Lui Sha / Marco Caccamo (RT control and scheduling)
Univ. of North Carolina
at Chapel Hill
– Prof. Sanjoy Baruah (Multiprocessor scheduling)
Univ. of California at Berkeley
– Prof. Sangiovanni Vincentelli (Design methodologies and tools)
Prof. Sangiovanni Vincentelli (Design methodologies and tools)
Florida State University
– Prof. Ted Baker (Multiprocessor scheduling)
Univ. of Indianapolis
– Prof. Yao Liang (Sensor Networks)
Real-Time Systems Laboratory
RETIS Lab
Vasteras Trondheimcontacts
York Rennes Dresden Prague Wien Zurich Kaiserslautern Eindhoven Lund Dortmund Stockholm Goteborg Vasteras Cork Nancy Madrid Porto Valencia Barcelona Grenoble Cantabria Catania Tr Pv Bo Fi Si AnReal-Time Systems Laboratory
RETIS Lab
Philadelphia Pittsburgh Berkeley Austin Virginia UIUC UNC FSU
Philips
- QoS management for multimedia systems
Ericsson
RT t f t l i tiIndustrial Collaborations
Ericsson
- RT systems for telecommunications
Airbus
- kernels for avionic applications
Bosch
- kernels for automotive applications
Microchip
- RTOS for embedded control applicationsM
ti M
lli
Magneti Marelli
- Schedulability tools for automotive systems
Ansaldo
- Predictable kernel mechanisms13
Courses on
Embedded Systems
Course Teacher NOTES
Methodologies for increasing Real-Time Systems Giorgio Buttazzo
software predictability. Task scheduling and feasibility analysis; protocols for accessing shared resources; interrupt handling.
Introduction to
Neural Networks Giorgio Buttazzo
Basic networks models and learning algorithms for pattern recognition, classification, prediction and control prediction, and control.
Object Oriented Software Design in C/C++
Giuseppe Lipari
Software design methodologies in C++; Code design patterns; Templates; Concurrency in C++; the new C++11 standard.
Course Teacher NOTES
Courses on
Embedded Systems
Embedded Systems Marco Di Natale
Introduction to the development of programs and models for embedded software. Finite state machines. Automatic code generation using Simulink tool from Mathworks.
Programming microcontrollers, I/O de ices sensor acq isition and Laboratory of
Real-Time Systems
Mauro Marinoni, Gianluca Franchino
devices, sensor acquisition and processing, servomotor control, wireless communication protocol. Use of a real-time kernel to develop real-time control applications.
Course Teacher NOTES
Michela Milano Integer Linear Programming
Courses on
Embedded Systems
Combinatorial Optimization Michela Milano Andrea Roli Enrico Malaguti Michele Lombardi Constraint Programming Simulated Annealing Genetic Programming Hybrid methodsAndroid Framework Alberto Panizzo
Mobile device features, Application environment, User interface,
Data management Data management
Complex services and security
Dependability and Fault-Tolerance
Felicita
Di Giandomenico
Fault models. Error detection. Forward and backward error recovery. Static and dynamic redundancy. Transactions and checkpoints.
Course Teacher NOTES
Courses on
Embedded Systems
Modeling of concurrent
programming Sverre Hendseth
Formal methods for expressing concurrent programs and verifying their correctness.
How to do research Giorgio Buttazzo Gerhard Fohler
How to write scientific papers Common English mistakes How to make slides How to make presentations How to make presentations How to review papers