Project description
Strengthening the foundations of software
Computer software operates silently behind many applications, from transport to power grids. A sudden failure could affect the entire economy. This is why ensuring that digital tools remain safe and reliable is a major requirement for everyday devices and operating systems. The EU-funded VASSAL project aims to strengthen software engineering by combining model-based design, formal methods and economic analysis. The goal is to develop advanced tools for the verification and analysis of software systems, helping engineers build applications that are more robust, secure and safe. VASSAL also investigates the economic effectiveness of deploying such advanced engineering methods in practice. By demonstrating their value, particularly for SMEs, VASSAL seeks to promote wider adoption of trustworthy software development practices across Europe's increasingly digital society.
Objective
VASSAL project focuses on leveraging the scientific excellence and innovation capacity of the consortium in the field of software engineering to support safety and security of digitised economies and societies. The key objective is to bring together expertise of the consortium in specific domains to enhance and create a new knowledge for robust and resilient SW engineering through scientific strategy combining model-based design, formal methods and economics for source-codes and systems.
As SW becomes more complex, ensuring its safety and security (vulnerabilities free) becomes increasingly challenging and vital, not only in safety-critical systems but across various operation systems and IoT as well.
Formal methods and model-based design are taking an increasingly significant role, building upon its already widespread use in safety-critical applications, such as automotive or aerospace. As basic building blocks in engineering process, they enable to build robust and resilient SW and HW systems (security-/safe-by-design) ensuring the reliability and correctness, leveraging cybersecurity, and improving the development life-cycle, that lead to savings in operational costs of systems.
The economic assessment and implications of advanced SW engineering tools are not commonly available. VASSAL will deliver a rare opportunity to explore and document the potential benefits of and challenges in deployment in order to leverage the awareness and make inroads to broader exploitation by end-users (especially SMEs) in segments, where these issues are being overlooked due to the alleged non-returnability of the investment.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service
You need to log in or register to use this function
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
HORIZON.4.1 - Widening participation and spreading excellence
MAIN PROGRAMME
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
HORIZON-CSA - HORIZON Coordination and Support Actions
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) HORIZON-WIDERA-2023-ACCESS-02
See all projects funded under this callCoordinator
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
602 00 BRNO STRED
Czechia
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.