Planning and Building Qualifiable Embedded Systems: Safety and Risk Properties Assessment for a Large and Complex System with Embedded Subsystems

Planning and Building Qualifiable Embedded Systems: Safety and Risk Properties Assessment for a Large and Complex System with Embedded Subsystems

著者名:

掲載資料名:

The 5th IAASS Conference ‘A safer space for a safer world' : 17–19 October 2011,Versailles, France

シリーズ名:

ESA SP

シリーズ巻号:

699

発行年:

2012

総ページ数:

6

出版情報:

Noordwijk, The Netherlands: ESA Communications

ISSN:

1609042X

ISBN:

9789290922636 [929092263X]

言語:

英語

請求記号:

E11690/699

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00052826
シリーズID:	PA00000009
会議名:	IAASS Conference
回次:	5th
会議開催地:	Versailles, France
会議開催年:	2011.10.17-2011.10.19
論文注記:	Safety Critical Software Design and IVV - Part I

類似資料:

1 国際会議録 Results from an Independent View on The Validation of Safety-Critical Space Systems N. Silva, R. Lopes, A. Esper, R. Barbosa ESA Communications	7 国際会議録 Safety Analysis and Risk Assessment for Pressure Systems Boris Blyukher American Society of Mechanical Engineers
2 国際会議録 Generic and Extendable Reliability Prediction Methodology for Complex Critical Systems N. Silva, R. Lopes, A. Esper, R. Barbosa ESA Communications	8 国際会議録 Safety Analysis and Risk Assessment for Pressure Systems American Society of Mechanical Engineers
3 国際会議録 Reliability Prediction Analysis: Airborne System Results and Best Practices N. Silva, R. Lopes ESA Communications	9 国際会議録 Cold Safety Risk Assessment of Existing Bimetallic Demethanizers Messinger, John R., Findlay, Matt American Institute of Chemical Engineers
4 国際会議録 Static Analysis Tools, a Practical Approach for Safety-Critical Software Verification R. Lopes, D. Vicente, N. Silva ESA Communication Production Office	10 国際会議録 PROBABILISTIC RISK ASSESSMENT MODEL DEVELOPMENT, PROGRAMMATIC IMPLEMENTATION & APPLICATIONS IN SYSTEM SAFETY R. J. Haines ESA Communication Production Office
5 国際会議録 Multicore Systems: Challenges for Creating a Representative Fault Model for Fault Injection N. Silva, R. Barbosa, A. Lanzaro ESA Communications	11 国際会議録 From Hazard Analysis to Safety Risk Assessment and Further - The New European Space Standards on Hazard Analysis and Safety Risk Assessment Tuominen, R. ESA Publications Division
6 国際会議録 A Guide to the Application of Probability Risk Assessment Methodology and Hazard Risk Frequency Criteria as a Hazard Control for the Use of the Mobile Servicing … O. D'silva, R. Kerrison ESA Communications	12 テクニカルペーパー Safety and Risk-Based Design in Complex Systems-of-Systems Leveson,N., Dulac,N. American Institute of Aeronautics and Astronautics

1

2

3

4

5

6

7

8

9

10

11

12