Close

News

AIDA Project presented at the Carnegie Mellon’s Commencement Ceremony

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.

Read More

AIDA paper presents a mechanism that ensures better performance and reduces costs in IoT devices

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 […]

Read More

Consortium meeting gathers all partners

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. 

Read More

AIDA project presented to MAP-i’s students

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 […]

Read More

AIDA organizes workshop on Secure FunctiON ChAining and FederaTed AI

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 […]

Read More

The Portuguese Minister of Science, Technology and Higher Education meets AIDA

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. […]

Read More

New Paper presented at ASYDE 2021

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 […]

Read More

New paper in the scope of AIDA’s project is published in IEEE Access

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 […]

Read More

“Injecting software faults in Python applications” is the title of AIDA’s new paper

“Injecting software faults in Python applications” is the title of AIDA’s new paper The AIDA Project recently published a new paper, primarily focused on software fault injection techniques in Python applications.    “Injecting software faults in Python applications”, a paper carried out by Henrique Marques, Nuno Laranjeiro and Jorge Bernardino, under the scope of AIDA’S project, was peer-reviewed and accepted for publication.   The paper introduces FIT4Python, which is a tool focused on injection software faults in Python code and then used to analyze the effectiveness of OpenStack’s test suite against feasible software faults. According to the contributors, they use the […]

Read More

AIDA paper develops tool for time-based Moving Target Defense (MTD) evaluation

AIDA paper develops tool for time-based Moving Target Defense (MTD) evaluation  The most recent paper of AIDA project, entitled “PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation”, was presented at the 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), which was held between 25-28 October, 2021 in Wuhan, China. PyMTDEvaluator is a tool for time-based Moving Target Defense (MTD) evaluation. It allows analyzing and comparing different alternatives for MTD scheduling, thus supporting the decision-making process for the MTD deployment. PyMTDEvaluator provides a friendly interface and is open-source. Users can feed it with inputs to obtain information to answer questions, […]

Read More
Share