Студопедия

Главная страница Случайная лекция


Мы поможем в написании ваших работ!

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика



Мы поможем в написании ваших работ!




Перечень ссылок

Читайте также:
  1. IV. Перечень основных целей и обязанностей руководящих сотрудников Клуба
  2. IV. ПЕРЕЧЕНЬ ПРАКТИЧЕСКИХ ЗАНЯТИЙ
  3. Использование трехмерных ссылок
  4. О функции просмотра и ссылок
  5. Перечень вопросов для подготовки к зачету
  6. Перечень вопросов для подготовки к экзамену
  7. ПЕРЕЧЕНЬ ВОПРОСОВ ДЛЯ ПОДГОТОВКИ К ЭКЗАМЕНУ
  8. ПЕРЕЧЕНЬ ВОПРОСОВ К ЗАЧЕТУ ПО ПРАКТИКЕ
  9. перечень вопросов к зачёту
  10. Перечень вопросов, разрешаемых судебно-психологической экспертизой по преступлениям несовершеннолетних

1. Харченко В.С. Анализ рисков для ракетно-космической техники: эволюция причин и тенденций / В.С.Харченко, В.В. Скляр, О.М. Тарасюк // Радіоелектронні і комп’ютерні системі. – 2003. – Вып.3. – С. 139-149.

2. Харченко В.С. Безопасность аэрокосмической техники и надёжность компьютерных систем. – 2004. - №1(9). – С. 66-80.

3. Аджиев В. Мифы о безопасности ПО / В. Аджиев // Открытые системы. – 1999. - №6. – С. 3-23.

4. Скляр В.В. Инструментальные средства для статического анализа программного обеспечения: принципы применения, оценки и выбора. – 2006. – Т.28, №2. – С.29-41.

5. Ястребнецкий М.А. Безопасность атомных станций: Информационные и управляющие системы. – К.: Техника, 2004. – 472с.

6. Зегжда Д.П. Основы безопасности информационных систем / Д.П. Зегжда, А.М. Ивашко. – М.: Горячая Линия – Телеком, 2000. – 452 стр.

7. Харченко В.С. Методы моделирования и оценки качества и надежности программного обеспечения / В.С.Харченко, В.В. Скляр, О.М. Тарасюк. – Х.: ХАИ, 2004. – 159 с.

8. Bishop, P.G. A Methodology for Safety Case Development [Text] / P.G Bishop, R.E. Bloomfield // Industrial Perspectives of Safety-critical Systems Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998. -Springer-Verlag. - 1998. - P. 194 - 203.

9. Bishop, P.G. The future of goal-based assurance cases [Text] / P.G. Bishop R.E. Bloomfield, A.S.L, Guerra // Workshop on Assurance Cases: Supplementa Volume of the 2004 International Conference on Dependable Systems and Networks June 2004. - Florence, 2004. - P. 390 - 395.

10. Bishop, P.G. The SHIP Safety Case [Text] / P.G. Bishop, R.E. Bloomfield , SafeComp 95, 14th IF AC Conf. Computer Safety, Reliability and Security proceedings. - Belgirate, 1995. - P. 437 – 451.

11. ASCAD - Adelard Safety Case Development Manual [Text] / R.E. Bloomfiel< P.G. Bishop, C.C.M. Jones, P.K.D. Froome. - Adelard, ISBN 0-9533771-0-5. - Londoi Adelard, College Building, Northampton Square, 1998. - 164 p.

12. Kelly, T.P. Arguing Safety - A Systematic Approach to Managing Safe Cases. PhD thesis / Timothy Patrick Kelly // PhD thesis, Department of Compul Science, The University of York. - York, 1998. - 341 p.

13. Hawkins, R. Software safety assurance - what is sufficient [Text] / R. Hawkins, T. Kelly // 4th IET International Conference on System Safety: proceedings. -London, 2009. - 6 p.

14. Habli, I. Software safety: relating software assurance and software integrity [Text] / I. Habli, R. Hawkins, T. Kelly // International Journal of Critical Computer-Based Systems. - 2010. - Vol 1, №4. - P. 364-383.

15. Скляр В.В. Оценка качества и экспертиза программного обеспечения. Лекционный материал / Под ред. Харченко B.C. - Министерство образования и науки Украины, Национальный аэрокосмический университет им. Жуковского Н.Е. «ХАИ», 2008. - 204 с.

16. Vyacheslav Kharchenko. Safety Case-Oriented Assessment of Critical Software: Several Principles and Elements of Techniques. / Vyacheslav Kharchenko, Kateryna Netkachova, Vladimir Sklyar, Alexander Siora, Anton Andrashov //Monographs of System Dependability. Dependability of Networks, Wroclaw, OWPW, 2010. P. 11-25.

