List of all the projects carried out at MI-ITI, past and ongoing, searchable by title, year and author.
The AEminium project proposes a platform that builds in concurrency by default: instead of sequencing code, programmerrs express dependency information that is used by a compile-time checker to verify correctness conditions and by the libraries and run-time system to enable concurrent executing. As a result, developers can write parallel code in a natural style and have confidence in its correctness and performance.
Universities Involved: The University of Madeira, The University of Coimbra, Carnegie Mellon University (CMU)
Industrial Partner: Novabase
This project aims at developing mathematically well-founded and practically useful technology to verify real-time systems. We are interested on mathematical formalisms and formal methods techniques. We plan to extend the Frama-C tool so as to verify real-time safety properties as well as realtime liveness properties, prioritising the efficiency of our solution so as the render it useful for real-world real-time applications, e.g., avionics controllers. We also plan to use refinement calculus techniques to build parts of a real-time operating system.
The Madeira Life interdisciplinary research team draws inspiration from the everyday life and traditions of the island, in order to imagine, design and produce experiences and services fitting the local context. Supported by digital media and interactive technologies, the Madeira Life team utilize a design research approach which, stresses design artifacts as outcomes that can transform the world from its current state to a preferred state.
ZON Service Engineering is a project that will provide the real-world setting to test and drive breakthrough ideas in business IT alignment, SOA and service design.
SINAIS aims to motivate sustainable behaviour in individuals and communities, regarding their resource consumption and transportation activities.