Outcome

Publications

Logo Publications

Overview of assert-project


The assert-project : FINAL REPORT
Here is the official Final Report of assert-project

File type : Zip
File size : 3.4 Mo
Download this file : Assert-Project-Final-Report

The assert-project :
Discover in pdf file the official promotional document of assert-project

File type : Zip
File size : 3.4 Mo
Download this file : Assert-Project-Booklet

The assert-project :
A step towards reliable and scientific system and software engineering
(Short version)
Author(s) : Dr E. Conquet (Esa - Estec)
File type : Zip
File size : 1.9 Mo
Download this file : Assert-Project-Short-Overview

The assert-project :
A step towards reliable and scientific system and software engineering
(Full version)
Author(s) : Dr E. Conquet (Esa - Estec)
File type : Zip
File size : 414.2 ko
Download this file : Assert-Project-Full-Overview

The process of assert-project


The AADL Process
A printable version of the graphical representation of the AADL Process.

File type : Zip
File size : 1.1 Mo
Download this file : Printable-AADL-Process

The HRT-UML Process
A printable version of the graphical representation of the HRT-UML Process.

File type : Zip
File size : 1.1 Mo
Download this file : Printable-HRT-UML-Process

The secrets of assert-project process
Author(s) : M. Perrotin (ESA), presented by Y. Yushtein (ESA)
File type : Zip
File size : 1.7 Mo
Download this file : Secrets-of-Assert-Project-Process

Using AADL to build critical real-time systems :
Experiments in the IST-assert-project

Author(s) : J. Hugues, L. Pautet (GET-Telecom), P. Dissaux (Ellidiss Technologies), M. Perrotin (ESA)
File type : Zip
File size : 456.4 ko
Download this file : AADL-and-Critical-RealTime-Systems

Using MDE for the Rapid Prototyping of Space Critical Systems
Author(s) : J. Hugues, M. Perrotin (ESA), T. Tsiodras (Semantix Information Technologies)
File type : Zip
File size : 236.8 ko
Download this file : MDE-for-Rapid-Prototyping

Others publications on the assert-project


Here you will find very soon a list of publications written by partners of The assert-project.






© Copyright ESA 2007. All rights reserved.

Sponsoring







a



For a reliable
and scientific
approach
in system
and software
engineering