Suche in nationalen und internationalen Patentsammlungen

1. (WO2015139755) VERFAHREN UND ENGINEERINGSYSTEM ZUM VERIFIZIEREN EINES AUTOMATISIERUNGSPROGRAMMS

Pub. No.:    WO/2015/139755    International Application No.:    PCT/EP2014/055624
Publication Date: Fri Sep 25 01:59:59 CEST 2015 International Filing Date: Fri Mar 21 00:59:59 CET 2014
IPC: G06F 11/36
Applicants: SIEMENS AKTIENGESELLSCHAFT
Inventors: NEUHÄUSSER, Martin Richard
TRENNER, Thomas
REICHARDT, Sylvia
Title: VERFAHREN UND ENGINEERINGSYSTEM ZUM VERIFIZIEREN EINES AUTOMATISIERUNGSPROGRAMMS
Abstract:
Das Verifizieren von Automatisierungsprogrammen soll effizienter gestaltet werden. Dazu wird vorgeschlagen, eine prädikatenlogische erste Formel (Ψ) des Automatisierungsprogramms (PRO) und eine prädikatenlogische zweite Formel (¬ß) von unerwünschtem Verhalten des Automatisierungssystems zu ermitteln und diese beiden Formeln zu einer Gesamtformel UND- zuverknüpfen. Die Gesamtformel wird dann auf Wahrheit untersucht. Zum Ermitteln der ersten Formel (Ψ) wird ein Graphenmodell von Instruktionen (*) des Automatisierungsprogramms herangezogen und für jeden Programmschritt in der ersten Formel werden nur diejenigen Instruktionen berücksichtigt, die anhand des Graphenmodells in dem jeweiligen Programmschritt überhaupt erreichbar sind.