Safety Critical Systems Certification: Tool Qualification for Hardware and Software

Safety Critical Systems Certification: Tool Qualification for Hardware and Software

著者名:

掲載資料名:

Proceedings of the fourth IAASS Conference "Making Safety Matter" : 19-21 May 2010, Huntsville, Alabama, USA

シリーズ名:

ESA SP

シリーズ巻号:

680

発行年:

2010

総ページ数:

8

出版情報:

Noordwijk: ESA Communications

ISSN:

1609042X

ISBN:

9789292212445 [9292212443]

言語:

英語

請求記号:

E11690/680

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00013325
シリーズID:	PA00000009
会議名:	Fourth IAASS Conference, Making Safety Matter
回次:	4th
会議開催地:	Huntsville, Alabama, USA
会議開催年:	2010.05.19-2010.05.21
論文注記:	Session 3: Safety Critical Software Design and IVV

類似資料:

1 テクニカルペーパー Application of Accelerated Processing Units in Safety-Critical Systems. Trawczynski, D., Zalewski, J. Society of Automotive Engineers	7 国際会議録 Certification Aspects in Critical Embedded Software Development with Model Based Techniques: Detection of Unintended Functions A. Atencia Yépez, J. Autrán Cerqueira, S. Urueña, R. Jurado ESA Communications
2 国際会議録 A Framework for the Software Aspects of the Safety Certification of a Space System Cleland, G.L. ESA Publications Division	8 国際会議録 Computers and software in safety-critical applications Ansorge,W.R. SPIE - The International Society for Optical Engineering
3 国際会議録 MEMS safety switch for controlling critical software operations Cooper,J.A., Kidd,M.-E.C., Dalton,L.J. SPIE-The International Society for Optical Engineering	9 テクニカルペーパー Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software Jacklin, S., Schumann, J., Gupta, P., Lowry, M., Bosworth, J., Zavala, E. American Institute of Aeronautics and Astronautics
4 国際会議録 Static Analysis Tools, a Practical Approach for Safety-Critical Software Verification R. Lopes, D. Vicente, N. Silva ESA Communication Production Office	10 国際会議録 MARSA - the Software Tool for Reliability and Safety Assessment of Control Systems Nikolov T., Christov C. Springer-Verlag
5 国際会議録 Certification of Galileo: Software Aspects J. P. Blanquart, G. Bulsa, P. Robert, T. Skramstad, J.-L. Terraillon ESA Publications Division	11 国際会議録 Safety qualification and operational assessment of a night vision cueing and display system J. M. Barnaba, C. W. Wilson, M. Baez-Vazquez Society of Photo-optical Instrumentation Engineers
6 国際会議録 Safety-Critical Software in Modern Integrated Modular Avionics Systems M. Klicker, H. Ruess, W. Pape ESA Communication Production Office	12 国際会議録 High Performance PowerPC Based On-Board Computer, Hardware and Software Qualification B. Hespeler, R. Braun, D. Dallmann ESA Publications Division

1

2

3

4

5

6

7

8

9

10

11

12