Software Intensive Systems
Questo ambito si focalizza sullo studio e progetto di modelli e architetture software per sistemi informativi complessi su scala enterprise, con relative tecniche di integrazione, interoperabilità e cooperazione applicativa.
Rientra in questo ambito anche lo studio di sistemi in tempo reale, sistemi Cyber-physical e sistemi embedded in cui assumono importanza gli attributi di dependability (affidabilità, disponibilità e safety), la verifica qualitativa e formale della correttezza del sistema (Model checking, ...), la valutazione quantitativa di performance e dependability (Modelli quantitativi con parametri temporali stocastici).
La definizione di un piano di studi in questo ambito è soggetta ai seguenti vincoli:
- 6 esami a scelta tra i seguenti a 9 CFU: Data and Document Mining, Human Computer Interaction, Security and Knowledge Management, Big Data Architectures, Machine Learning, Parallel Computing, Software Architectures and Methodologies, Software Dependability, Software Engineering for Embedded Systems.
- 1 esame a scelta tra: Automatic Control, Industrial Automation, Multiagent Systems.
- 2 esami a scelta tra: Advanced Programming Techniques, Data Security and Privacy, Advanced Numerical Analysis, Optimization Methods.
- 2 esami a scelta tra: Security and Knowledge Management, Telecommunication Networks, Networks and Technologies for Smart Systems.
- 2 esami a scelta libera (12 CFU): Nel caso che gli esami a scelta libera non siano tra quelli previsti dal Regolamento Didattico del CdLM, se ne dovrà esplicitare la coerenza con il resto del piano formativo.