Alexandre Castro Madeira

Alexandre is a member HASLab - INESC TEC currently developing the postdoc project "dynamic logics for every season" supported by the FCT (Portuguese Foundation for Science and technology) with the individual grant SFRH /BPD/103004/2014. The project is hosted in HASLab - INESC TEC and CIDMA over the scientific supervision of Luís S. Barbosa (Informatics Dep. of Univ. Minho) and Manuel A. Martins(Mathematics Dep. of Univ. Aveiro).

Alexandre is also coordinating the FCT R&D project DaLí: Dynamic logics for cyber-physical systems: towards contract based design.

Research interest:

- Mathematical Foundations of Software Engineering

- Algebraic and logical methods for software development

- Parametric generation of Modal/Hybrid/Dynamic Logics

- Process Algebra

Domains

High-Assurance Software

Projects

DaVinci

The DaVinci project intend to focus on the notions of continuous time and the reconfiguration of components and interaction protocols in order to facilitate the development of reliable and predictable cyber-physical component networks. A practical example of this activity will be the study of continuous components involved in the remote driving process of electric cars.

Distributed architectures: variability and interaction for cyber-physical systems

IBEX

Thanks to advances in computational power and miniaturisation, software is increasingly embedded in infrastructures and industrial processes to boost efficiency, safety, and production. In this context it is now qualified as cyber-physical to emphasise its tight interaction with physical processes (such as velocity, movement, and temperature), and to sign a shift from usual software engineering practices to a more multifaceted view that combines computer science, control theory, and analysis. There has been important progress in the development of mathematical foundations for cyber-physical systems. Existing results typically take the form of a hybrid process algebra, which add the notion of a differential equation to an existing, well-established process algebra. However, the fact that computational processes are intermixed with physical ones raises challenging aspects that severely hinder these results as foundations for an engineering discipline of cyber-physical software. Specifically, the latter bring an inherent layer of uncertainty, due to noise in sensors and actuators. Moreover, they require notions of behavioural distance for realistically comparing two systems in an algebraic, rigorous way. The goal of this project is thus to develop the mathematical foundations of cyber-physical programming by taking into account the quantitative aspects discussed above: uncertainty and behavioural distance.

Publications

idDL2DL – Interval Syntax to $$d\mathcal {L}$$

Santos, J;Figueiredo, D;Madeira, A;

2023

Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science

idDL2DL - Interval Syntax to dL

Santos, J;Figueiredo, D;Madeira, A;

2023

Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Madeira, A;Martins, MA;

2023

WADT

Structured Specification of Paraconsistent Transition Systems

Cunha, J;Madeira, A;Barbosa, LS;

2023

Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

View all publications

Supervised theses

Segmentation of vascular networks in 3D medical data: a domain adaptation and topology-aware approach

RICARDO MIGUEL SILVA FERREIRA

D - 2023

UP-FEUP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.