News

Si propone una tesi per lo studio e la definizione di un algoritmo FPTC per il calcolo della propagazione e trasformazione dei malfunzionamenti all’interno di un sistema e conseguente generazione delle tabelle FMEA (Failure Mode and Effect Analysis) e creazione dei “fault tree”. La tesi proposta affronta il problema di supportare le attività di “hazard & risk analysis” e di "safety assessment" dei sistemi “safety critical” con strumenti di calcolo automatici, a partire da modelli UML, su sistemi reali e complessi. L’attività verrà sviluppata in collaborazione con la Intecs Solutions S.p.A. (www.intecs.it), pertanto si svolgerà in un contesto industriale con la possibilità di applicare i...

In ambito dell'analisi delle performance di applicazioni software distribuite, si offrono tesi di laurea triennale e di laurea magistrale. Il lavoro è principalmente focalizzato sull'analisi prestazionale di benchmark proprietari di SPEC (https://www.spec.org), consorzio leader nella realizzazione di benchmark e nel rilascio di certificazioni prestazionali sia per componenti hardware e software. In particolare, si intende utilizzare e configurare tali benchmark nel contesto dell'analisi di degradazioni di performance di applicazioni software e nello studio di azioni che possano permettere di evitare, prevenire o rimuovere tali degradazioni. Gli studenti interessati sono invitati a contattare il Prof. Cortellessa (vittoriocortellessaunivaqit) e/o il Dott. Di Pompeo...