V Sklyar, V Kharchenko - … and Computers in Sciences and in …, 2016 - ieeexplore.ieee.org
… Assurance (Security and Safety) Case methodology contains a potential for improvement … set of AssuranceCasebased techniques and tools as AssuranceCaseDrivenDesign (AC …
… Assurance (Security and Safety) Case methodology contains a potential for improvement … set of AssuranceCasebased techniques and tools as AssuranceCaseDrivenDesign (AC …
… to prove critical systems and software compliance with … AssuranceCaseDrivenDesign (AC DD) to improve cost-effectiveness of certification and licensing processes. AC DD is based …
S Kokaly - … International Conference on Software Engineering …, 2017 - ieeexplore.ieee.org
… model drivenengineering and regulatory compliance, and explore how to use MM techniques to address software … is related to using model-basedapproaches to aid in compliance. We …
E Denney, G Pai - Automated Software Engineering, 2018 - Springer
… Then we describe an abstract safety assurance methodology and our process for safety casedevelopment, which will provide the context for how AdvoCATE will be used, and its …
V Sklyar, V Kharchenko - WSEAS transactions on computer research, 2016 - wseas.com
… Assurance (Security and Safety) Case methodology contains a potential for improvement … set of AssuranceCasebased techniques and tools as AssuranceCaseDrivenDesign (AC …
R Wei, Z Jiang, H Mei, K Barmpis… - … -Aided Design of …, 2023 - ieeexplore.ieee.org
… basedapproaches … assurancecaseusing ACME, and apply our approach for traceability and automated evaluation with CNL. The AUV is a portable untethered Remotely Operated …
D Nešić, M Nyberg, B Gallina - Journal of Systems and Software, 2021 - Elsevier
… novel method for product-line assurance-case … assurancecase scales with the complexity of system variants, instead with their number. The method is based on a contract-baseddesign …
… or it is not cost-effective to do so; software systems are often to be placed into uncertain … the role of assurancecases is to be the grand unifier for softwaredevelopment, focusing on …