Reference number : 172-2022-2023-Q2-993964, amendment number : , agreement type : C, recipient legal name : Critical Systems Labs Inc., recipient country : CA, recipient province : BC, recipient city : Vancouver|Vancouver, recipient postal code : V6B 1G1, program name english : Industrial Research Assistance Program – Contributions to Firms, program name french : Programme d’aide à la recherche industrielle – Contributions aux entreprises, program purpose english : The purpose of IRAP Contributions to Firms is to support research, development, adoption and/or adaptation of innovative or technology-driven new or improved products, services or processes in Canada up to their commercialization, program purpose french : Le PARI, par le biais des Contributions aux entreprises, vise à appuyer la recherche, le développement, l’adaptation et/ou l’adoption au Canada de produits, de services ou de processus novateurs ou axés sur des technologies nouvelles ou améliorées, et ce jusqu’à leur commercialisation, agreement title english : Assurance Case Editor – Argumentation Patterns for Autonomous Systems, agreement title french : Editeur de cas d'assurance – Modèles d'argumentation pour les systèmes autonomes, agreement number : 993964, agreement value : 100000.0, agreement start date : 2022-08-01, agreement end date : 2023-07-31, description english : To develop new “argument patterns” that can be automatically applied suing software to improve reasoning about autonomous systems in developing assurance cases., description french : Produire de nouveaux « modèles d'argumentation » qui peuvent être appliqués automatiquement aux logiciels de poursuite pour améliorer le raisonnement sur les systèmes autonomes lors de l'élaboration de cas d'assurance., expected results english : The purpose of IRAP Contributions to Firms is to support research, development, adoption and/or adaptation of innovative or technology-driven new or improved products, services or processes in Canada up to their commercialization, expected results french : Le PARI, par le biais des Contributions aux entreprises, vise à appuyer la recherche, le développement, l’adaptation et/ou l’adoption au Canada de produits, de services ou de processus novateurs ou axés sur des technologies nouvelles ou améliorées, et ce jusqu’à leur commercialisation, additional information english : nan, additional information french : nan, owner organization : nrc-cnrc, owner organization title : National Research Council Canada | Conseil national de recherches Canada