The CISTER Research Centre, located in Porto, Portugal, an international reference in the area of real-time and embedded computing systems, is opening 8-10 MSc-Student positions for candidates already enrolled or that will enroll in the 2021/2022 edition of the MSc Program on Critical Computing Systems Engineering at ISEP, Porto, Portugal.

Successful candidates will perform research activities within ongoing CISTER projects, in parallel with the specific MSc studies. Research grants require exclusivity and will be funded by ISEP, Vortex CoLab or one of the companies collaborating with the MSc program. It is therefore a great opportunity for the candidates to get introduced to what scientific research is, and to interact with professionals from big players (companies and research institutions) also participating in those projects.

Deadline is 9th July 2021, to apply and find out more information about these scholarships, please visit https://www.cister-labs.pt/mscccse/scolarship

The book titled "Unmanned Aerial Systems: Theoretical Foundation and Applications" edited by CISTER Researcher Anis Koubâa, and Ahmad Tahar Azar presents some of the latest innovative approaches to drones from the point-of-view of dynamic modeling, system analysis, optimization, control, communications, 3D-mapping, search and rescue, surveillance, farmland and construction monitoring, and more. With the emergence of low-cost UAS, a vast array of research works in academia and products in the industrial sectors have evolved. The book covers the safe operation of UAS, including, but not limited to, fundamental design, mission and path planning, control theory, computer vision, artificial intelligence, applications requirements, and more.

This book provides a unique reference of the state-of-the-art research and development of unmanned aerial systems, making it an essential resource for researchers, instructors and practitioners.

The Project INSECTT (Intelligent Secure Trustable Things) addresses the convergence of trustable and explainable artificial intelligence (AI) algorithms for the IoT (Internet of Things). INSECTT looks at the future of the technology of Artificial Intelligence of things (AIoT), particularly at the edge of the network, addressing issues of security, latency, privacy and safety. INSECTT consists of 52 EU and Turkish partners in 21 use cases of a diverse set of industrial domains such as: transportation, autonomous vehicles, aeronautics, healthcare, railway and building.

CISTER/ISEP is one of the core partners of this project, with contributions in different building blocks spanning dependable wireless solutions, trustworthiness and explainable AI methodologies, and real time critical systems components. CISTER/ISEP is leader of the use case of Wireless avionics intra-communications (WAICs), leader of the reference architecture of the project, core member of the technical board of the project, and contributor in the wireless platoon vehicle, and wireless security test use cases.
More information can be found in the InSecTT website, its Twitter and YouTube social accounts.
InSecTT has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876038.

Verification & Validation (V&V) remains as a major challenge in the development of safety-critical systems. Current V&V technology is known to be time consuming, costly, and mostly focused on the functionality aspects of systems. However, with the raising complexity associated with systems becoming more automated, open, and connected, other key properties such as security and privacy must be taken into account in the V&V methods.
The goal of VALU3S project is to design, implement, and evaluate state-of-the-art methods and tools that reduce the time and cost needed to perform V&V on automated systems with respect to Safety and Security requirements. For that, the project will design and implement a multi-dimensional, multi-layered framework where test cases and scenarios arising from 13 use cases, from 6 different application domains, are evaluated by state-of-the-art methods and tools developed/improved in the project, while adhering to relevant standards.

CISTER/ISEP is a key partner in VALU3S, bringing know-how and experience in formal verification and artificial intelligence into several technical tasks and use cases, and is also the responsible for the leadership of the Dissemination, Communication and Exploitation work package, and leader of the General Dissemination task, both of which are key components of the project for ensuring that the results of the project reach the more relevant stakeholders (including industry working in automated systems, policy makers, and the general public).
More information in the VALU3S website, its Twitter, LinkedIn, and YouTube social accounts. If you want to be updated about progress in the project, please subscribe to the project’s newsletter.
This project has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852.