Andrzej Wardziński

Author Archives

  • MASCA workshop at SAFECOMP 2023

    Argevide is involved in the organization of the International Workshop on Modular Argumentation to Support Device Conformity Assessment (MASCA) which will be held on 19 September at SAFECOMP conference. With growing complexity of the systems also related assurance tasks become more complex and time-consuming. One way to tackle this challenge is to modularize the assurance […]

  • Continuous tracking of the assurance case status

    As the saying goes ‘it is about the journey, not the destination’. For us this also applies to assurance cases. They are dynamic objects which evolve in the system life cycle. What is important is the way how you manage the status and changes of the argument and the evidence to finally get and maintain […]

  • NUG meeting: Managing issues in assurance case development

    Assurance case development is not a trivial process. It involves several steps, firstly, to define the right goals and context, then to develop convincing line of reasoning and to collect valid supporting evidence. Many issues of unconvincing or bad structured argument, unsupported claims, incomplete or outdated evidence have to be resolved to produce a strong […]

  • Modular arguments

    You can divide argumentation in NOR-STA into smaller chunks to manage complexity, distribute ownership, separate issues or reuse shared topics. Many standards overlap and have some common requirements. When you divide your argument into modules which cover separate topics you can easily reuse the modules to achieve conformance with other standards. You can also use […]

  • Reuse with templates

    Conformance and assurance cases often contain common parts that relate to specific goals, system levels or types of requirements. Templates support their reuse. Argument templates in NOR-STA allow to: ‒ reuse of argument by creating of template, ‒ argument synchronization with the current template version, ‒ cascading templates (templates for templates), ‒ connecting an argument […]