Porting su architettura ARM Marvell 88F6281 ed analisi comparativa delle patch real-time RTAI e Xenomai per il kernel Linux
|
|
- Lamberto Donato Mariotti
- 8 anni fa
- Visualizzazioni
Transcript
1 UNIVERSITÀ POLITECNICA DELLE MARCHE FACOLTÀ DI INGEGNERIA Corso di Laurea Specialistica in Ingegneria Elettronica Porting su architettura ARM Marvell 88F6281 ed analisi comparativa delle patch real-time RTAI e Xenomai per il kernel Linux Tesi di laurea di Francesco LUCCONI Relatore Prof. Aldo Franco DRAGONI Correlatori Prof. Massimo CONTI Ing. Massimiliano PIRANI Anno Accademico 2009/2010
2 Esigenza di controllo di sistemi con stringenti vincoli temporali Utilizzo di GNU/Linux Semplice portabilità Elevato numero di piattaforme hardware supportate Elevato numero di device drivers Soluzione applicabile e replicabile rapidamente su diverse piattaforme Collaborazione con Spes s.c.p.a. per SO real-time su piattaforma embedded per controllo ambientale
3 Indagine sulla portabilità e sulle performance delle patch real-time al kernel Linux delle patch considerate della timeliness delle patch considerate
4 Definizione di sistema a tempo reale Real-time = Predicibilità temporale Real-time Rapidità di esecuzione Correttezza dei risultati Valore del risultato Rispetto dei vincoli temporali
5 Linux non è un sistema operativo real-time Aspetti problematici: Task senza vincoli temporali Latenze di interrupt impredicibili Esecuzione delle ISR incontrollabili Problemi di scheduling legati ai context switch
6 Linux non è un sistema operativo real-time Linux per il real-time? Riferimento per piattaforme embedded Disponibilità di drivers per periferiche e dispositivi Modularità, stabilità, robustezza
7 Sono presenti due approcci: Dual kernel (RTAI, Xenomai) Mono kernel (RT PREEMPT)
8 due kernel - un hardware
9 Descrizione hardware piattaforma Marvell : CPU 1.2 GHz, con set di istruzioni ARMv5te Porta USB ed Ethernet 2 canali TDM, interfaccie SDIO, NAND flash, SPI, TWSI e UART
10 Il microcontrollore presenta due timer general purpose ed un watchdog: Timer a 32 bit Decremento ad ogni fronte di salita del clock Modalità di lavoro auto-mode/one-shot Codice sorgente kernel Linux: TIMER 0 free-running TIMER 1 clock-event-device
11 Porting di Supporto per assente. Introduzione del supporto creando una patch. Kernel Linux Xenomai
12 Porting di Patch specifiche per board Marvell e per pipeline Adeos Riconfigurazione software per adattamento ad Adeos Cross-compilazione del Kernel Linux Cross-compilazione modulo utente Xenomai
13 Porting di Porting per board funzioni implementate per gestione timing su Adeos ipipe: Acquisizione e acknowledge interrupt dei timer Impostazione ad elevata risoluzione Acquisizione e settaggio dei valori dei timer
14 Porting di RTAI su Supporto per assente anche per RTAI Linux RTAI Ulteriori problematiche: Architettura RTAI architettura Xenomai Scarso supporto per ARM Difficile adattamento al kernel Procedura analoga a Xenomai
15 Porting di RTAI su Creazione della patch RTAI rispetto al kernel : Impostazioni dispatcher interrupt Funzioni di attivazione/disattivazione interrupt annidati Scheduling task-set real-time Adattamento del modulo utente RTAI per board : Customizzazione del modulo su hardware board Studio dei registri di sistema (, CPU) Revisione di funzioni ottimizzate in assembly
16 patch real-time API Supporto HW Xenomai RTAI RT PREEMPT Nativa RTDM POSIX RTDM POSIX b VxWorks psos+ VRTX µitron x86 ARM PPC Blackfin NIOS II Sviluppo (ARM) Interrupt Dispatcher IRQ Modello task Periodico, aperiodico x86 ARM PPC Dispatcher IRQ, gestione diretta Periodico, aperiodico all ISR Aperiodico
17 eseguiti per verifica prestazioni real-time async handler gtod latency pthread kill latency sched jitter sched latency
18 async handler test1 test2 test3 min [ns] max [ns] avg [ns] 16, , ,7883 σ [ns] 1,1847 1,2217 1,2303 Tabella: Risultati del test async handler per RT PREEMPT test1 test2 test3 min [ns] max [ns] avg [ns] 9,1724 9,1354 9,3396 σ [ns] 0,3833 0,3454 0,4757 Tabella: Risultati del test async handler per Xenomai
19 gtod latency test1 test2 test3 min [ns] max [ns] avg [ns] 506, , ,2231 σ [ns] 73, , ,1585 Tabella: Risultati del test gtod latency per RT PREEMPT test1 test2 test3 min [ns] max [ns] avg [ns] 854, , ,8467 σ [ns] 119, , ,2727 Tabella: Risultati del test gtod latency per Xenomai
20 pthread kill latency test1 test2 test3 min [ns] max [ns] avg [ns] 18, , ,1886 σ [ns] 1,028 1,0215 0,9926 failures Tabella: Risultati del test pthread kill latency per RT PREEMPT test1 test2 test3 min [ns] max [ns] avg [ns] 16, , ,99 σ [ns] 1,174 1,1528 1,1114 failures Tabella: Risultati del test pthread kill latency per Xenomai
21 sched jitter test1 test2 test3 max [ms] 100, , , Tabella: Risultati del test sched jitter per RT PREEMPT test1 test2 test3 max [ms] 102, , , Tabella: Risultati del test sched jitter per Xenomai
22 sched latency test1 test2 test3 start [ns] min [ns] max [ns] avg [ns] σ 1,5363 1,2544 1,5631 Tabella: Risultati del test sched latency per RT PREEMPT test1 test2 test3 start [ns] min [ns] max [ns] avg [ns] σ 1,9292 1,5402 1,6167 Tabella: Risultati del test sched latency per Xenomai
23 Conclusioni e sviluppi futuri Necessità di modifiche a Linux per aumentare predicibilità RTAI non adatto a contesti embedded Xenomai: performance ed affidabilità Scelta: Xenomai Sviluppi futuri: Estensione testsuite software per RTOS Sviluppo testsuite hardware per RTOS
24 Grazie per l attenzione
Lezione R14. Sistemi embedded e real-time
Lezione R14 Sistemi embedded e 22 gennaio 2013 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SERT 13 R14.1 Di cosa parliamo in questa lezione? In
DettagliLaureando: Damiano Vittor. Relatore: Dott. Ing. Massimiliano Nolich
Università degli studi di Trieste Facoltà di Ingegneria Dipartimento di Elettrotecnica, Elettronica ed Informatica Sviluppo di un Driver per il Controllo di un Robot Mobile in Ambiente Multipiattaforma
DettagliPROPOSTA DI UN ARCHITETTURA IMS INTEGRATA IN UN AMBIENTE VIRTUALIZZATO: ANALISI DI PRESTAZIONI Daniele Costarella
UNIVERSITÀ DEGLI STUDI DI SALERNO FACOLTÀ DI INGEGNERIA Tesi di Laurea in INGEGNERIA ELETTRONICA PROPOSTA DI UN ARCHITETTURA IMS INTEGRATA IN UN AMBIENTE VIRTUALIZZATO: ANALISI DI PRESTAZIONI Daniele Costarella
DettagliIntroduzione alle architetture per il controllo dei manipolatori
Introduzione alle architetture per il controllo dei manipolatori Nicola SMALDONE Controllo digitale Perché un sistema di elaborazione dati? Le uscite dell impianto vengono campionate mediante un convertitore
DettagliSoftware Open Source per sistemi embedded
Software Open Source per sistemi embedded Alberto Ferrante OSLab ALaRI, Facoltà di Informatica Università della Svizzera italiana ferrante@alari.ch Outline Introduzione Perché usare il software OS in ambito
DettagliLezione 4 La Struttura dei Sistemi Operativi. Introduzione
Lezione 4 La Struttura dei Sistemi Operativi Introduzione Funzionamento di un SO La Struttura di un SO Sistemi Operativi con Struttura Monolitica Progettazione a Livelli di un SO 4.2 1 Introduzione (cont.)
DettagliIl sistema operativo TinyOS
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo candidato Giovanni Chierchia Matr. 534 / 804 ::. Obiettivi del lavoro di tesi Studio del sistema operativo TinyOS Studio
DettagliUno strumento per l emulazione di fallimenti hardware in sistemi virtualizzati
Tesi di laurea magistrale Uno strumento per l emulazione di fallimenti hardware in sistemi virtualizzati Anno Accademico 2012/2013 relatore Ch.mo prof. Marcello Cinque Ing. Antonio Pecchia correlatore
DettagliMarco Cesati Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata
Lezione E4 sistema bare-metal Sistemi operativi open-source, embedded e real-time 22 ottobre 2013 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SOSERT
DettagliLezione E5. Sistemi embedded e real-time
Lezione E5 sistema bare-metal Sistemi embedded e real-time 25 ottobre 2012 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SERT 13 E5.1 Di cosa parliamo
DettagliLe Aziende del Distretto Green & High Tech presentano i loro progetti. Valorizzare le sinergie della rete per creare valore aggiunto.
Le Aziende del Distretto Green & High Tech presentano i loro progetti Valorizzare le sinergie della rete per creare valore aggiunto Azcom Technology Relatore: Claudio Canosi 10-15 Aprile 2014 APA Confartigianato
DettagliLinux nei sistemi Real-Time. Andrea Sambi
Linux nei sistemi Real-Time Andrea Sambi Sistemi Real-Time Sistema Real-Time (RT) non è sinonimo di sistema veloce. Un Processo Real-Time deve terminare rispettando i vincoli temporali (le deadline) stabiliti
DettagliPrototipazione GNU/Linux-Arduino
di Rodolfo Giometti Prototipazione GNU/Linux-Arduino Prototipazione rapida con GNU/Linux & Arduino Rodolfo Ing. Giometti Ingegnere informatico libero professionista. Embedded x86,
DettagliCorso di Sistemi di Elaborazione A.A. 2008/2009
Università di Ferrara Facoltà di Ingegneria Docente: Ing. Massimiliano Ruggeri Mail: m.ruggeri@imamoter.cnr.it mruggeri@ing.unife.it Tel. 0532/735631 Corso di Sistemi di Elaborazione A.A. 2008/2009 Durata:
DettagliPROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE
PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE Relatore: prof. Michele Moro Laureando: Marco Beggio Corso di laurea in Ingegneria Informatica Anno Accademico 2006-2007
DettagliLinux Day 2004. Linux Real time ed Embedded in applicazioni industriali
Linux Day 2004 Linux Real time ed Embedded in applicazioni industriali Embedded o Real time? Molte le definizioni, spesso discordanti I confini sono abbastanza nebulosi Di solito le due categorie sono
DettagliSchedulazione in RTAI
Schedulazione in RTAI RTAI: modulo kernel rt_hello_km.c #include #include Thread real-time... Ciclo infinito RT_TASK task; Periodico... void task_routine() { while(1) { /* Codice
DettagliLinux Embedded un pinguino piccolo così
Linux Embedded un pinguino piccolo così Fabrizio Vacca fabrizio.vacca@microc.it Agenda Introduzione Sistemi embedded: hardware Sistemi embedded: software Piccola panoramica di progetti Open Source DEMO
DettagliImplementazione di sistemi real time
Implementazione di sistemi real time Automazione 28/10/2015 Vincenzo Suraci STRUTTURA DEL NUCLEO TEMATICO HARDWARE ABSTRACTION LAYER IMPLEMENTAZIONE EVENT-DRIVEN IMPLEMENTAZIONE TIME-DRIVEN SISTEMI DI
DettagliTesina per l esame di Sistemi Operativi a cura di Giuseppe Montano. Prof. Aldo Franco Dragoni
Sistemi operativi real time basati su : gestione delle risorse e dei processi. Tesina per l esame di Sistemi Operativi a cura di. Prof. Aldo Franco Dragoni Corso di laurea in Ingegneria Informatica e dell
DettagliGianluigi Magnasco easitec S.r.l. Parma, 16 Settembre 2010
Soft Control facile con RTX e Windows Embedded Standard 7 RTX 2009: funzionalità ed uso pratico Gianluigi Magnasco easitec S.r.l. Parma, 16 Settembre 2010 Definizione di Sistema Tempo Reale: Definizione
DettagliArchitettura di un sistema di calcolo
Richiami sulla struttura dei sistemi di calcolo Gestione delle Interruzioni Gestione della comunicazione fra processore e dispositivi periferici Gerarchia di memoria Protezione. 2.1 Architettura di un
DettagliRTAI: un po di storia
RTAI Andrea Sambi RTAI: un po di storia Real-Time Application Interface Sviluppato presso il Politecnico di Milano Nato per rispondere alla richiesta di un sistema operativo a basso costo da utilizzarsi
DettagliLinux e il real time in applicazioni spaziali
Linux e il real time in applicazioni spaziali ESA-ESTEC TEC-SWE Seminario nell ambito del corso di Sistemi Operativi in Tempo Reale tenuto dal Prof. Aldo Franco Dragoni Contenuti Introduzione Linux e il
DettagliTesi di Laurea Specialistica EMULAZIONE DI EFFETTI WAN NELLA VALUTAZIONE DELLE PRESTAZIONI DI SERVER WEB. Candidato Emiliano Zeppa.
Tesi di Laurea Specialistica EMULAZIONE DI EFFETTI WAN NELLA VALUTAZIONE DELLE PRESTAZIONI DI SERVER WEB Candidato Emiliano Zeppa Relatore Chiar.mo Prof. Salvatore Tucci Correlatore Dr. Valeria Cardellini
DettagliIl Sistema Operativo. Introduzione di programmi di utilità. Elementi di Informatica Docente: Giorgio Fumera
CPU Memoria principale Il Sistema Operativo Elementi di Informatica Docente: Giorgio Fumera Corso di Laurea in Edilizia Facoltà di Architettura A.A. 2009/2010 ALU Unità di controllo Registri A indirizzi
DettagliComputazione multi-processo. Condivisione, Comunicazione e Sincronizzazione dei Processi. Segnali. Processi e Threads Pt. 2
Computazione multi-processo Avere più processi allo stesso momento implica/richiede Processi e Threads Pt. 2 Concorrenza ed efficienza Indipendenza e protezione dei dati ma deve prevedere/permettere anche:
DettagliSTRUTTURE DEI SISTEMI DI CALCOLO
STRUTTURE DEI SISTEMI DI CALCOLO 2.1 Strutture dei sistemi di calcolo Funzionamento Struttura dell I/O Struttura della memoria Gerarchia delle memorie Protezione Hardware Architettura di un generico sistema
DettagliArchitettura di un sistema operativo
Architettura di un sistema operativo Dipartimento di Informatica Università di Verona, Italy Struttura di un S.O. Sistemi monolitici Sistemi a struttura semplice Sistemi a livelli Virtual Machine Sistemi
DettagliRobotica di servizio su piattaforma Linux. relatore: Alessandro Budai con la collaborazione dello SmartLab (http://smartlab.univ.trieste.
Robotica di servizio su piattaforma Linux relatore: Alessandro Budai con la collaborazione dello SmartLab (http://smartlab.univ.trieste.it) Robotica di servizio Utilizzo di robot in ambienti civili Cooperazione
Dettagliintroduzione I MICROCONTROLLORI
introduzione I MICROCONTROLLORI Definizione Un microcontrollore è un dispositivo elettronico programmabile Può svolgere autonomamente diverse funzioni in base al programma in esso implementato Non è la
DettagliFACOLTÀ DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA INFORMATICA DIPARTIMENTO DI INFORMATICA E SISTEMISTICA. Presentazione
UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II FACOLTÀ DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA INFORMATICA DIPARTIMENTO DI INFORMATICA E SISTEMISTICA Presentazione Tesi di Laurea in Misure per l Automazione
DettagliEstensioni Linux per il Real-Time
Estensioni Linux per il Real-Time Il Sistema Operativo Linux Numerazione versioni di linux: a.b.c (es. 2.4.16) dove a no. versione, b kernel stabile (se pari), in sviluppo (se dispari) c no. di rilascio
DettagliMicroelettronica Corso di progettazione su SoC ARM:
Microelettronica Corso di progettazione su SoC ARM: Introduzione Stefano Salvatori Università degli Studi Roma Tre (stefano.salvatori@uniroma3.it) Università degli Studi Roma Tre Microelettronica 2013
DettagliEmbedded Linux Introduzione
Embedded Linux Introduzione Progetto STRAGO su WSN, Fase 1 pascione@napoli.consorzio-cini.it cotroneo@unina.it Napoli, 16 Gennaio 2006 macinque@unina.it Perché Embedded Linux? Perchè Linux? Codice sorgente
DettagliIl software impiegato su un computer si distingue in: Sistema Operativo Compilatori per produrre programmi
Il Software Il software impiegato su un computer si distingue in: Software di sistema Sistema Operativo Compilatori per produrre programmi Software applicativo Elaborazione testi Fogli elettronici Basi
DettagliStrumento per l iniezione di guasti software nel sistema operativo GNU/Linux
Tesi di laurea Strumento per l iniezione di guasti software nel sistema operativo GNU/Linux Anno Accademico 2009/2010 Relatore Ch.mo prof. Marcello Cinque Correlatore Ch.mo ing. Roberto Natella Candidato
DettagliUn approccio innovativo alla tecnica di robustness testing del sistema operativo Linux
tesi di laurea Un approccio innovativo alla tecnica di robustness testing del sistema Anno Accademico 2009/2010 relatore Ch.mo prof. Domenico Cotroneo correlatori Ing. Domenico Di Leo Ing. Roberto Natella
DettagliIntroduzione ai sistemi operativi
Introduzione ai sistemi operativi Che cos è un S.O.? Shell Utente Utente 1 2 Utente N Window Compilatori Assembler Editor.. DB SOFTWARE APPLICATIVO System calls SISTEMA OPERATIVO HARDWARE Funzioni di un
DettagliVIRTUALIZZAZIONE LUG - CREMONA. Linux Day - 25 Ottobre 2008
VIRTUALIZZAZIONE LUG - CREMONA Linux Day - 25 Ottobre 2008 VIRTUALIZZAZIONE In informatica la virtualizzazione consiste nella creazione di una versione virtuale di una risorsa normalmente fornita fisicamente
DettagliUniversità degli Studi di Trieste
Università degli Studi di Trieste DIPARTIMENTO DI INGEGNERIA E ARCHITETTURA Corso di Laurea in Ingegneria Elettronica STUDIO DI FATTIBILITÀ E IMPLEMENTAZIONE DI ALGORITMI ATTI A MIGLIORARE LA PERCEZIONE
DettagliPresentazione curata da Ing. Mario Di Dio Busa
Presentazione curata da Ing. Mario Di Dio Busa V. Pajetta, 10/c - 13836 Cossato (Bi) 015-980096/983206 fax 015-980668 www.sisav.it e.mail: info-field@sisav.it Il nostro obiettivo Aree di offerta Quali
DettagliUniversità Politecnica delle Marche
Università Politecnica delle Marche Facoltà di Ingegneria Corso di Laurea in Ingegneria Informatica e dell Automazione Porting su architettura Cris AXIS ETRAX 100LX del sistema operativo Xenomai Tesi di
DettagliMarco Cesati Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata
Lezione R14 Linux e Sistemi embedded e 22 gennaio 2013 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SERT 13 R14.1 Di cosa parliamo in questa lezione?
DettagliPorting su architettura ARM ed analisi comparativa delle patch real-time PREEMPT_RT e Xenomai per il kernel Linux
Università Politecnica delle Marche Facoltà di Ingegneria Dipartimento di Ingegneria dell Informazione Corso di Laurea in Ingegneria Informatica e dell Automazione Porting su architettura ARM ed analisi
DettagliSviluppo di applicazioni mobili su piattaforma Maemo
tesi di laurea Anno Accademico 2009/2010 relatore Ch.mo prof. Marcello Cinque candidato Giovanni Fortini Matr. 534/2169 Contesto e contributo Sistemi operativi per dispositivi mobili Sviluppo di un applicazione
DettagliISTVAS Ancona Introduzione ai sistemi operativi Tecnologie Informatiche
ISTVAS Ancona Introduzione ai sistemi operativi Tecnologie Informatiche Sommario Definizione di S. O. Attività del S. O. Struttura del S. O. Il gestore dei processi: lo scheduler Sistemi Mono-Tasking e
DettagliIntroduzione ai Microcontrollori Workshop 08/06/2011 Dott.Ing.Marco Frosini Qprel srl Dott.Ing.Lorenzo Giardina Qprel srl Slide 1 di 27 L'elettronica digitale PRIMA dei microcontrollori Elemento base:
DettagliPrestazioni CPU Corso di Calcolatori Elettronici A 2007/2008 Sito Web:http://prometeo.ing.unibs.it/quarella Prof. G. Quarella prof@quarella.
Prestazioni CPU Corso di Calcolatori Elettronici A 2007/2008 Sito Web:http://prometeo.ing.unibs.it/quarella Prof. G. Quarella prof@quarella.net Prestazioni Si valutano in maniera diversa a seconda dell
DettagliProgettazione e Sviluppo dell Applicazione Web Share Mobile per Dispositivi Mobili Multipiattaforma. Elaborato di Laurea di: Marco Stanzani
UNIVERSITÀ DEGLI STUDI DI MODENA E REGGIO EMILIA Facoltà di Ingegneria Enzo Ferrari Sede di Modena Corso di Laurea Specialistica in Ingegneria Informatica Progettazione e Sviluppo dell Applicazione Web
DettagliReal-time EDF scheduling per il kernel FreeBSD: analisi, implementazione e risultati sperimentali
Real-time EDF scheduling per il kernel FreeBSD: analisi, implementazione e risultati sperimentali Marco Trentini m.trentini@campus.unimib.it Relatore: Dott. Sergio Ruocco Correlatore: Prof. Francesco Tisato
DettagliScheduling. Lo scheduler è la parte del SO che si occupa di
Scheduling Lo scheduler è la parte del SO che si occupa di decidere quale fra i processi pronti può essere mandato in esecuzione L algoritmo di scheduling (la politica utilizzata dallo scheduler) ha impatto
Dettagli8 Microcontrollori PIC
8 Microcontrollori PIC 8.1 Descrizione generale Un microcontrollore è un dispositivo elettronico che opportunamente programmato è in grado di svolgere diverse funzioni in modo autonomo. Essenzialmente
DettagliSistemi Operativi. Conclusioni e nuove frontiere
Sistemi Operativi (modulo di Informatica II) Conclusioni e nuove frontiere Patrizia Scandurra Università degli Studi di Bergamo a.a. 2008-09 Sommario Definizione di sistema operativo Evoluzione futura
Dettaglischeduling Riedizione modifi cata delle slide della Prof. DI Stefano
scheduling Riedizione modifi cata delle slide della Prof. DI Stefano 1 Scheduling Alternanza di CPU burst e periodi di I/O wait a) processo CPU-bound b) processo I/O bound 2 CPU Scheduler Seleziona uno
DettagliUn architettura per lo streaming multimediale in ambiente distribuito
tesi di laurea Anno Accademico 2012/2013 relatore Ch.mo prof. Simon Pietro Romano correlatori Ing. Tobia Castaldi candidato Alessandro Arrichiello Matr. M63/43 Contesto: o Content Distribution Networks
DettagliScheduling della CPU Introduzione ai Sistemi Operativi Corso di Abilità Informatiche Laurea in Fisica
Scheduling della CPU Introduzione ai Sistemi Operativi Corso di Abilità Informatiche Laurea in Fisica prof. Ing. Corrado Santoro A.A. 2010-11 Architettura di un sistema operativo Progr 1 Progr 2 Progr
DettagliTesina per l esame di Sistemi Operativi a cura di Giuseppe Montano. Prof. Aldo Franco Dragoni
Sistemi operativi real time basati su Linux: gestione delle risorse e dei processi. Tesina per l esame di Sistemi Operativi a cura di. Prof. Aldo Franco Dragoni Corso di laurea in Ingegneria Informatica
DettagliUniversità Politecnica delle Marche
Università Politecnica delle Marche Facoltà di Ingegneria Corso di Laurea di Ingegneria Elettronica Porting su architettura ARM Marvell 88F6281 ed analisi comparativa delle patch real-time RTAI e Xenomai
DettagliUniversità degli Studi di Milano Bicocca Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica
Università degli Studi di Milano Bicocca Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica Real-time EDF scheduling per il kernel FreeBSD: analisi, implementazione
DettagliProgetto di una radio software GPS su periferica USRP. 2 Ottobre 2007
Progetto di una radio software GPS su periferica USRP Università degli Studi di Pisa Corso di Laurea Specialistica in Ingegneria Informatica Candidato Relatori Prof. Marco Luise Prof. Luciano Lenzini Ing.
DettagliSistema Operativo Chrome: Analisi degli aspetti peculiari.
tesi di laurea Sistema Operativo Chrome: Analisi degli aspetti peculiari. Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana candidato Lina Cocomello Matr. 534/000565 Obiettivi. Che cos
DettagliMetodologie e tecnologie a supporto nello sviluppo di applicazioni mobile di tipo Enterprise!
tesi di laurea! Metodologie e tecnologie a supporto nello sviluppo di applicazioni mobile di Anno accademico 2012/2013! relatore! Ch.mo prof. Marcello Cinque! correlatore! Ch.mo Dennis Alessio Guidotti!
DettagliMicroelettronica. Architettura del processore ARM. Stefano Salvatori. Università degli Studi Roma Tre. (salvator@uniroma3.it) Microelettronica
Microelettronica Architettura del processore ARM Stefano Salvatori (salvator@uniroma3.it) Microelettronica Sommario Architettura ARM Differenze con i RISC Programmer s model Sistemi di sviluppo Microelettronica
DettagliSistemi in tempo reale Anno accademico 2008-2009
Sistemi in tempo reale Anno accademico 2008-2009 Introduzione ai sistemi di controllo in tempo reale Giuseppe Lipari http://feanor.sssup.it/~lipari Scuola Superiore Sant Anna Contenuti del corso Introduzione
DettagliCome valutare e scegliere un Sistema Operativo Embedded
Come valutare e scegliere un Sistema Operativo Embedded Valter Minute Adeneo Embedded vminute@adeneo-embedded.com ARM e sistemi operativi Milioni di dispositivi contengono processori ARM Per sfruttare
DettagliCalcolatori Elettronici A a.a. 2008/2009
Calcolatori Elettronici A a.a. 2008/2009 PRESTAZIONI DEL CALCOLATORE Massimiliano Giacomin Due dimensioni Tempo di risposta (o tempo di esecuzione): il tempo totale impiegato per eseguire un task (include
DettagliApproccio stratificato
Approccio stratificato Il sistema operativo è suddiviso in strati (livelli), ciascuno costruito sopra quelli inferiori. Il livello più basso (strato 0) è l hardware, il più alto (strato N) è l interfaccia
DettagliEMBEDDED & MISSION CRITICAL. Engineering At Your Service INTEGRATED SYSTEMS INDUSTRIAL AUTOMATION
EMBEDDED & MISSION CRITICAL INTEGRATED SYSTEMS INDUSTRIAL AUTOMATION Engineering At Your Service Engineering At Your Service COMPANY ALPHA SI opera nel settore del SW Embedded e Mission Critical inclusi
DettagliCapitolo 1: Introduzione
Capitolo 1: ntroduzione Che cos è un sistema operativo? Sistemi mainframe. Sistemi desktop. Sistemi multiprocessore. Sistemi distribuiti. Sistemi cluster. Sistemi in tempo reale. Sistemi palmari. Migrazione
DettagliGenerazione Automatica di Asserzioni da Modelli di Specifica
UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea Magistrale in Informatica Generazione Automatica di Asserzioni da Modelli di Specifica Relatore:
DettagliSistemi di Elaborazione delle Informazioni. Corso di Laurea per "Tecnico Ortopedico" 03
Sistemi di Elaborazione delle Informazioni Corso di Laurea per "Tecnico Ortopedico" a.a. 2002-03 03 Prof. Luigi Borrelli Facoltà di Medicina e Chirurgia Università degli Studi di Napoli - Federico II a.a.
DettagliREALIZZAZIONE DI UN LABORATORIO REMOTO PER ESPERIENZE DI ROBOTICA EDUCATIVA: LATO CLIENT
TESI DI LAUREA REALIZZAZIONE DI UN LABORATORIO REMOTO PER ESPERIENZE DI ROBOTICA EDUCATIVA: LATO CLIENT RELATORE: Prof. Michele Moro LAUREANDO: Marco Beggio Corso di laurea Specialistica in Ingegneria
DettagliStrumenti per la gestione della configurazione del software
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Luigi Suarato candidato Pasquale Palumbo Matr. 534/000021 MANUTENZIONE DEL SOFTWARE Il Configuration
DettagliPROGETTAZIONE E SVILUPPO DI UN PROTOTIPO PER LA COMUNICAZIONE SICURA ATTRAVERSO IL CANALE GSM-VOCE
PROGETTAZIONE E SVILUPPO DI UN PROTOTIPO PER LA COMUNICAZIONE SICURA ATTRAVERSO IL CANALE GSM-VOCE Corso di Laurea Specialistica in Ingegneria Informatica Tesi di Laurea di: Gianluigi Biancucci Relatore:
DettagliScheduling. Scheduling 14/12/2003 1/7
Scheduling In un computer multiprogrammato più processi competono per l'uso della CPU. La parte di sistema operativo che decide quale processo mandare in esecuzione è lo scheduler. Batch OS: scheduling
DettagliDefinizione e Sviluppo di un Ricevitore Software per l Elaborazione dei Segnali GPS e Galileo: Peculiarità e Risultati della Fase di Acquisizione
Tesi di Laurea Specialistica in Ingegneria delle Telecomunicazioni Anno Accademico 26-27 Definizione e Sviluppo di un Ricevitore Software per l Elaborazione dei Segnali GPS e Galileo: Peculiarità e Risultati
DettagliUniversità degli studi Roma Tre Dipartimento di informatica ed automazione. Tesi di laurea
Università degli studi Roma Tre Dipartimento di informatica ed automazione Tesi di laurea Reingegnerizzazione ed estensione di uno strumento per la generazione di siti Web Relatore Prof. P.Atzeni Università
DettagliAutomazione di Test di Sistemi Embedded. Sintesi
UNIVERSITÀ DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali Dipartimento di Informatica Sistemistica e Comunicazione Corso di Laurea Magistrale in Informatica Automazione
DettagliReal-Time Systems GmbH (RTS) Partition where you can Virtualize where you have to. Real Time Hypervisor
Real-Time Systems GmbH (RTS) Partition where you can Virtualize where you have to Real Time Hypervisor Esperti di Real-Time e Sistemi Embedded Real-Time Systems GmbH Gartenstrasse 33 D-88212 Ravensburg
DettagliProtezione del Kernel Tramite Macchine Virtuali
Protezione del Kernel Tramite Macchine Virtuali Fabio Campisi Daniele Sgandurra Università di Pisa 27 Novembre 2007 1/44 Protezione del Kernel Tramite Macchine Virtuali Università di Pisa Sommario della
Dettaglisoluzioni per durare nel tempo Il partner tecnologico per l automazione industriale e la difesa
soluzioni per durare nel tempo Il partner tecnologico per l automazione industriale e la difesa DEVI... SVILUPPARE UN APPARATO? REALIZZARE UN APPLICAZIONE? PERSONALIZZARE UN PRODOTTO? è il tuo partner
DettagliDrivers. Introduzione Tipologie Struttura Interazione con il kernel
Drivers Introduzione Tipologie Struttura Interazione con il kernel Driver Un driver è un modulo del sistema operativo Esterno al kernel Dedicato alla gestione di una specifica periferica Come altre funzionalità
DettagliSistemi e schedulazione in tempo reale
Sistemi e schedulazione in tempo reale 1 Sistemi in tempo reale Sistemi di calcolo in cui la correttezza del funzionamento dipende criticamente dal tempo in cui i risultati sono prodotti. Possibili campi
DettagliUna metodologia per la definizione dei livelli di criticità dei componenti di un sistema software complesso
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo Prof. Massimo Ficco correlatore Ing. Roberto Pietrantuono candidato Antonio Pecchia Matr. 885/108 Sistemi safety-critical Sistemi complessi i cui
DettagliProgetto di un sistema di controllo per un robot basato su CAN
Progetto di un sistema di controllo per un robot basato su CAN Laurea in Ingegneria Informatica ed Elettronica Università degli Studi di Perugia Facoltà di Ingegneria Candidato: Giulio Spinozzi Relatore:
DettagliRelazione sull attività didattica e scientifica del Ricercatore. (D.P.R. n. 382/1980)
Relazione sull attività didattica e scientifica del Ricercatore (D.P.R. n. 382/1980) La sottoscritta Maria Giovanna Tongiani, nata a Massa (MS) il 07/05/1955, Ricercatore confermato (S.S.D. SECS-P/08 -
DettagliMono per sistemi embedded
MonoDay 2010 Mono per sistemi embedded Ing. Torello Querci Resp. Architetture SW - Negens S.r.l. querci@negens.com 29 Aprile 2010, Salerno Agenda Cosa si intende per sistemi embedded Come si programmano
DettagliIntroduzione ai Sistemi Real Time. Prof. Davide Brugali
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
DettagliArchitetture software. Virtualizzazione
Sistemi Distribuiti Architetture software 1 Virtualizzazione 2 1 Virtualizzazione (motivazioni) Sullo stesso elaboratore possono essere eseguiti indipendentemente d t e simultaneamente t sistemi i operativi
DettagliCOORDINAMENTO PER MATERIE SETTEMBRE 2014 MATERIA DI NUOVA INTRODUZIONE PER EFFETTO DELLA RIFORMA
Pagina 1 di 6 COORDINAMENTO PER MATERIE SETTEMBRE 2014 MATERIA DI NUOVA INTRODUZIONE PER EFFETTO DELLA RIFORMA AREA DISCIPLINARE Triennio, Indirizzo Informatica e Telecomunicazioni, art. TELECOM. MATERIA:
DettagliZoo di sistemi operativi: studio e realizzazione del supporto di macchine virtuali con accesso via Web
Zoo di sistemi operativi: studio e realizzazione del supporto di macchine virtuali con accesso via Web Mattia Gentilini Relatore: Renzo Davoli Laurea Specialistica in Informatica I Sessione A.A. 2005/2006
DettagliHardware & Software Development
Hardware & Software Development MISSION Realizzare prodotti ad alta innovazione tecnologica e fornire servizi con elevati standard qualitativi 3 AZIENDA ATTIVITÀ Prodotti 4 6 8 10 5 AZIENDA ISER Tech
DettagliSistemi Operativi. Processi GESTIONE DEI PROCESSI. Concetto di Processo. Scheduling di Processi. Operazioni su Processi. Processi Cooperanti
GESTIONE DEI PROCESSI 4.1 Processi Concetto di Processo Scheduling di Processi Operazioni su Processi Processi Cooperanti Concetto di Thread Modelli Multithread I thread in diversi S.O. 4.2 Concetto di
DettagliLezione R12. Sistemi operativi real-time I. Sistemi embedded e real-time
Lezione R12 I Sistemi embedded e 8 gennaio 2013 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SERT 13 R12.1 Di cosa parliamo in questa lezione? In
DettagliMarco Cesati Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata
Lezione R12 I Sistemi embedded e 8 gennaio 2013 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SERT 13 R12.1 Di cosa parliamo in questa lezione? In
DettagliSoftware. Algoritmo. Algoritmo INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042)
INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042) Gli elaboratori utilizzano memoria per Dati da elaborare Istruzioni eseguite dall elaboratore software differenti risoluzione problemi differenti Algoritmo
DettagliIng Omar Morales Qualità del Software
Ing Omar Morales Qualità del Software Soluzioni Professionali Integrate Viale F.Petrarca, 96-50124 Firenze LinkedIn it.linkedin.com/in/omarmoralescv TEL (+39) 335 52.10.589 FAX (+39) 055 39.06.93.26 info@omarmorales.net
DettagliUniversità degli Studi di Cagliari Corso di Laurea Specialistica in Ingegneria Elettronica SISTEMI OPERATIVI STRUTTURE DEI SISTEMI OPERATIVI
Università degli Studi di Cagliari Corso di Laurea Specialistica in Ingegneria Elettronica SISTEMI OPERATIVI STRUTTURE DEI SISTEMI OPERATIVI SERVIZI DI UN SISTEMA OPERATIVO Panoramica dei servizi del sistema
DettagliPROGRAMMAZIONE COORDINATA TEMPORALMENTE
PROGRAMMAZIONE COORDINATA TEMPORALMENTE DISCIPLINA: Prime Monte ore annuo Libro di Testo 66 ore di laboratorio E-book dal sito www.matematicamente.it. Pettarin ECDL Modulo 1, Modulo 2, Modulo 3, Modulo
Dettagli