Invasive Computing – The Quest for Many-Core Efficency
The design of complex systems starts from a set of requirements and incrementally adds design decisions until implementation is built. The contract-based paradigm, founded on the use of contracts as formal requirements, allows distributed designers to develop different aspects and components of the overall system in a concurrent but controlled way. This talk describes the use of contract-based design for bridging the gap between requirements and implementations as well as the challenges to successfully apply the methodology to complex, distributed, evolving systems.
About Orlando Ferrante:
Orlando Ferrante received the Laurea degree summa cum laude in Electrical Engineering from “Sapienza” University of Rome, Italy, in 2008 and in the same year he joined PARADES as Junior Research Engineer. In 2012 he received a PhD degree from “Sapienza” University of Rome in Electrical Engineering. Since 2010 he is part of ALES S.r.l. conducting research on embedded system design, formal verification and heterogeneous system modeling and validation. He has been involved in the SPEEDS EU project as ALES research engineer and is now part of the ALES team in the DANSE, SPRINT and MBAT EU projects.