Wyniki wyszukiwania dla: dowod bezpieczenstwa

• Safety assurance strategies for autonomous vehicles

  Publikacja

  • A. Wardziński

  - Rok 2008

  Assuring safety of autonomous vehicles requires that the vehicle control system can perceive the situation in the environment and react to actions of other entities. One approach to vehicle safety assurance is based on the assumption that hazardous sequences of events should be identified during hazard analysis and then some means of hazard avoidance and mitigation, like barriers, should be designed and implemented. Another approach...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Supporting Assurance by Evidence-based Argument Services

  Publikacja

  • J. Górski
  • A. Jarzębowicz
  • J. Miler
  • M. Witkowicz
  • J. Czyżnikiewicz
  • P. Jar

  - Rok 2012

  Structured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...

  Pełny tekst do pobrania w portalu

• Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.

  Publikacja

  • J. Górski
  • A. Jarzębowicz
  • R. Leszczyna
  • J. Miler
  • M. (. Olszewski

  - Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne - Rok 2003

  Artykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...