Since January 2012, I have been a PhD student in Computer Science and Engineering at Politecnico di Milano, under the advice of Prof. Cristiana Bolchini. From the same university I received, in 2009, the Laurea Triennale degree in Computer Engineering (equivalent to Bachelor's degree), with a thesis on evolvable hardware, and the Laurea Specialistica degree in Computer Engineering (equivalent to Master of Science degree) with a work on self-adaptive operating systems, in 2011.
In the meanwhile, I attended the Alta Scuola Politecnica (ASP), working on a multidisciplinary project related to energy efficiency and renewable energy for intelligent and sustainable buildings. I also studied at the University of Illinois at Chicago (UIC), attaining, in 2012, a Master of Science degree in Computer Science. In 2014, I spent 3 months as a visiting Ph.D. student in the eCO Lab. at the National University of Singapore (NUS), headed by Prof. Tulika Mitra.
In the case you want to know something more about me, you can download my CV (short or complete). Below you can find a brief description of my research interests, the people I mainly work with and the list of my publications.
Towards the Definition of a Methodology for the Design of Tunable Dependable Systems
Advisor: Prof. Cristiana Bolchini
The trend of building new complex systems by integrating low-cost, inherently unreliable Commercial Off-The-Shelf (COTS) components is one of today’s challenges in the design, analysis and development of high-performance, adaptable and dependable systems. Indeed dependability has become a first-class citizen in the most recent years, and not only a strict requirement for critical-application scenarios, due to the increased susceptibility of the devices to hard and soft faults caused by a harsh technology scaling, variability of the manufacturing process and to the expositions of devices to radiations and noise fluctuations. Radiations, in particular, are the cause of transient faults and they also accelerate the aging process electronic devices are commonly subject to. These radiation effects are particularly frequent in the space and thus have been taken into account mainly for space-related application scenarios, however within the present technological scenario, radiations an issue also at ground level, for the general application scenarios. Therefore, when adopting the COTS-based design approach for the realization of modern electronic systems, also considering their pervasiveness, reliability has become one of the main issues, together with performance. A third crucial aspect in the design phase is power consumption, thanks to the shared awareness of the need for electronic devices to be less energy-hungry. The aim of this research is to explore the reliability × performance × power solution space while designing new systems, either by scratch or by integrating COTS elements, to find an acceptable balance between the three aspects or to favor one rather than another, according to the designer’s needs. Our interest is devoted to the dependability characteristics of the final system, to be tuned with respect to the other two aspects; the overall goal is to investigate models, methods and tools to support the specification, development and analysis of systems with a tunable level of dependability, based on the requirements and the run-time environment. At first, the focus will be on the reliability and performance aspects, leaving the power issue for future consideration. Several are the fields of application of such a methodology: actually, all the ones where the dependability requirements need to be enforced only in specific working conditions (e.g., when an emergency situation arises) and/or for limited time-windows. In the latter cases, the system can adapt its working conditions and expose a robust behavior with possibly limited performance, or the other way around. During the research period, some of these applications will be further investigated, in order to prove the validity and the efficiency of the proposed approach.
The design of dependable embedded systems, as technology scales and transient faults emerge as a key issue, poses yet new challenges, especially as the complexity of the devices increases and core- or platform-based methodologies are adopted, thus assembling Commercial Off-The-Shelf (COTS) components that not necessarily expose reliable properties. In this scenario, several activities have been carried out in these years, aimed at investigating reliability issues and developing techniques, methods and methodologies to pursue fault detection and tolerance properties in the digital devices.
Computing in Heterogeneous, Autonomous 'N' Goal-oriented Environments
The aim of this project is to build a computing system able to adapt its behaviour to its status and to the surrounding environment, i.e. to build a self-aware and self-adaptable system. This is possible by implementing the Observe-Decide-Act approach. The Linux kernel is the starting point, while the desire is to build a brand new operating system from scratch.
Hardware Evolution over Reconfigurable Architectures
Evolvable Hardware is a highly multidisciplinary field concerning the creation or the adaptation of physical circuits through evolutionary strategies aiming at improving the circuits behavior with respect to a given specification. The key elements in EHW are the evolutionary algorithms used and the programmable devices over which the circuits are deployed. The HERA approach uses a FPGA-based evolvable hardware system and implements, as evolutionary algorithms, a canonic genetic algorithm.
Energy Efficiency and Renewable Energy for Intelligent and Sustainable Buildings
This multidisciplinary project is focused on the identification, design and integration of technical solutions for buildings, aiming in particular at the minimization of energy consumption and the optimization of the use of Renewable Energy Sources. The final aim is to develop an expert tool to allow the design and the integration of technical solutions for lighting, heating and cooling, etc, with an eye to safety, standard compliance and law provision aspects.
J. Panerati, M. Maggio, M. CARMINATI, F. Sironi, M. Triverio, and M. D. Santambrogio, Coordination of Independent Loops in Self-Adaptive Systems, ACM Transactions on Reconfigurable Technology and Systems (TRETS) - Volume 7 Issue 2, June 2014
C. Bolchini, M. CARMINATI and A. Miele, Self-Adaptive Fault Tolerance in Multi-/Many-Core Systems, Journal of Electronic Testing: Theory and Applications (JETTA) - Volume 29 Issue 2, April 2013
F. Cancare, D. B. Bartolini, M. CARMINATI, D. Sciuto and M. D. Santambrogio, On the Evolution of Hardware Circuits via Reconfigurable Architectures, ACM Transactions on Reconfigurable Technology and Systems (TRETS) - Volume 5 Issue 4, December 2012
C. Bolchini, M. CARMINATI, M. Gribaudo and A. Miele, A Lightweight and Open-source Framework for the Lifetime Estimation of Multicore Systems, in the Proceedings of 32nd IEEE International Conference on Computer Design (ICCD - 2014) - Seoul, Korea - October, 2014
C. Bolchini, M. CARMINATI, A. Miele, A. Das, A. Kumar and B. Veeravalli, Run-Time Mapping for Reliable Many-Cores Based on Energy/Performance Trade-Offs, in the Proceedings of 16th IEEE Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT - 2013) - New York, USA - October, 2013
C. Bolchini, M. CARMINATI, A. Miele and E. Quintarelli, A Framework to Model Self-Adaptive Computing Systems, in the Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems (AHS - 2013) - Torino, Italy - June, 2013 - Slides
J. Panerati, F. Sironi, M. CARMINATI, M. Maggio, G. Beltrame, P.Gmytrasiewicz, D. Sciuto and M. D. Santrambrogio, On Self-adaptive Resource Allocation through Reinforcement Learning, in the Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems (AHS - 2013) - Torino, Italy - June, 2013 - Slides
F. Cancare, S. Bhandari, D. B. Bartolini, M. CARMINATI, and M. D. Santambrogio, A Bird’s Eye View of FPGA-based Evolvable Hardware, in the Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems (AHS - 2011) - San Diego, California, USA - June, 2011
D. B. Bartolini, M. CARMINATI, F. Cancare, M. D. Santambrogio and D. Sciuto, HERA Project’s Holistic Evolutionary Framework, in the Proceedings of the 20th Reconfigurable Architectures Workshop (RAW - 2013) - Boston, Massachusetts, USA - May, 2013
F. Cancare, D. B. Bartolini, M. CARMINATI, D. Sciuto, and M. D. Santambrogio, DGECS: Description Generator for Evolved Circuits Synthesis, in the Proceedings of the 19th Reconfigurable Architectures Workshop (RAW - 2012) - Shanghai, China - May, 2012
D. B. Bartolini, F. Cancare, M. CARMINATI, and D. Sciuto, HERA: Hardware Evolution over Reconfigurable Architectures, in the Proceedings of the 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-oriented Environments (CHA'N'GE - 2011) - Newport Beach, California, USA - March, 2011
International Workshops with Informal Proceedings
C. Bolchini, M. CARMINATI, and A. Miele, System-Level Approaches for the Design of Reliable Embedded Systems, in the Proceedings of the 1st Joint MEDIAN-TRUDEVICE Open Forum - Amsterdam, The Netherlands - October 2014
C. Bolchini and M. CARMINATI, Multi-Core Emulation for Dependable and Adaptive Systems Prototyping, in the Proceedings of the 3rd Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN - 2014) - Dresden, Germany - March 2014
J. Panerati, M. Maggio, M. CARMINATI, M. Triverio, and M. D. Santambrogio, The Services Coordinator: Orchestrating the Behavior of Independent Adaptive Systems, in the Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS - 2012) - Oslo, Norway - September 2012
D. B. Bartolini, M. CARMINATI, R. Cattaneo, J. Panerati, F. Sironi, and D. Sciuto, AcOS: an Autonomic Management Layer Enhancing Commodity Operating Systems, in the Proceedings of the 2nd International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-oriented Environments (CHA'N'GE - 2012) - San Francisco, California, USA - June 2012
C. Bolchini, M. CARMINATI, and A. Miele, Towards the Design of Tunable Dependable Systems, in the Proceedings of the 1st Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN - 2012) - Annecy, France - June, 2012
S. Bhandari, F. Cancare, D. B. Bartolini, M. CARMINATI, and M. D. Santambrogio, On the Management of Dynamic Partial Reconfiguration to Speed-up Intrinsic Evolvable Hardware Systems, in the Proceedings of the 6th HiPEAC Workshop on Reconfigurable Computing (WRC - 2012) - Paris, France- January, 2012
C. Bolchini, M. CARMINATI, and A. Miele, Improving Reliability, Lifetime and Energy Consumption of Multi/Manycore Systems, presented at 1st International Training School on Manufacturable and Dependable Multi-core Architectures at Nanoscale (MEDIAN - 2013) - Rome, Italy - September, 2013 - Download
C. Bolchini, M. CARMINATI, and A. Miele, Self-Adaptive Fault Tolerance in Multi-/Many-Core Systems, presented at the 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC - 2013) - Berlin, Germany - January, 2013 - Download
M. CARMINATI, Self-Adaptive Reliable Multi/Many-core Systems, Computer Science and Artificial Intelligence Laboratory (CSAIL) - MIT, Boston - May, 2013 - Slides
M. CARMINATI, Dependable Processor Design, Dipartimento di Elettronica, Informazione e Bioningegneria (DEIB) - Politecnico di Milano, Italy - October, 2012 - Slides
M. CARMINATI, Self-Aware Synchronization Mechanisms and Decision Making Techniques for Contention-Aware Thread Mapping, Master's Thesis - University of Illinois at Chicago, Chicago (IL), USA - May, 2012 - Download
M. CARMINATI, Contention-Aware Thread Mapping driven by Self-Aware Synchronization Mechanisms, Master's Thesis - Politecnico di Milano, Milan, Italy - December, 2011 - Download
S. Barra, M. CARMINATI, C. Gammaraccio, A. Lambertenghi, L. Malvicino, M. Ronchi, X. Ye, BuildSmart: Energy Efficiency and Renewable Energy for Intelligent and Sustainable Buildings, ASP Thesis - Politecnico di Torino, Turin, Italy - December, 2011 - Download
D. B. Bartolini, M. CARMINATI, Progettazione di un Sistema per l'Evoluzione Intrinseca di Circuiti su FPGA, Bachelor's Thesis - Politecnico di Milano, Milan, Italy - July, 2009 - Download