ATASDAS: A tool for improving the software dependability analysis process

M. C. Monégier Du Sorbier; F. Pessaux; D. Escorial; L. Joaquim; F. Klefstad-Sillonville; G. Pipan

ATASDAS: A tool for improving the software dependability analysis process

M. C. Monégier Du Sorbier
, F. Pessaux
, D. Escorial
, L. Joaquim
, F. Klefstad-Sillonville
, G. Pipan

Surlog
Spacebel
Critical Software
TAM-Télésanté
XLAB d.o.o.

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	358-366
Nombre de pages	9
journal	European Space Agency, (Special Publication) ESA SP
Numéro de publication	570
état	Publié - 1 déc. 2004
Modification externe	Oui
Evénement	DASIA 2004 - Data Systems in Aerospace, Conference - Nice, France Durée: 28 juin 2004 → 1 juil. 2004

Contient cette citation

@article{a31f75a49ea641cab0ae11f239f7f703,

title = "ATASDAS: A tool for improving the software dependability analysis process",

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.",

author = "\{Mon{\'e}gier Du Sorbier\}, \{M. C.\} and F. Pessaux and D. Escorial and L. Joaquim and F. Klefstad-Sillonville and G. Pipan",

year = "2004",

month = dec,

day = "1",

language = "English",

pages = "358--366",

journal = "European Space Agency, (Special Publication) ESA SP",

issn = "0379-6566",

publisher = "European Space Agency",

number = "570",

note = "DASIA 2004 - Data Systems in Aerospace, Conference ; Conference date: 28-06-2004 Through 01-07-2004",

}

TY - JOUR

T1 - ATASDAS

T2 - DASIA 2004 - Data Systems in Aerospace, Conference

AU - Monégier Du Sorbier, M. C.

AU - Pessaux, F.

AU - Escorial, D.

AU - Joaquim, L.

AU - Klefstad-Sillonville, F.

AU - Pipan, G.

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

M3 - Conference article

AN - SCOPUS:22144475142

SN - 0379-6566

SP - 358

EP - 366

JO - European Space Agency, (Special Publication) ESA SP

JF - European Space Agency, (Special Publication) ESA SP

IS - 570

Y2 - 28 June 2004 through 1 July 2004

ER -

ATASDAS: A tool for improving the software dependability analysis process

Résumé

Empreinte digitale

Contient cette citation