Sökning: "Automated Compliance Checking"

Hittade 3 avhandlingar innehållade orden Automated Compliance Checking.

  1. 1. Facilitating Automated Compliance Checking of Processes against Safety Standards

    Författare :Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Rory O'Connor; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Safety Standards Formalization; Safety Processes; Computer Science; datavetenskap;

    Sammanfattning : A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. LÄS MER

  3. 2. A Safety-centered Planning-time Framework for Automated Process Compliance Checking

    Författare :Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Ricardo Colomo Palacios; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Process Reference Models; Industry Standards; Formal Contract Logic; SPEM 2.0.; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical systems, whose failure could lead to catastrophic consequences, are everywhere. Not only environments with high-risk functions, e.g., nuclear power plants, are safety-critical systems. LÄS MER

  4. 3. Efficiency and Automation in Threat Analysis of Software Systems

    Författare :Katja Tuma; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Secure Software Design; Security Compliance; Threat Analysis Modeling ; Secure Software Design; Threat Analysis Modeling ; Automation; Security Compliance;

    Sammanfattning : Context: Security is a growing concern in many organizations. Industries developing software systems plan for security early-on to minimize expensive code refactorings after deployment. In the design phase, teams of experts routinely analyze the system architecture and design to find potential security threats and flaws. LÄS MER