Introduzione ai Sistemi Real Time. Prof. Davide Brugali



Documenti analoghi
Linguaggi dinamici. Giacomo Cabri Riccardo Martoglia

Corso di Laurea Magistrale in Ingegneria Informatica. Ingegneria del Software II (IS2)

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi

Linguaggi dinamici. Giacomo Cabri Mauro Andreolini

Fondamenti di automatica

Fondamenti di Informatica T-1

REALIZZAZIONE DI UN LABORATORIO REMOTO PER ESPERIENZE DI ROBOTICA EDUCATIVA: LATO CLIENT

Sistemi di Controllo

Corso di Laurea in Ingegneria Informatica e Biomedica. Sistemi Operativi A.A. ( )

FORMULARIO PER LA PROGETTAZIONE DEGLI INTERVENTI FORMATIVI CONNOTAZIONI GENERALI DELL'INTERVENTO A.1 - SOGGETTO PROMOTORE:.

TECNICO SUPERIORE PER L INFORMATICA INDUSTRIALE

Progetto di Applicazioni Software

Laboratori remoti ad uso didattico: generalità ed applicazioni

CICLO XXIII. Smart Vineyard. Nuove tecnologie per la sostenibilità ambientale dell agricoltura: un applicazione in viticoltura di precisione

17016-ECONOMIA E GESTIONE DEI SERVIZI PUBBLICI E SANITARI PRESENTAZIONE CORSO

Principi di Sistemi Operativi (1 anno Corso di Laurea Magistrale in Ingegneria Informatica) ANNO ACCADEMICO

Università di Bologna Corso di Laurea Specialistica in Ingegneria dell'automazione e Ingegneria Elettronica A.A Sistemi Operativi L-A

PROGRAMMAZIONE DIDATTICA ANNUALE DOCENTI

Il sistema operativo TinyOS

ORIENTAMENTO ELETTRONICA. Progettazione di Sistemi Elettronici Elettronica per la Robotica Elettronica per l automazione industriale

THEME Matrice di Competenza - Meccatronica

Analisi e progettazione del software

@TRACTOR: il trattore digitale. risultati del progetto di ricerca Isotractor

Sicurezza nei Sistemi Informativi

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali

Esercitazioni di PROGETTAZIONE DEL SOFTWARE A.A

Dipartimento di Ingegneria dell Informazione e Metodi Matematici Laboratorio di Reti Prof. Fabio Martignon

Istituto Universitario Navale Facoltà di Ingegneria Corso di Laurea in Ingegneria delle Telecomunicazioni

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe: terza. Disciplina: Informatica. prof. Silvia Tondo

Progettazione funzionale di sistemi meccanici e meccatronici.

I2P PROGETTAZIONE E SVILUPPO DEL PRODOTTO INDUSTRIALE

Dipartimento ICEM. Corso di Studio LM33 Ingegneria Meccanica. 2 dicembre 2014

Università degli Studi di Roma La Sapienza, Facoltà di Ingegneria

Analisi e progettazione del software

Introduzione al corso

Università degli studi di Roma Tor Vergata Ingegneria Medica Informatica I Programma del Corso

In legenda sono riportate le fasi R, P, C/T e I/SA come specificato nella norma ISO/IEC

Anno Scolastico: 2014/2015. Indirizzo: Relazioni Internazionali. Classe: terza. Disciplina: Tecnologie della Comunicazione.

Corso di Fondamenti di Economia

Generazione Automatica di Asserzioni da Modelli di Specifica

XXII CICLO DI DOTTORATO in Meccanica Applicata Curriculum in Sistemi avanzati di manifattura

AR&ME AUGMENTED REALITY & MOBILE EXPERIENCE Presentazione del corso a cura di MAURO CECONELLO e DAVIDE SPALLAZZO 07/03/ ceconello-spallazzo

SOMMARIO Introduzione Caratteristiche generali della piattaforma Amministrazione degli utenti 5

Sistemi Operativi. Conclusioni e nuove frontiere

Economia aziendale - Prof. Alessandro Spano

Report Corso SCIENZE E TECNICHE PSICOLOGICHE - Laurea Triennale

