Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


Contribution to V3 Demonstrator (Part III)


M. Egli, A. Pasetti, O. Rohlik

pp. 34, ASSERT project deliverable D4.2.4-4 "Contribution to V3 Demonstrator (Part III)"

This report is the third part of deliverable D4.2.4-4 of the ASSERT project. The deliverable documents the contribution of ETH to the V3 version of the ASSERT Demonstrator. This contribution is centered on the use of a product family approach for ASSERT and it consists in the definition of the ETH Demonstrator Framework. The ETH Demonstrator Framework defines two reusable and adaptable building blocks for on-board satellite applications. The building blocks are designed in accordance with the FW Methodology proposed in WP4.2 for reusable and adaptable functional building blocks. These building blocks are accordingly endowed with functional properties that are invariant with respect to the building block adaptation process. This document discusses the verification related aspects of the framework building blocks. In particular, it attempts to transform the properties defined at design level into assume-guarantee contracts that are potentially susceptible of formal verification. The document also presents an example of instantiation of one of the framework building blocks and discusses how properties can be defined for the application thus instantiated.


Type of Publication:

(04)Technical Report

File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@TechReport { EglPas:2007:IFA_2943,
    author={M. Egli and A. Pasetti and O. Rohlik},
    title={{Contribution to V3 Demonstrator (Part III)}},
Permanent link