Paolo Pagano (p.pagano@sssup.it)

actuallyabandonedElectronics - Devices

Nov 15, 2013 (3 years and 7 months ago)

66 views

Corso di Sistemi in Tempo Reale

Laurea in Ingegneria dell‘Automazione

a.a. 2008
-
2009


Paolo Pagano (p.pagano@sssup.it)

Paolo Pagano
-

RT Systems

2
/15

Course Outline (1/2)


First day (23
rd
)


Basics of FSM (slides by prof. Lipari)


The Uppaal platform


Formal verification


Second day (24
th
)


FSM implementation in C (slides by prof. Di Natale)


A case study


Real Hardware demonstration



Paolo Pagano
-

RT Systems

3
/15

Course Outline (2/2)


Third day (30
th
)


The OSEK standard


The ERIKA real
-
time kernel


Fourth day (31
st
)


A FSM case study


Discussion



Paolo Pagano
-

RT Systems

4
/15

What is an Embedded System?

Paolo Pagano
-

RT Systems

5
/15


Robotics


Flight control systems


Plant control


Automotive


Consumer electronics


Multimedia systems


Sensor/Actor
Networks

Embedded computing systems are becoming pervasive in our
society (more than 10
9

units/year):

Where are ESs?

Paolo Pagano
-

RT Systems

6
/15

People say …

Criticality

digital tv

Timing constraints

soft

firm

hard

QoS management

High performance

Safety critical

Paolo Pagano
-

RT Systems

8
/15

Common features


In these diversified domains some shared
features can be identified:


Dedicated function (vs general
-
purpose computers)


Reactive / Interactive


Real
-
time


Constraints on several metrics: cost, power,
performance, noise, weight, size, flexibility,
maintainability, correctness, safety, time
-
to
-
market

Paolo Pagano
-

RT Systems

9
/15

Standalone devices?


Networked embedded systems


System composed of various components (sensors,
controllers, actuators) interconnected through a
network


Cabling problem, mobility requirements ==> wireless


Wireless Sensor Networks:


Multitude of application scenarios


Environmental monitoring


Surveillance


Telemedicine, health care, industrial plant control, multi
-
view
vision




Paolo Pagano
-

RT Systems

10
/15

Buzzwords:


ubiquity


pervasiveness


Wireless


mobility


smart spaces


M2M


distributed


embedded


dynamic


energy

Why WSN?

Paolo Pagano
-

RT Systems

11
/15

Design of ESs


Multidisciplinarity


Application context / domain


Embedded electronics / sensors


Embedded manufacturing


Control Systems Theory


Digital processing


Real
-
Time Operating Systems


Embedded Communications (Wired, Wireless)


Constraints

Paolo Pagano
-

RT Systems

12
/15

Research directions (1/2)


Architectures


Towards Network
-
on
-
a
-
Chip (NoC) systems


Traditional SW programming does not adapt well to massivelly
parallel, distributed and concurrent hardware


Towards techniques for global design optimization w.r.t. some
design metrics, e.g. Energy


Software


Real
-
time, lightweight middleware with QoS


Portability, multi
-
processor


Model
-
driven (higher level) SW development


Verification / validation through formal methods


Standardization


Paolo Pagano
-

RT Systems

13
/15

Research directions (2/2)


Communications


Power
-
aware communications


Lightweight network stacks


Heterogeneous communications


Mobile, home, Internet


Ad
-
hoc networking: self
-
discovery and organization


Multi
-
(interconnected
-
)device functionality


Peripherals


Cost
-
effective sensors/actuators


Working in harschy environment


Mechanically / thermally robust


Low power (power scavenging)


Fail
-
safe

Paolo Pagano
-

RT Systems

14
/15

What can we do in this wide domain?
(1/2)


We can naively design an Embedded System
making use of some basic knowledge of Finite
State Machine theory;


We can simulate the ES making use of the
Uppaal environment (demonstration use only for
licensing issues);


We can implement our SW in Real
-
Hardware
using fully customized FLEX boards.

Paolo Pagano
-

RT Systems

15
/15

What can we do in this wide domain?
(2/2)


We can introduce real
-
time kernels to support
multi
-
sensing and multi
-
programming activities;


We will work upon an existing demo application
developed for ERIKA real
-
time kernels;


We will see how to fully exploit the power of a
programmable MCU.