Fondamenti di Controlli Automatici Ing. Federica Grossi

Porting su architettura ARM Marvell 88F6281 ed analisi comparativa delle patch real-time RTAI e Xenomai per il kernel Linux

Anno Scolastico: Indirizzo: Sistemi Informativi Aziendali. Classe: quinta. Disciplina: Informatica. prof. Silvia Tondo

Reti Neurali Artificiali per la Finanza (7 CFU)

Lezioni frontali e/o multimediali. Lezioni frontali e/o

Organizzazione della Produzione e dei Sistemi Logistici

02CIXPG Sistemi informativi aziendali

Strumenti avanzati per lo studio della sicurezza stradale

REV. Date Prepared by Checked by Issued by ID: NUMBER. Issue/ E. Rusconi A. Ruggiero P. Baggi SP148

UNIVERSITÀ DEGLI STUDI DI BERGAMO

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA SISTEMI E RETI Classi IV articolazione informatica A.S

Sistemi di Controllo Real Time

Il modello informatico dei sistemi informativi aziendali: modello applicativo e modello tecnologico.

Il tempo è un gigante. che, vinto dal torpore, giace addormentato tra svolazzi di farfalle in un campo di fiori gialli e rossi.

Metodi Statistici di Controllo della Qualità Prof. Paolo Cozzucoli

Corso su MANAGEMENT PER OBIETTIVI E PER PROCESSI NELL UNIVERSITÀ

Laboratorio Nazionale di Comunicazioni Multimediali

Sistemi di Automazione Industriale

Fondamenti di Informatica II

Misurazione della qualità. dei siti web. della Pubblica Amministrazione. Datametrie

Laboratorio di Ingegneria del software Sistema di controllo di un ascensore Requisisti preliminari

1 CORSO DI SIMULAZIONE DINAMICA E ANALISI STRUTTURALE (FEM) CON INVENTOR PROFESSIONAL Certificato Autodesk

INGEGNERIA DEL SOFTWARE

Sistemi operativi e reti A.A Lezione 2

MATERIA : SISTEMI ELETTRICI AUTOMATICI INS. TEORICO: PROF. CIVITAREALE ALBERTO

Tecnologie dei Linguaggi di Programmazione

C.I.R.I. Aeronautica. L arte di Innovare, Cesena, 8 aprile Prof. Franco Persiani

AREA PROFESSIONALE DI RIFERIMENTO 9. TECNICO PER L AUTOMAZIONE INDUSTRIALE. Nomenclatura delle Unità Professioni (NUP/ISTAT):

LAUREA MAGISTRALE ANALISI CONSULENZA GESTIONE FINANZIARIA (ACGF) Facoltà di Economia Marco Biagi Modena 15/6/2011

Indice. 1 Introduzione 1

Progetto di ricerca AT-3

Valorizzazione della professionalità di SW Quality Assurance

PTA Azione 6 PTA Azione 6 Sistema di precisione open source per il rilevamento flussi di mobilità

DISCIPLINE PROGETTUALI E LABORATORIO ( MODELLISTICA E CAD )

Luigi Piroddi

Sistemi Operativi per la Robotica. Enzo Mumolo

Sistemi Operativi. Introduzione UNICAL. Facoltà di Ingegneria. Domenico Talia A.A

FONDAZIONE MALAVASI PIANO DI LAVORO E PROGRAMMAZIONE DIDATTICA DISCIPLINA: DISEGNO E STORIA DELL ARTE DOCENTE: MARCO MARCHESINI

Progetto di Applicazioni Software

CORSO DI FORMAZIONE Auditor di Sistemi di Gestione Qualità Auditor di Sistemi di Gestione Salute e Sicurezza sul Lavoro

Università Vita-Salute San Raffaele. Via Olgettina, Milano

Sviluppo di Excel base in Farmacia applicato al monitoraggio dei consumi di materiali sanitari

DISCIPLINE PROGETTUALI E LABORATORIO ( MODELLISTICA E CAD )

Disciplina: SISTEMI AUTOMATICI. Classi: III AES PROF. IANNETTA SIMONE PROF. SAPORITO ETTORE. Ore settimanali previste: 4

