Dependability of Safety-Critical Computer Systems through Component-Based Evolution
暂无分享,去创建一个
Vyacheslav S. Kharchenko | Vladimir V. Sklyar | Alexandr Siora | V. Kharchenko | V. Sklyar | Alexander Siora
[1] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[2] B. M. DeBusk. Managing the reliability of COTS-based military systems , 1998, Annual Reliability and Maintainability Symposium. 1998 Proceedings. International Symposium on Product Quality and Integrity.
[3] Vyacheslav S. Kharchenko,et al. Scalable Diversity-Oriented Decisions and Technologies for Dependable SoPC-Based Safety-Critical Computer Systems and Infrastructures , 2008, 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX.
[4] G. G. Preckshot,et al. A proposed acceptance process for commercial off-the-shelf (COTS) software in reactor applications , 1996 .
[5] Jeffrey M. Voas. Maintaining Component-Based Systems , 1998, IEEE Softw..
[6] Wlodzimierz M. Zuberek,et al. Compatibility of Software Components - Modeling and Verification , 2006, 2006 International Conference on Dependability of Computer Systems.
[7] Vyacheslav Kharchenko,et al. FPGA-based NPP Instrumentation and Control Systems: Development and Safety Assessment , 2008 .