Browsing by Keyword "Assurance cases"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Guiding assurance of architectural design patterns for critical applications(2020-11) Šljivo, Irfan; Uriagereka, Garazi Juez; Puri, Stefano; Gallina, Barbara; Tecnalia Research & InnovationDevelopment of critical systems nowadays is hardly achievable without reuse of previous knowledge. Design patterns have an important role in the design of such systems as they define and document common solutions to recurring design problems. However, critical systems such as those that are safety or security related, often require specific assurances that the system is adequate to operate in a given environment. Just as with any other reused knowledge in such systems, the reuse via application of design patterns needs to be assured every time. In this paper, we present a methodology for assuring the application of design patterns in critical domains. In particular, we enrich the design patterns template to support their further assurance. We define the aspects that should be tackled during the assurance of a design pattern application. We use the information specified in the design pattern template to guide the automated instantiation of the argumentation for each design pattern application in the system. We provide tool-support for our methodology in the context of the AMASS tool-platform and evaluate it in an automotive case study.Item Modelling and Certifying Safety for Cyber-Physical Systems: An Educational Experiment(Institute of Electrical and Electronics Engineers Inc., 2016-10-14) Larrucea, Xabier; Tecnalia Research & InnovationModelling and certifying safety systems are not straightforward activities, and they usually require a specific training and experience. The emergence of ISO26262 as a standard for the automotive sector is foreseen as a basic knowledge in the automotive sector. A special attention is required to these safety critical systems and to its related standards. This paper provides a controlled experiment carried out in classroom for teaching and learning safety principles by using Opencert tool.