About the project
Objectives and goals
The main objective of the project "Development of Mathematical Methods for the Security of Cyberphysical Systems" is to develop advanced mathematical methods to analyze the security and correction of critical cyberphysical systems. Our goals include the integration of symbolic rewriting techniques, complexity analysis and optimization to assess the security of complex systems in critical environments. We seek to provide automated tools that enable system designers to perform accurate and comprehensive mathematical analysis from the initial design stages.
Proposed mathematical and technical methods
To achieve our goals, we propose using advanced techniques of symbolic rewriting, complexity analysis and optimization. These methods will allow us to model and analyze the security of cyberphysical systems through the mathematical representation of their components and behaviors. The combination of symbolic rewriting with complexity analysis methods will allow us to evaluate the security of systems in dynamic and continuous environments, identifying possible vulnerabilities and ensuring that systems are corrected.
Integration in industrial modeling tools
To ensure the practical applicability of our methods, we plan to integrate them into industrial modeling tools widely used in the industry. These tools will allow system designers to access automated security analysis functionalities, facilitating early and thorough security assessment of cyber-physical systems. By integrating our methods into these tools, we seek to provide an "all-in-one" solution that simplifies and improves the design and validation process for critical systems.
With this innovative and collaborative approach, our project aims to strengthen the security and reliability of critical cyber-physical systems, contributing to the advancement of research in this interdisciplinary field and providing practical and effective solutions for industry and society at large.
