4 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
"DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS" (DEVASSES)
Date du début: 1 janv. 2014, Date de fin: 31 déc. 2017,
"The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design time and run time verification and validation. The goal is to reinforce existing partners’ cooperation through a coordinated program of exchange of res ...
Voir le projet
2
Participants partenaires
TERMINÉ
Certifications of Critical Systems (CECRIS)
Date du début: 1 janv. 2013, Date de fin: 31 déc. 2016,
"The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.The project focuses on the more difficult/important points of (safety, efficiency, business, …) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific ...
Voir le projet
6
Participants partenaires
TERMINÉ
Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems (AMADEOS)
Date du début: 1 oct. 2013, Date de fin: 30 sept. 2016,
Description
The objective of this research proposal is to bring time awareness and evolution into the design of System-of-Systems (SoS), to establish a sound conceptual model, a generic architectural framework and a design methodology including tools for prototyping, for the modeling, development and evolution of time-sensitive SoSes with po ...
Voir le projet
7
Participants partenaires
TERMINÉ
Assessing, Measuring, and Benchmarking Resilience (AMBER)
Date du début: 1 janv. 2008, Date de fin: 31 déc. 2009,
AMBER aims to coordinate the study of resilience measuring and benchmarking in computer systems and components, fostering European research in order to address the big challenges on resilience assessment posed by current and forthcoming computer systems and computer-based infrastructures. The AMBER Coordination Action directly addresses the IST strategic objective 1.4 – Secure, dependable and Trus ...
Voir le projet