Automatic Verification of Timing Constraints for Safety Critical Space Systems

Automatic Verification of Timing Constraints for Safety Critical Space Systems

著者名:

掲載資料名:

Proceedings of DASIA 2015 : DAta Systems In Aerospace : 19-21 May 2015 Barcelona, Spain

シリーズ名:

ESA SP

シリーズ巻号:

732

発行年:

2015

総ページ数:

8

出版情報:

Noordwijk: ESA Communications

ISSN:

1609042X

ISBN:

9789292212964 [9292212966]

言語:

英語

請求記号:

E11690/732 [CD-ROM]

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00053471
シリーズID:	PA00000009
会議名:	DASIA
回次:	2015
会議開催地:	Barcelona, Spain
会議開催年:	2015.05.19-2015.05.21
論文注記:	DASIA 2015 - DAta Systems In Aerospace, 19-21 May 2015 Barcelona, Spain. Session B9: Processing Timing Analysis & Control

類似資料:

1 国際会議録 Survivability Management for Integrated Modular Safety - Critical Space Systems G. Montano, J. McDermid ESA Communication Production Office	7 国際会議録 Fiber gratings for dispersion compensation in a 10-Gbit/s IM-DD semiconductor laser system Garcia-Fernandez,P., Ania-Castanon,J.D., Sanchez-Diaz,A., Soto-Crespo,J.M. SPIE - The International Society for Optical Engineering
2 国際会議録 Synaptosomal Bioenergetics and the Mechanism of Amino Acid Transmitter Release Nicholls D., Sanchez-Prieto J. Springer-Verlag	8 国際会議録 A Testing Framework for Critical Space SW I. Fernandez, A. Di Cerbo, E. Dehnhardt ESA Communications
3 国際会議録 Static and Dynamic Verification of Critical Software for Space Applications F. Moreira, R. Maia, D. Costa, N. Duro, P. Rodríguez-Dapena ESA Publications Division	9 国際会議録 "STATISTICAL THERMODYNAMICS AND CRITICAL BEHAVIOR OF MAGNETIC MULTILAYERS" CENEDESE P., SANCHEZ M. J. Kluwer Academic Publishers
4 国際会議録 Automatic Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes Jinkyung Kim, Younghee Lee, Il Moon American Institute of Chemical Engineers	10 国際会議録 Boric acid delays senescence of cut carnation flowers Ben Amor, M., Martinez Solano, J.R., Amouriq, L., Fernandez Parra, P., Romojaro, F. IOS Press
5 国際会議録 Automatic Generation of Dynamic Event Trees: A Tool for Integrated Safety Asssessment (ISA) Izquierdo J. M., Hortal J., Sanchez M., Melendez E. Springer-Verlag	11 国際会議録 Implementing Safety Critical Systems with Multiple Levels of Integrity Totel, E., Deswarte, Y., Powell, D., Blanquart, I.P. ESA Publications Division
6 国際会議録 Data-fusion experience: from industrial visual inspection to space remote-sensing applications Bruzzone, L., Prieto, D. Fernandez, Vernazza, G. ESA Publications Division	12 国際会議録 Earth Observation and Cryosphere Science: The Way Forward D. Fernández-Prieto, A. Hogg, J. Bamber ESA Communications

1

2

3

4

5

6

7

8

9

10

11

12