Wyniki wyszukiwania dla: EVIDENCE-BASED ARGUMENT, ASSURANCE CASE, CONFORMANCE CASE, TOOL SUPPORT

• 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

• Challenges in providing support for management of evidence-based arguments

  Publikacja

  • J. Górski
  • A. Jarzębowicz
  • J. Miler
  • A. Wardziński

  - Rok 2014

  The paper considers selected challenges related to the application of evidence based arguments and maps them on the tool support level. In particular, we consider: communication and teamwork, handling large arguments, evidence management and integration, argument assessment and communication, change control and reporting, evidence reuse, user data security and argument portfolio management. Then we explain how these challenges...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Assurance Case Patterns On-line Catalogue

  Publikacja

  • M. Szczygielska
  • A. Jarzębowicz

  - Rok 2017

  Assurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...

  Pełny tekst do pobrania w portalu

• Representing Process Characteristics to Increase Confidence in Assurance Case Arguments

  Publikacja

  • A. Jarzębowicz
  • S. Markiewicz

  - Rok 2019

  An assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...

  Pełny tekst do pobrania w portalu

• Kazimierz Darowicki prof. dr hab. inż.

  Osoby

  Katedra Korozji i Elektrochemii

             Studia wyższe ukończyłem w czerwcu 1981 roku po zdaniu egzaminu dyplomowego i obronie pracy magisterskiej. Opiekunem pracy magisterskiej był dr hab. inż. Tadeusz Szauer. W roku 1991, 27 listopada uzyskałem stopień naukowy broniąc pracę doktorską zatytułowaną „Symulacyjna i korelacyjna analiza widm immitancyjnych inhibitowanej reakcji elektrodowej”. Promotorem pracy był prof. dr hab. inż. Józef Kubicki (Wydział Chemiczny...

• Supporting compliance with safety standards by trust case templates

  Publikacja

  • Ł. Cyra
  • J. Górski

  - Rok 2007

  Standard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...

• Jaroslaw Spychala dr

  Osoby

  Oprócz bardzo dobrego wykształcenia osoba posiada również wieloletnie doświadczenie zawodowe, które jest poświadczeniem tego, że potrafi wykorzystać swoją wiedzę teoretyczną w praktycznych działaniach. Doświadczenie zawodowe jest bardzo bogate i rozbudowane. Ze względu na nabyte całkiem nowe umiejętności zwiększa się atrakcyjność doświadczonego pracownika. Są to między innymi kreatywne myślenie, zorientowanie na cel, odporność...

• Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges

  Publikacja

  • J. Górski

  - Ada User Journal - Rok 2019

  The article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them

  Pełny tekst do pobrania w portalu

• Uniform Model Interface for Assurance Case Integration with System Models

  Publikacja

  • A. Wardziński
  • P. Jones

  - Rok 2017

  Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...

  Pełny tekst do pobrania w portalu

• Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges

  Publikacja

  • J. Górski

  - ACM SIGAda Ada Letters - Rok 2021

  The presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.

  Pełny tekst do pobrania w serwisie zewnętrznym