SafeCOP
SafeCOP (April 2016 - March 2019) is a project that targets the so-called Cooperating Cyber-Physical Systems (CO-CPS), that is systems that rely on wireless communication, have multiple stakeholders, use dynamic system definitions (openness) and operate in unpredictable environments. No single responsible stakeholder can be identified in these scenarios. This means that safe cooperation relies on wireless communication and security is an important concern.
SafeCOP will provide an approach to CO-CPS’ safety assurance, thus allowing their certification and development. In particular, the project will define a runtime manager to detect abnormal behaviors at runtime, triggering, if needed, a safe degraded mode. SafeCOP will also develop methods and tools to certify cooperative functions and offer new standards and regulations to certification authorities and standardization committees. The advantages include:
- Lower certification costs
- Increased trustworthiness of wireless communication
- Better management of increasing complexity
- Reduced effort for verification and validation
- Lower total system costs
- Shorter time to market
- Increased market share
William Fornaciari
Associate Professor
William Fornaciari has published six books and over 200 papers, earning five best paper awards, an IEEE certification, and three international patents on low power design. Since 1997, he has participated in 18 EU-funded projects. His research focuses on multi/many-core architectures, NoC, low power design, and more.
Giovanni Agosta
Associate Professor
Giovanni Agosta, Associate Professor at Politecnico di Milano, holds a Laurea in Computer Engineering (2000) and a PhD in Information Technology (2004). His research focuses on compiler-computer architecture interaction, emphasizing performance, energy-efficiency, and security. He has authored 100+ papers, won multiple awards, and participated in 17 EU-funded projects.
Gerardo Pelosi
Associate Professor
Gerardo Pelosi received the Laurea degree in Telecommunications Engineering in 2003 and the Ph.D. degree in Computer Engineering and Information Technology in 2007 from Politecnico di Milano. His research fields cover (1) the area of information security and privacy including access control models, models for encrypted data management in relational databases, and secure data outsourcing; (2) the area of applied cryptography including side-channel cryptanalysis, system-level attacks, and efficient hardware and software design of cryptographic algorithms; other research interests are in designing security support into computer architectures and the logic synthesis of combinatorial circuits.
Carlo Brandolese
Assistant Professor
Carlo Brandolese is a researcher at the Department of Electronics and Information of the Politecnico di Milano and a consultant researcher at Cefriel Research Centre. His research interests are focused on design and low-power methodologies for embedded systems.