Abstract
ATASDAS (Automating Target Analysis to Speed up the Dependability Analysis of complex real time Software modules) is a EU CRAFT project (IST-2001-55042) with the main objective of developing a software tool oriented towards the software dependability analysis. Four companies, two of them within the space domain, a telemedicine company and a networking firm were involved in the validation of the tool. This paper describes the functionality and scope of the ATASDAS tool and the assessments followed in order to validate it within an industrial environment.
| Original language | English |
|---|---|
| Pages (from-to) | 358-366 |
| Number of pages | 9 |
| Journal | European Space Agency, (Special Publication) ESA SP |
| Issue number | 570 |
| Publication status | Published - 1 Dec 2004 |
| Externally published | Yes |
| Event | DASIA 2004 - Data Systems in Aerospace, Conference - Nice, France Duration: 28 Jun 2004 → 1 Jul 2004 |