List of all the projects carried out at MI-ITI, past and ongoing, searchable by title, year and author.
Field robotics is the use of sturdy robots in unstructured environments. One important example of such a scenario is in Search And Rescue (SAR) operations to seek out victims of catastrophic events in urban environments. While advances in this domain have the potential to save human lives, many challenging problems still hinder the deployment of SAR robots in real situations. This project tackles one such crucial issue: effective real time mapping. To address this problem, we adopt a multidisciplinary approach by drawing on both Robotics and Human Computer Interaction (HCI) techniques and methodologies.
CEDAR -- Collaborative Engineering Design And Review -- proposes to advance the state of the art in collaborative virtual environments. The main idea of our research approach is to combine the power of novel interaction paradigms with the results from ethnographic observations of real world engineers and their successive evaluations to the different versions of the system.
The Affidavit project ― Automating the Proof of Quality Attributes for Large Scale Software Architectures ― aims to make the current state of knowledge about software architecture design accessible to mainstream system developers by building a framework that will allow architects to investigate the properties of their architectures through architectural simulation and ensure their correct application through architectural transformation.
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.
SINAIS aims to motivate sustainable behaviour in individuals and communities, regarding their resource consumption and transportation activities.