Safety-Critical Software in Modern Integrated Modular Avionics Systems

Safety-Critical Software in Modern Integrated Modular Avionics Systems

著者名:

掲載資料名:

Proceedings of the 3rd IAASS Conference : building a safer space together, 21-23 october 2008, Rome, Italy

シリーズ名:

ESA SP

シリーズ巻号:

662

発行年:

2009

総ページ数:

6

出版情報:

Noordwijk, The Netherlands: ESA Communication Production Office

ISSN:

1609042X

ISBN:

9789292212261 [9292212265]

言語:

英語

請求記号:

E11690/662

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00052211
シリーズID:	PA00000009
会議名:	IAASS Conference : building a safer space together
回次:	3rd
会議開催地:	Rome, Italy
会議開催年:	2008.10.21-2008.10.23
論文注記:	Session 22: Safety Critical Software Design and IVV – Part 1

類似資料:

1 国際会議録 Software-Based Safety Systems in Space - Learning from other Domains M. Klicker, H. Putzer ESA Communications	7 国際会議録 Integrated Modular Avionics for Spacecraft: Earth Observation Use Case Demonstrator M.-H. Deredempt, A. Rossignol, P. Hyounet ESA Communications
2 国際会議録 Integrated Modular Avionics for Spacecraft Software Architecture and Requirements M.-H. Deredempt, A. Rossignol, J. Windsor ESA Communications	8 国際会議録 Suborbital Safety Technical Committee - Summary of Proposed Standards & Guidelines A. Quinn, A. Atencia Yepez, M. Klicker ESA Communications
3 国際会議録 Status of the New IAASS Software Safety Standard for Commercial Suborbital Vehicles M. Klicker, A. Atencia Yepez ESA Communications	9 国際会議録 Experimenting Maintenance of Flight Software in an Integrated Modular Avionics for Space J. Hardy, T. Laroche, P. Creten ESA Communications
4 国際会議録 System Design Toolkit for Integrated Modular Avionics for Space M. Hann, P. Balbastre Betoret, J.E. Simo Ten ESA Communications	10 国際会議録 Experimenting Maintenance of Flight Software in an Integrated Modular Avionics for Space J. Hardy, T. Laroche, P. Creten ESA Communications
5 国際会議録 Survivability Management for Integrated Modular Safety - Critical Space Systems G. Montano, J. McDermid ESA Communication Production Office	11 国際会議録 Computers and software in safety-critical applications Ansorge,W.R. SPIE - The International Society for Optical Engineering
6 国際会議録 Requirements Baseline for Integrated Modular Avionics for Space Separation Kernel Qualification M. Hann, M.H. Deredempt, A. Cortier ESA Communications	12 国際会議録 Integrated Modular Avionics: The Challenges O. Charrier ESA Communication Production Office

1

2

3

4

5

6

7

8

9

10

11

12