I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazioneall’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso o al relatore
…continua

Filtra per

Tutte le tipologie
Tutte le tipologie

Ordina

Filtra

Appunti di Ingegneria - Università degli studi della Campania "Luigi Vanvitelli"

Esame Reti logiche

Facoltà Ingegneria

Appunto
4,5 / 5
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "reti logiche", viene riportato un indice degli argomenti trattati: 1.0. Reti Logiche 1.1. Algebra di Boole 1.1.1. Minimizzazione di Funzioni Booleane (mintermini, maxtermini) 1.1.2. Metodo delle Mappe di Karnaugh 1.1.3. Metodo di Quine-Mc Cluskey 1.2. Progettazione di Macchine Combinatorie 1.2.1. Macchine Combinatorie notevoli 1.2.1.1. Multiplexer 1.2.1.2. Demultiplexer 1.2.1.3. Decoder 1.2.1.4. Encoder 1.2.1.5. Rete di Priorità 1.2.1.6. Half Adder 1.2.1.7. Full Adder 1.2.2. Composizione di Macchine Combinatorie 1.2.2.1. Sommatore Ripple-Carry 1.2.2.2. Sommatore Carry Lookahead 1.2.2.3. Sottrattore 1.2.2.4. Moltiplicatore 1.2.2.5. Multiplexer e Demultiplexer Composti ad Albero 1.2.3. Tempificazione delle Macchine Combinatorie (Alee statiche, alee dinamiche, alee transienti, multiple, ad impulsi concomitanti) 1.3. Progettazione di Macchine Sequenziali 1.3.1. Modelli di Mealy e Moore 1.3.2. Modello di Huffman 1.3.3. Flip-Flop 1.3.3.1. Flip-Flop RS Fondamentale 1.3.3.2. Flip-Flop D 1.3.3.3. Flip-Flop T 1.3.3.4. Flip-Flop JK 1.3.3.5. Flip-Flop JK-RS 1.3.3.6. Tempificazione Master-Slave 1.3.3.7. Flip-Flop Pilotati 1.3.4. Progettazione di Macchine Sincrone (RESET, METODO DEGLI ECCITAMENTI) 1.3.5. Minimizzazione degli Stati (criterio di Paull-Unger) 1.3.6. Progettazione di Macchine Asincrone (Modo Fondamentale di Funzionamento di una Macchina Asincrona, GRAFO DELLE ADIACENZE) 1.3.7. Macchine Sequenziali Notevoli 1.3.7.1. Contatori Modulo N 1.3.7.2. Shift Register 1.4. Dispositivi Logici Programmabili (CPLD, FPGA, PAL, PLA, ROM)
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Testing", viene riportato un indice degli argomenti trattati: Testing, Verifica e Validazione, Black Box, White Box e Grey Box testing, Test di Unità, Test di Integrazione, Test di Accettazione e Validazione, Test di Sistema, Test di regressione, Test Strutturale e Funzionale, Test di Robustezza.
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Basi di Dati", viene riportato un indice degli argomenti trattati: 1.0. Basi di Dati 1.1. Modello Relazionale 1.1.1. Vincoli Intra-Relazionali 1.1.2. Vincoli Inter-Relazionali 1.2. Algebra Relazionale 1.3. Linguaggio SQL 1.3.1. DDL del SQL 1.3.2. DML del SQL 1.3.3. Esempio di DBMS Relazionale: MySQL (utilizzo di XAMPP e phpMyAdmin, esempi di query) 1.4. Organizzazione Fisica dei DBMS 1.5. Progettazione dei Database 1.5.1. Progettazione Concettuale con il Modello E-R 1.5.2. Progettazione Logica 1.5.3. Esempio Completo di Progettazione di un DB 1.5.4. Tecniche di Normalizzazione 1.6. Modelli No-SQL: MongoDB
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "System Call nell'ambito dei Sistemi Operativi", viene riportato un indice degli argomenti trattati: System Call Bloccanti e non Bloccanti, ruolo delle system call nella gestione dei processi nei sistemi operativi, standard POSIX, Primitive di Gestione di File e Directory in UNIX, gESTIONE DEI FILE E PERMESSI AD ESSI ASSOCIATI IN UNIX, Primitive di Gestione dei Processi in UNIX, .Primitive di Comunicazione tra Processi in UNIX (pipes e segnali) ,
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Sistemi Operativi", viene riportato un indice degli argomenti trattati: 1.0. Sistemi Operativi 1.1. Sistemi Operativi più Famosi 1.2. Storia dei Sistemi Operativi 1.3. Virtualizzazione 1.4. System Call 1.4.1. Primitive di Gestione di File e Directory in UNIX 1.4.2. Primitive di Gestione dei Processi in UNIX 1.4.3. Primitive di Comunicazione tra Processi in UNIX 1.5. Shell UNIX 1.6. Sistemi Real Time 1.7. Gestione dei Processi 1.7.1. Creazione di un Processo 1.7.2. Bootstrap 1.7.3. Ciclo di Vita di un Processo 1.7.4. Algoritmi di Schedulazione dei Processi 1.7.4.1. Schedulazione nei Sistemi Batch 1.7.4.2. Schedulazione nei Sistemi Interattivi 1.7.4.3. Schedulazione nei Sistemi Real Time 1.7.4.4. Schedulazione in UNIX 1.7.4.5. Schedulazione in Linux 1.7.4.6. Schedulazione in Windows 2000 1.7.5. Modello a Thread 1.7.5.1. Multithreading in Java 1.7.5.2. Programmazione Concorrente 1.7.5.2.1. Semafori 1.7.5.2.2. Monitor 1.7.5.2.3. Problema dei 5 Filosofi a Cena 1.8. Gestione della Memoria 1.8.1. Monoprogrammazione 1.8.2. Multiprogrammazione a Partizioni Fisse 1.8.3. Swapping 1.8.4. Memoria Virtuale 1.8.4.1. Memoria Virtuale con Paginazione 1.8.4.2. Algoritmi di Sostituzione dei Blocchi 1.8.4.3. Memoria Virtuale con Segmentazione 1.8.4.4. Segmentazione con Paginazione 1.9. File System 1.9.1. Gestione delle Directory 1.9.2. Implementazione di un File System 1.9.3. Implementazione delle Directory 1.9.4. File System più Famosi 1.9.5. Dimensionamento dei Blocchi di un Disco 1.9.6. Affidabilità e Consistenza dei File System 1.9.7. File System UNIX 1.9.8. File System MS-DOS 1.9.9. File System di Windows 1.9.10. File System di NT 1.10. Gestione delle Periferiche
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Architettura dei Calcolatori - Microcontrollori", è la Parte 6 di una complettisima raccolta di appunti di architettura dei calcolatori, viene riportato un indice degli argomenti trattati: 1.1. Microcontrollori (architettura, caratteristiche, componenti, utilizzi) 1.1.1. Architettura di un Microcontrollore 1.1.2. Microcontrollori PIC 1.1.3. Arduino 1.1.4. Microcontrollori AVR
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Architettura dei Calcolatori - Bus di Comunicazione", è la Parte 5 di una complettisima raccolta di appunti di architettura dei calcolatori, viene riportato un indice degli argomenti trattati: 1.1. Bus di Comunicazione 1.1.1. Arbitraggio di un Bus (Approccio Distribuito (Decentralizzato) Daisy Chain, Centralizzato Parallelo e centralizzato daisy chain) 1.1.2. Bus Sincroni e Asincroni 1.1.3. Standard Bus PCI 1.1.4. Comunicazione Seriale (comunicazione seriale vs parallelo, standard rs232, baud rate, full duplex e half duplex) 1.1.5. Dispositivo USART (descrizione architettura di esempio) 1.1.6. Protocollo USB (Token Packet, Data Packet, Handshake Packet, Start of Frame Packet, Control Transfer, Interrupt Transfer, Isochronous Transfer, Bulk Transfer, gestione banda)
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Architettura dei Calcolatori - Dispositivi di Input/Output", è la Parte 4 di una complettisima raccolta di appunti di architettura dei calcolatori, viene riportato un indice degli argomenti trattati: Sommario 1.1. Sottosistema di Input/Output (driver, dispositivi a carattere, blocco e di rete, device controller e registri associati, memori mapped I/O ed isolated mapped I/O, ) 1.1.1. Tecniche di Gestione dell’I/O (Programmed I/O (o Polling), Interrupt Driven I/O, DMA, INTERRUZIONI, ECCEZIONI E TRAPS, gestione delle interruzioni multiple con approccio daisy chain, priorità fisse e variabili, gestione vettorizzata ed autovettorizzata) 1.1.2. Dispositivi di I/O Notevoli 1.1.2.1. PIC (descrizione di un architettura di esempio) 1.1.2.2. DMA (descrizione di un architettura di esempio)
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Architettura dei Calcolatori - Memorie", è la Parte 3 di una complettisima raccolta di appunti di architettura dei calcolatori, viene riportato un indice degli argomenti trattati: 1.1. Architettura delle Memorie (gerarchie di memorie, principio di località spaziale e temporale, ROM, EPROM, EEPROM, Flash) 1.1.1. Memorie Cache (algoritmi di mappaggio dei blocchi - direct, Set Associative e Set Associative ad n-ways, Algoritmo di Sostituzione) 1.1.2. Memoria RAM 1.1.2.1. Correzione degli Errori nelle RAM 1.1.3. Memoria Secondaria 1.1.3.1. Dischi Magnetici (algoritmi di scheduling) 1.1.3.2. Dischi Magnetici RAID 1.1.3.3. Dischi Ottici 1.1.3.4. Memorie Flash (architettura delle SSD) 1.2. Gestione della Memoria (GESTIONE DELLA MEMORIA DA PARTE DEL SISTEMA OPERATIVO) 1.2.1. Monoprogrammazione 1.2.2. Multiprogrammazione a Partizioni Fisse 1.2.3. Swapping 1.2.4. Memoria Virtuale 1.2.4.1. Memoria Virtuale con Paginazione 1.2.4.2. Algoritmi di Sostituzione dei Blocchi 1.2.4.3. Memoria Virtuale con Segmentazione 1.2.4.4. Segmentazione con Paginazione
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Architettura dei Calcolatori - Processori", è la Parte 2 di una complettisima raccolta di appunti di architettura dei calcolatori, viene riportato un indice degli argomenti trattati: 1.1. Architettura dei Processori 1.1.1. Principio di Funzionamento della CPU (fetch, decode, execute, store) 1.1.2. Processori RISC vs CISC 1.1.3. Architettura MIPS 1.1.4. Progetto di un Processore MIPS Single-Cycle 1.1.5. Progetto di un Processore MIPS Multiple-Cycle 1.1.6. Parallelismo nei Processori (a livello di istruzioni e di processori) 1.1.7. Progetto di un Processore MIPS con le Pipeline 1.1.8. Hazard (hazard strutturale, sui dati e sul controllo) 1.1.9. Tecniche di Controllo per le Unità di Controllo (logica cablata e microcontrollata - con microprogrammi) 1.1.10. Architettura dei Primi Processori Intel 1.1.10.1. Storia dei Processori Intel 1.1.10.2. Processore Intel 8086 1.1.10.3. Processore Intel 80386 (memoria virtuale) 1.1.10.4. Processore Pentium I 1.1.10.5. Vettore delle Collisioni 1.1.10.6. Hibernation Table 1.1.11. Parallelismo nelle Moderne Architetture (superscalarità, esecuzione speculativa delle istruzioni, predizione dei salti, multithreading e hyperthread) 1.1.12. Architettura del Processore Pentium IV 1.1.13. Attacchi Spectre e Meltdown 1.1.14. Processore ARM 1.1.15. Processori a 32 bit vs Processori a 64 bit 1.1.16. Processori Intel vs Processori AMD
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una descrizione di algoritmi e strutture dati, viene riportato un indice degli argomenti trattati: 1.1. Algoritmi (cosa sono, modi per reappresentarli, esempi, classi di complessità) 1.1.1. Algoritmi di Ordinamento di un Array (Naive Sort, Bubble Sort, Insert Sort, Merge Sort, Quick Sort) 1.1.2. Algoritmi di Ricerca in un Array (Ricerca Sequenziale, Ricerca Sequenziale con Sentinella, Ricerca Binaria (o Dicotomica)) 1.2. Strutture Dati 1.2.1. Lista 1.2.2. Stack 1.2.3. Coda 1.2.4. Grafo 1.2.5. Albero
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una descrizione dei modi di rappresentare un informazione in un calcolatore, viene riportato un indice degli argomenti trattati: Codifica e Rappresentazione delle Informazioni in un calcolatore, sistemi binari, ottali, decimali ed esadecimali, sistema posizionali pesati, codifica binaria, Conversioni di Base (ad esempio da decimale a binaria o esadecimale), Rappresentazione di Interi Negativi (modulo e segno, complemento ad 1 e 2, eccesso), operazioni in binario, Rappresentazione di Numeri Reali in virgola fissa e mobile.
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completa descrizione di "Architettura dei Calcolatori - Generalità", è la Parte 1 di una complettisima raccolta di appunti di architettura dei calcolatori, viene riportato un indice degli argomenti trattati: Storia dei Sistemi di Elaborazione, Legge di Moore, Tipologie di Computer, Architettura di Von Neumann e modello di Harvard, processore (CPU), ALU ed unità di controllo, registri della CPU, memoria centrale RAM ed altre memorie (cache e memorie secondarie), Dispositivi I/O:, dispositivi input output, Aspetti Tecnici di un Calcolatore (descrizione scheda madre e componenti varie, tipi di porte (sata, usb, ide, atx, pci, pci express)).
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completissima descrizione di Elementi di Programmazione, viene riportato un indice degli argomenti trattati: 1.0. Elementi di Programmazione 1.1. Introduzione all’Informatica 1.2. Codifica e Rappresentazione delle Informazioni 1.2.1. Codifica Binaria 1.2.2. Conversioni di Base 1.2.3. Rappresentazione di Interi Negativi 1.2.4. Somma Binaria 1.2.5. Rappresentazione di Numeri Reali 1.3. Macchina di Turing 1.4. Algoritmi 1.5. Compilatori ed Interpreti 1.6. Paradigmi e Linguaggi di Programmazione 1.7. Fondamenti della Programmazione (prendendo come riferiemnto il linguaggio C) 1.7.1. Variabili e Tipi di Dati 1.7.2. Strutture di Codice 1.7.3. Funzioni 1.7.4. Puntatori 1.7.5. Allocazione Dinamica 1.7.6. Array 1.7.7. Algoritmi di Ordinamento di un Array 1.7.8. Algoritmi di Ricerca in un Array 1.8. Strutture Dati 1.8.1. Lista 1.8.2. Stack 1.8.3. Coda 1.8.4. Grafo 1.8.5. Albero
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una completissima descrizione dei sistemi informativi, viene riportato un indice degli argomenti trattati: L’utilizzo dei Sistemi Informativi nelle Aziende, Struttura di un sistema informativo, Rappresentazione per funzioni, Rappresentazione per processi, Rappresentazione (piramide) di Anthony, Sistemi informazionali vs Sistemi Operazionali, Sistemi Legacy, Sistemi Gestionali, Best of Breed (BoB), sistemi informazionali, Data Warehouse, ETLR (Exstraction, Transformation, Load and Refresh), OLAP e OLTP, Schema a stella e a fiocco di neve, Roll up - Drill Down - Slicing Dicing e Pivoting, Sistemi ERP, erp 2.0 E SCHEMA esteso, supply chain management, Industria 4.0.
...continua
Argomenti trattati: Soluzione delle equazioni lineari; Equazioni non lineari; Derivazione numerica; Integrazione numerica; Interpolazione e approssimazione; Interpolazione di Lagrange; Famiglia Serendipity; Discretizzazione delle equazioni alle derivate parziali delle Fisica Matematica; Il metodo degli elementi finiti per le travi; Il metodo degli elementi finiti al continuo; Uso di software commerciale all’analisi strutturale lineare e non lineare; Uso di MATLAB per la scrittura di semplici programmi di analisi strutturale.
...continua
Personali Appunti elaborati dal gruppo "appuntiDiIngegneria", composto da 4 giovani ingegneri informatici. Gli appunti fanno riferimento all'università degli studi della Campania Luigi Vanvitelli (ex Sun), ma per la loro completezza e generalità possono essere utilizzati come materiale didattico di supporto per le discipline in questione di tutte le università e/o corsi specifici di Italia. Questo documento in particolare contiene una descrizione teorica del Sistema operativo Android, della sua architettura, componenti, versioni, API, ambienti di sviluppo, ciclo di vita delle activity, utility di Android.
...continua
Esercizi svolti sulla conservazione della carica elettrica. Distribuzione della carica in oggetti metallici in equilibrio. Intensità della forza elettrica in seguito a trasferimento di elettroni da una sfera all'altra. Equilibrio tra forza peso e forza di Coulomb.
...continua
Teoria completa del corso di "Sistemi distribuiti" di Ingegneria informatica presso l'Università degli Studi della Campania Luigi Vanvitelli. Il corso è tenuto dal professore Rocco Aversa. Questo pdf contiene un personale riassunto dettagliato del corso, il tutto ben commentato e munito degli opportuni schemi. gli appunti sono autosufficienti al completamento dell'esame con risultati ottimali. A breve sulla piattaforma sarà possibile trovare anche un pdf contenente una raccolta completa di esercizi d'esame (esercizi in MPI e in Java RMI), tutti ben commentati e corredati dei risultati attesi dall'elaborazione del programma. L'indice degli argomenti è mostrato di seguito: •Introduzione ai Sistemi Distribuiti: Definizione, Dai Sistemi centralizzati ai Sistemi distribuiti, Motivazioni dei sistemi distribuiti, Requisiti di un sistema distribuito, Tipologie di sistemi distribuiti. •Architetture Hardware e Software: Modello di Flynn, Multiprocessore e Multicomputer, organizzazione della memoria nei Multiprocessore, GPGPU, Multicomputer, Architetture Software: Distibuted Operating System (DOS), Networking Operating Systems (NOS), NOS + Middleware, Virtualizzazione. •Modelli di Interazione Interprocesso: Paradigmi di interazione, Il modello client-server, Remote Procedure Call, Oggetti distribuiti, Paradigma peer-to-peer (P2P), Paradigmi di interazione di basso livello per applicazioni di calcolo scientifico: MPI e OpenMP. Java RMI, esempio programma Java RMI “Scrivi File”, esempio passaggio per riferimento, esempio trasferimento di codice. OpenMP. Message Passing: Comunicazione orientata ai messaggi, Modello IPC, Definizioni di comunicazione, Tipologie di comunicazione, Comunicazione persistente: modello a code di messaggi, Comunicazione transiente basata su primitive per lo scambio messaggi del tipo one-to-one: send e receive, Group Communication. MESSAGE PASSING - PVM e MPI: Datatype in MPI, operazioni collettive, topologie. Mobilità del Codice, Agenti Software, Strong mobility e Weak mobility, Programmazione ad agenti mobili con Jade, piattaforme FIPA Compliant, Modello computazionale di Jade e Behaviours di Jade. •Problema del Naming: Sistema di Naming, Modello di Naming, Naming semplice, strutturato e basato su attributi. •Tempo nei Sistemi Distribuiti: Metodi di sincronizzazione tra processi, Problemi dovuti alla mancata sincronizzazione degli orologi, Orologi Virtuali, Network Time Protocol, The Berkeley Algorithm, Osservazioni di Lamport, Sincronizzazione basata su Lamport, Esempio di utilizzo dell’algoritmo di Lamport: Totally-Ordered Multicasting. Vector timestamp, Esempio di utilizzo dei vector timestamps: Comunicazione causale. •Mutua Esclusione ed Elezione: Algoritmo centralizzato per la mutua esclusione, Algoritmi distribuiti per la mutua esclusione, Algoritmo Token Ring, Problema dell’elezione: Bully Algorithm, Ring Algorithm, Elezioni in ambienti senza fili 15.8 Elezioni in sistemi di ampia scala. •Transazioni Distribuite: Transazioni, proprietà ACID, Transazioni ben formate, Il modello transazionale, Anomalie, Control System: View-Serializability, Conflict-serializability, Two-phase locking, Strict two-phase-locking, Concurrency control based on timestamps. Problema del Deadlocks: algoritmo dello Struzzo, Detection e Recovery, Dynamic Avoidance, Deadlock Prevention. •Replicazione e Consistenza: Misurazione dell’inconsistenza, Modelli di consistenza, Protocolli di Consistenza, Client-centric Consistency, Eventual Consistency, Contents distribution to replicas, Cache-Coherence Protocols. •Reti di Petri: definizioni, esempi, proprietà delle reti di Petri. •BlockChain e Bitcoin: tecnologie distribuited ledger, proprietà no stealing, no double spending e minting, proof of work.
...continua
Teoria completa del corso di "Affidabilità dei Sistemi Software Complessi" di Ingegneria informatica presso l'Università degli Studi della Campania Luigi Vanvitelli. Il corso è tenuto dal professore Massimo Ficco. Questo pdf contiene un personale riassunto dettagliato del corso, il tutto ben commentato e munito degli opportuni schemi. gli appunti sono autosufficienti al completamento dell'esame con risultati ottimali. L'indice degli argomenti è mostrato di seguito: • Modulo Affidabilità: classificazione dei sistemi complessi, peculiarità e criticità dei sistemi software, concetto di fidatezza (dependability), albero della dependability. Threats: faults, errors e failures. Attributi di fidatezza (reliability, availability, safety, security, manutenibilità, performability). Mezzi per garantire la reliability: fault prevention, fault tolerance, fault removal, fault forecasting. Fault Avoidance: SysML, programmazione affidabile, reti di Petri (+ estensioni reti di Petri). Testing: differenza testing e analisi, testi di unità, test di integrazione, test di validazione e di sistema, test funzionale, test funzionale, test di robustezza, statistical testing e model based testing, JUnit (con esempio). Tolleranza ai guasti e Ridondanza. Tecniche di Fault Tollerance, Design Diversity, Fault Injection, Software Aging. Reliability Growth Model, Tecnica dei modelli combinatori, Tecnica dei Fault Trees. • Modulo Sicurezza: cyberwar e cybersecurity, secure programming, vulnerability and intrusion, attacchi web (path traversal attack, injection attack, cross site scripting attack, etc.), attacchi DDos sophisticated (LDoS, RoQ, LoRDAS), Malware e tecniche associate, analisi statica e dinamica di Malware. Detection, Diagnosi e Recovery nei sistemi complessi, Intrusion Detection Systyem, Intrusion Correlation, Cyber Range.
...continua