Encontrados 7 documentos, a visualizar página 1 de 1
Resilient Computing Courseware
Bernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, FelicitaThis Deliverable describes the courseware in support to teaching Resilient Computing in a Curriculum for an MSc track following the scheme of the Bologna process. The development of the supporting material for such a curriculum has required a rather intensive activity that involved not only the partners in ReSIST but also a much larger worldwide community with the aim of identifying available updated support ma...
Resilient Computing Curriculum
Bernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, FelicitaThis Deliverable presents the MSc Curriculum in Resilient Computing suggested by ReSIST. It includes the description of the syllabi for all the courses in the two semesters of the first year, those for the common courses in semester 3 in the second year together with an exemplification of possible application tracks with the related courses. This MSc curriculum has been updated and completed taking advantage of...
Experimental Validation of Architectural Solutions
Franceschinis, Giuliana; Alata, Eric; Antunes, João; Beitollah, Hakem; Bessani, Alysson Neves; Correia, Miguel; Dantas, Wagner; Deconinck, GeertIn this deliverable the experimental results carried out in four different contexts are reported. The first contribution concerns an experimental campaign performed using the AJECT (Attack inJECTion) tool able to emulate different types of attackers behaviour and to collect information on the effect of such attacks on the target system performance. This tool is also used to perform some of the experiments described...
Experimental Validation of Architectural Solutions
Donatelli, Susanna; Alata, Eric; Antunes, João; Kaâniche, Mohamed; Neves, Nuno Ferreira; Veríssimo, PauloThis is a interim report on the experimental validation of architectural solutions performed in WP5 of project CRUTIAL. The two main contributions are the description of an attack injection tool for testing the architectural solutions and the description of a monitor and data collector that collects and analyses information about the behavior of the software after it has been attacked
Resilience-Building Technologies: State of Knowledge -- ReSIST NoE Deliverable D12
Strigini, L.; Neves, Nuno Ferreira; Raynal, Michel; Harrison, Michael; Kaâniche, Mohamed; Henke, Friedrich vonThis document is the first product of work package WP2, "Resilience-building and -scaling technologies", in the programme of jointly executed research (JER) of the ReSIST Network of Excellence
Use case scenarios and preliminary reference model
Matthiesen, E.V.; Radimirsch, M.; Huszerl, G.; Reitenspieß, M.; Kaâniche, Mohamed; Svinnset, I-E.; Casimiro, António; Falai, L.This document provides the starting point for the development of dependability solutions in the HIDENETS project with the following contents: (1) A conceptual framework is defined that contains the relevant terminology, threats and general requirements. This framework is a HIDENETS relevant subset of existing state-of-the-art views in the scientific dependability community. Furthermore, the dependability framew...
Revised reference model
Arlat, J.; Kaâniche, Mohamed; Bondavalli, Andrea; Calha, Mario; Casimiro, António; Daidone, A.; Falai, L.; Huszerl, G.; Killijian, M-O.; Kövi, A.This document contains an update of the HIDENETS Reference Model, whose preliminary version was introduced in D1.1. The Reference Model contains the overall approach to development and assessment of end-to-end resilience solutions. As such, it presents a framework, which due to its abstraction level is not only restricted to the HIDENETS car-to-car and car-to-infrastructure applications and use-cases. Starting ...