AIDA presented to PhD students INESC TEC, one of AIDA’s partners, presented AIDA to the Doctoral Program in Computer Science (MAP-I)’S first year students. This visit, which took place on December 6, 2022, happened during a visit to the High-Assurance Software Laboratory from INESC TEC at the University of Minho. This was an opportunity to present the work carried out by the AIDA project and get to know a good example of international collaboration between industry and academia. It is important to mention that the initiative was also an opportunity to share the project’s vision and expected outcomes, while promoting […]
AIDA participated in the CMU Portugal Summit 2022 Pedro Fidalgo, from our coordinator partner Mobileum, participated in the roundtable “Adaptive, automated, and autonomic computing” at this year’s CMU Portugal Summit, which happened under the motto “New Frontiers in tech”. During the conference, the AIDA project had a meeting with the CMU Portugal External Review Committee, an advisory board charged with assessing the project’s performance and making recommendations. The conference aimed at bringing experts to present research progress in various areas, such as Health, Cybersecurity, Forests, Artificial Intelligence, Language Technologies, Machine Learning, among others. The CMU Portugal Summit 2022 took place […]
AIDA Project presented at the Carnegie Mellon’s Commencement Ceremony On May 13th, the AIDA project was presented at the CMU Portugal Program workshop that preceded the Commencement Ceremony, in Pittsburgh. Our researcher David Garlan, from CMU, presented the project as an ongoing research work, and collaboration between Portugal and CMU. David Garlan also talked about architecting effective ML based systems in the AIDA project and CMU Portugal Project Camelot. This event was an opportunity for CMU researchers and PhD students to address their ongoing research work in collaboration between Portugal and CMU.
AIDA paper presents a mechanism that ensures better performance and reduces costs in IoT devices “Adaptive Database Synchronization for an Online Analytical Cloud-to-Edge Continuum” is the new paper of the AIDA project, which was presented this week at the ACM Dependable, Adaptive, and Secure Distributed Systems (DADS 2022). Internet of Things devices are generally underpowered, but they exist in large volumes and are located very close to where the data is captured. The use of these devices is increasingly common in the industry, agriculture, running cities, and even at homes. Because of their limitations, the data is traditionally transferred periodically to […]
Consortium meeting gathers all partners On March 17, 2022, the AIDA consortium met in Braga (Portugal) to plan the last months of the project. The discussion focused on the use cases needed for pilot proposes and which frameworks can be used to execute the pilot correctly. Additionally, the partners discussed the tests required to achieve a good quality assurance metric. In this sense, collaboration between all partners is crucial in determining the success of project outcomes.
AIDA project presented to MAP-i’s students Last week, close to 20 students from the MAP Doctoral Program in Computer Science (MAP-i) had the opportunity to get to know the AIDA project, focusing on cloud edge continuum. The MAP-i students – part of one of the PhD programs that is closely related to the research carried out within the scope of the project – also visited INESC TEC’s High-Assurance Software Laboratory, while learning how the AIDA project is a good example of the work done in the cloud edge continuum field, and as a model of international collaboration between industry and […]
AIDA organizes workshop on Secure FunctiON ChAining and FederaTed AI The 1st International Workshop on Secure FunctiON ChAining and FederaTed AI (SONATAI) was held virtually on January 8th 2022, and was co-located with CCNC (2022) with the support of AIDA and Universidade de Coimbra. With a big focus on creating a forum for researchers and engineers to present and discuss solutions, new ideas and results, authors were invited to submit papers with novel research contributions, addressing edge and cloud continuum, service function chaining and federated AI. Nuno Faria, Daniel Costa, José Pereira, Ricardo Vilaça, Luís Ferreira and […]
The Portuguese Minister of Science, Technology and Higher Education meets AIDA Manuel Heitor, the Portuguese Minister for Science, Technology and Higher Education, visited Carnegie Mellon University (CMU) in Pittsburgh, where he was presented with the AIDA project and its main goals and challenges. Heitor, during his visit, met with several faculty and students and attended three different workshops. The workshops were focused on addressing the themes of the Program’s Large-Scale Collaborative Research Projects, one of which was led by by Pedro Ferreira (IntelligentCare), together with Christos Faloutsos from AIDA, Asim Smailagic from TAMI, and Carmel Majidi from Wow. […]
New Paper presented at ASYDE 2021 “A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems” is the newest paper, under the scope of the AIDA’s project, was accepted and presented at the 3rd International Workshop on Automated and Verifiable Software System Development (ASYDE) 2021. Written by Maria Casimiro, David Garlan and Javier Cámara, Luís Rodrigues and Paolo Romano, the paper introduces a formal framework that enables reasoning about whether to adapt machine learning (ML) models of ML based systems, considering the trade-off between the costs and benefits of adaptation. Such a framework can be particularly useful since ML-based […]
New paper in the scope of AIDA’s project is published on IEEE Access “Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects” is one of the newest papers published by AIDA in IEEE Access. José D’Abruzzo Pereira, Naghmeh Ivaki and Marco Vieira were the authors of one of the newest papers under the scope of AIDA’s project. This paper, with a great focus on security vulnerabilities of software systems, was peer-reviewed, accepted for publication, and published on IEEE Access. This study highlights the fact that most buffer overflow vulnerabilities are not detectable by vulnerability detection tools and there is a need […]