Sökning: "Julieth Patricia Castellanos Ardila"

Hittade 2 avhandlingar innehållade orden Julieth Patricia Castellanos Ardila.

1. 1. 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

3. 2. 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