Die produktunabhängige Berechnungssoftware PAScal dient der Verifikation funktionaler Sicherheit (EN/IEC 62061, EN ISO 13849-1). Basis für die Berechnung sind dabei…