Selected Publications

2008 (by Agust 31st)

 

 

Selected Project Reports

 
  • W. Hohl:

    • HIDE - First Phase Project Overview
    ESPRIT Project 27439 (HIDE) Final Project Report
     
  • A. Bondavalli, A. Borschet, M. Dal Cin, W. Hohl, D. Latella, I. Majzik, M. Massink, I. Mura:

    • Specification of Modeling Techniques
    ESPRIT Project 27439 (HIDE) Deliverable 1 (HIDE/D1/FAU/1/v3)
    Abstract: This document examines certain aspects of the Unified Modeling Language (UML) relevant to the HIDE framework. The examination is necessary in order to provide a sound basis for a translation of UML-models to models amenable for formal and quantitative analysis. On one side, restrictions of the modeling power of UML are to be identified such that precise transformations become feasible. These restrictions will be relaxed in the future. On the other side, model analysis requires certain extensions to the UML, since additional information is needed depending on the kind of analysis someone wants to perform.
  • A. Bondavalli, M. Dal Cin, G. Huszerl, K. Kosmidis, D. Latella, I. Majzik, M. Massink, I. Mura:

    • Transformations - Report on the Specification of Analysis and Transformation Techniques
    ESPRIT Project 27439 (HIDE) Deliverable 2 (HIDE/T1.2/PDCC/30/v1)
    Abstract: The quantitative analysis of the dependability attributes of computer systems using stochastic modelling is a process that requires ability and experience. Building the model of a system needs the introduction of assumptions, simplifications and abstractions, whose impact on the final results can not be estimated a priori. Also, slight variations in the value of a crucial parameter might cause dramatic changes in the final measures. Moreover, real systems show such a complexity that the definition of the model itself easily becomes an error prone task. Various methods and tools for dependability modelling and analysis have been developed which provide support to the analyst, during the phases of definition and evaluation of the models. In general, model types used for dependability analysis are in two categories; combinatorial and state-space. In the list below, Markov models and high level approaches which have an underlying Markov model are belonging to state-space models.
  • A. Borschet, M. Dal Cin, J. Jávorszky, A. Pataricza, G. Savoia, Cs. Szász:

    • Specification of the HIDE Environment
    ESPRIT Project 27439 (HIDE) Deliverable 3 (HIDE/D3/TUB/1/v2)
    Abstract: The aim of this deliverable is the definition of the HIDE architecture in a form which can be used without major alteration for both phases. However, the implementation could differ for the two phases. The primary target of Phase 1 is the definition of a prototyping environment, in consideration of the assurance of a high level of flexibility and of a good support for debugging of the algorithms to be implemented. In this phase, both the efficient use of the resources and the time requirements of the transformations are of secondary importance. Accordingly, this implementation should rely, as far as possible, on commercially available tools, not necessary incorporated into the final HIDE tool.
  • A. Bondavalli, M. Dal Cin, E. Giusti, D. Latella, I. Majzik, M. Massink, I. Mura:

    • Assessment of Analysis and Transformation Techniques
    ESPRIT Project 27439 (HIDE) Deliverable 4 (HIDE/D4/FAU/1/v1.1)
    Abstract: The primary aim of this deliverable is the collection of experiences related to the size of the models resulting from automatic transformations and the production of a comparison with hand-made models for the same systems.
  • Gy. Csertán, M. Dal Cin, G. Huszerl, J. Jávorszky, K. Kosmidis, A. Pataricza, Cs. Szász:

    • The Demonstrator
    ESPRIT Project 27439 (HIDE) Deliverable 5 (HIDE/D5/TUB/1/v2)
    Abstract: In this paper the HIDE core technology is presented according to the definition elaborated in work phase 2. In phase 2 many new features have to be implemented which are missing in the first phase, like fault-tolerant component library, fault-injection engine, back-annotation. If we propose for the next phase the technology used in the first, then we must investigate its capability to handle the new features.
  • G. Savoia:

    • Specification of the Pilot Application (Automatic Train Control System)
    ESPRIT Project 27439 (HIDE) Final Project Report
    Abstract: This document contains the initial specification of a system which will be used in the second phase of the HIDE project as a pilot application for experimenting and assessing the modelling and analysis techniques that the project is developing. The selected system is an Automatic Train Control (ATC) system which is an onboard control system for the new generation of trains for the Italian railroad system. The ATC is currently in production by Ansaldo, and for which Intecs Sistemi has a significant involvement in the design and the implementation of the Basic Software. The system has significant dependability requirements in terms of availability, fault tolerance and predictability. To meet these requirements it exploits state of the art solutions both in its hardware and software architecture, as replicated communication bus, duplicated processing nodes and replicated subsystems.