FORMAZIONE AVANZATA. Laboratorio sull orario di lavoro e time-management

Programma Corsi sui Pneumatici 2006/2007

Marketing e E-commerce

Manuale Fornitore. Gare dinamiche

Programmazione e Controllo di Gestione 8 cfu - 60 ore

Estensione di un sistema per la gestione semi-automatica di siti didattici con XML

Primo anno di applicazione della riforma e progetti per il secondo anno: aspetti tecnologici

Progettazione di siti Web

Corso base di Informatica. Microsoft Excel. Microsoft Access INFORMATICA. Docente: Durata: 40 ore. Destinatari

Progettazione avanzata delle macchine e degli impianti per l industria alimentare

Transcript:

Introduzione ai Sistemi Real Time Corso di Sistemi RT A.A. A 2010-2011 2011 Prof. Davide Brugali Università ità degli Studi di Bergamo

Obiettivi del corso Comprendere le caratteristiche fondamentali dei sistemi concorrenti e in tempo reale. Comprendere il processo di sviluppo di un sistema real time dall analisi dei requisiti alla progettazione Comprendere i meccanismi di implementazione offerti da Java RT Esemplificare la progettazione in UML e la programmazione in Java di sistemi concorrenti e in tempo reale 2

Modalità d esame Prova scritta di teoria e programmazione Il voto (sufficiente) i di un appello rimane valido fino all appello successivo. Il voto (anche insufficiente) dell ultimo appello sostituisce il precedente 3

La ruota gira a velocità costante 4

Il robot rimane in equilibrio su due ruote 5

Il robot avanza lungo il corridoio osservazioni disturbi azione correttiva riferimento 6

Robot mobile autonomo Controllo Misure Comandi Percezione Ambiente Attuazione 7

Caso di studio: Intense Care Unit Sensori applicati al paziente per monitorare la pressione del sangue e il livello di glucosio nel sangue Due dosatori di medicinali (flebo) Robot per la sostituzione dei flaconi di medicinali Unità di monitoraggio e controllo delle funzioni vitali del paziente 8

Intense Care Unit: Dosatori Sistema dinamico Stato : livello corrente Ingresso : apertura valvola Uscita : flusso in uscita refill Not Empty level < Min Low Level level == 0 Empty Evento : Low Level Evento : Refill Azione : chiudi valvola 9

Intense Care Unit: Robot Home Loaded load Sistema dinamico Stato : posizione Ingresso : destinazione gohome arrived Destination unload Evento : Done Azione : sostituisce dosatore Unloaded 10

Intense Care Unit: Paziente Sistema dinamico Stato : parametri vitali Ingresso : flusso di medicinali, cibo Uscita : pressione sangue, livello glucosio Comportamento I valori dei parametri vitali cambiano in funzione del metabolismo del paziente. I medicinali contribuiscono a ristabilire I valori fisiologici dei parametri vitali. Il cibo fa aumentare il livello di glucosio 11

Intense Care Unit: Unità di monitoraggio Sistema composto da 5 sottosistemi dinamici Monitor Pressione e Monitor Glucosio Regolano il flusso di medicinali (proporzionale) Segnalano valori critici Monitor Dosatore_1 e Monitor Dosatore_2 Notificano lo stato dei dosatori (vuoto / non) Controllore Robot Controlla l esecuzione delle operazioni Notifica il completamento delle operazioni 12

Intense Care Unit: architettura Hw Software Real-Time 13

Intense Care Unit: Simulatore Software Real-Time 14

Sistema in tempo reale 15

Sistema in tempo reale 16

Velocità 17

Velocità 18

Predicibilità 19

Fonti di non determinismo 20

Applicazioni Real-Time 21

Sistemi RT critici 22

Approccio tradizionale 23

Problemi 24

Alcune indicazioni 25

Programma del corso Introduzione ai sistemi real time Progettazione in UML di sistemi real time Implementazione in Java RT di applicazioni RT Esemplificazione con casi di studio 26

Materiale didattico http://robotics.unibg.it/teaching/indinf/ 27