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.
