Certification of Galileo: Software Aspects

Certification of Galileo: Software Aspects

著者名:

J. P. Blanquart ( Astrium SAS, France )
G. Bulsa ( Astrium SAS, France )
P. Robert ( ISOSCOPE, France )
T. Skramstad ( DNV, Norway )
J.-L. Terraillon ( ESA/ESTEC, The Netherlands )

掲載資料名:

DASIA 2001 : data systems in aerospace, 28 May-1 June 2001, Hotel Plaza Concorde, Nice, France

シリーズ名:

ESA SP

シリーズ巻号:

483

発行年:

2001

総ページ数:

6

出版情報:

Noordwijk, The Netherlands: ESA Publications Division

ISSN:

1609042X

ISBN:

9789290927730 [9290927739]

言語:

英語

請求記号:

E11690/484

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00049548
シリーズID:	PA00000009
会議名:	DASIA
回次:	2001
会議開催地:	Nice, France
会議開催年:	2001.05.28-2001.06.01
論文注記:	DASIA 2001, 28 May – 1 June 2001, Hotel Plaza Concorde, Nice, France. SESSION 4A. Galileosat Verification/Certification

類似資料:

1 国際会議録 Data Modelling Technologies for Dependable System-Software Engineering J.P. Blanquart, G. Bulsa, D. Lesens ESA Communication Production Office	7 国際会議録 Automatic code generation and space on-board software Terraillon, J.L, Ankersen, F., Vardanega, T., Carranza, J.M. ESA Publications Division
2 国際会議録 The Safety Analysis of the HYDRA Control Software P. Ayrault, O. Brunner, J.-L. Terraillon ESA Publications Division	8 国際会議録 Security Needs and Promising Implementations in Space Systems G. Herrgott, J.-P. Blanquart ESA Communication Production Office
3 国際会議録 Space On-Board Software Reference Architecture J.L. Terraillon, A. Jung, P. Arberet ESA Communications	9 国際会議録 An Object-Oriented Component-Based Framework for On-Board Software A. Pasetti, W. Pree, J. L. Terraillon, Ton van Overbeek ESA Publications Division
4 国際会議録 A Framework for the Software Aspects of the Safety Certification of a Space System Cleland, G.L. ESA Publications Division	10 国際会議録 SEISES: A Process Framework for Safe and Secure Aerospace Systems P. Bieber, J.-P. Blanquart, G. Descargues ESA Communications
5 国際会議録 Applying ECSS Software Standards with the Unified Process D. Escorial, J. L. Terraillon ESA Publications Division	11 国際会議録 The Benefits of Formal Description Techniques for Space Onboard Systems and their Integration in an Onboard Architecture Terraillon, J.-L. ESA Publications Division
6 国際会議録 Hardware Software Interaction Analysis: Practical Case and Lessons Learnt J. Blanquart ESA Publications Division	12 国際会議録 The Galileo Software Standard G. Montalto, V. Magnier, A. Stragapede ESA Publications Division

1

2

3

4

5

6

7

8

9

10

11

12