17. Поморова O.B. Оцшювання результат!в проектування та прогнозування характеристик якост! програмного забезпечення / Поморова О.В<,, Говорущенко Т.О., Онищук О.С. // В1сник Хмельницького национального ун!верситету -Хмельницький: ХНУ, 2011 - №2, с.168-178.

18. Р W Ball. Preparation of Fully Developed Safety Cases in Response to the Nil Safety Audit / P W Ball // The Nuclear Engineer, Vol. 30, No. 2, pp. 34-40, 1989.

19. Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения / Под ред. Харченко В .С – Мининстерство образования и науки Украины, Национальный аэрокосмическй университет им, Н.Е. Жуковского «ХАИ», 2011. - 641 с.

20. F Redmill (eds). Dependability of Critical Computer Systems - 1 and 2, Elsevier Applied Science, ISBN 1 85166-203-0 and ISBN 1 85166-389-1

21. Defences against common-mode failures in redundancy systems / A J Bourne, G T Edwards, D M Hunns, D R Poulter, I A Watson. - UKAEA Safety and Reliability Directorate, 1981.

22. Advisory Council on Applied Research and Development, "Software: A vital key to UK competitiveness", HMSO 1986.

23. The Institution of Electrical Engineers and the British Computer Society, "Software in Safety Related Systems", IEE October 1989.

24. U.K. Health and Safety Executive. "Programmable electronic systems in safety related applications" 1987.

25. International Electrotechnical Commission, "Functional Safety of Electrical Electronic, and Programmable Electronic Safety Related Systems", IEC 61508, Parts 1 to 7, 1998 to 2000, Geneva, Switzerland.

26. International Electrotechnical Commission, IEC 61511 standard: Functional safety - safety instrumented systems for the process industry sector, Parts 1 to 3, 2003 Geneva, Switzerland.

27. UK Ministry of Defence Draft Interim Def-Stan 00-55, The procurement o: safety critical software in defence equipment, 1989.

28. Brazendale, "IEC 1508: Functional Safety: Safety-Related Systems," ISESS pp.8-17, Proceedings of the 2nd IEEE Software Engineering Standards Symposium 1995.ISBN:0-8186-7137-8.

29. BS EN 292 Safety of Machinery - Basic Concepts, General Principles for Design. Parts I & II. 1991.

30. RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc.,Washington, D.C, 1992.

31. The SHIP project (ref. EV5V 103), SHIP - Assessment of the Safety of Hazardous Industrial Processes in the Presence of Design Faults, http://wwwxsr.city. ac.uk/projects/ship/ship.html

32. Directorate of Standardization. Requirements for safety related software in defence equipment (part land 2). Defence Standard 00-55, Ministry of Defence, Glasgow, UK, August 1997. Issue 2.

33. Def Stan 00-42 Reliability and Maintainability Assurance Guides Part 2: Software, Issue 1. September 1997.

34. Adelard LLP, Exmouth House 3-11 Pine Street, London, http://www.adelard.com.

35. Centre for Software Reliability (CSR), Northampton Sqare, London, United Kingdom. http://www.city.ac.ukyinformatics/school-organisation/centre-for-software-reliability.

36. Generic Test Bench - Generic Validation and Certification Support for DECOS based applications / DECOS Dependable Embedded Components and Systems - 2006.

37. T. Kelly A Systematic Approach to Safety Case Management / T. Kelly // SAE International 04АЁ-149. - 2003.

38. Draft GSN Standard, version 1.0 / York University, 2010.

39. Wilson, S., Kirkham, P. Safety Argument Manager (SAM) User ManuaL // University of York, York/ December 1995.

40. Cyra A Method of Trust Case Templates to Support Standards Conformity Achievement and Assessment / L. Cyra, 2008.

41. The Adelard Safety Case Editor ASCE, http://www.adelard.co<uk/software/asce/indexthtml.

42. Assurance and Safety Case Environment (ASCE) Help Manual, version 4.1. - 2011.

43. Полонников Р.И. Методы оценки показателей надежности программного обеспечения / Полонников Р.И., Никандров А.Вв - СПб.: Политехника, 1992.- 78 с.

44. ASCAD Adelard Safety Case Development Manual / Adelard, 2010.

<== предыдущая страница | следующая страница ==>
Общая и частные задачи работы | АНАЛИЗ РИТМИЧНОСТИ ВЫПУСКА ПРОДУКЦИИ

Дата добавления: 2014-09-01; просмотров: 388; Нарушение авторских прав



Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.005 сек.