(19)
(11) EP 2 411 878 A1

(12)

(43) Veröffentlichungstag:
01.02.2012  Patentblatt  2012/05

(21) Anmeldenummer: 10711561.0

(22) Anmeldetag:  11.03.2010
(51) Internationale Patentklassifikation (IPC): 
G05B 19/05(2006.01)
G06F 9/45(2006.01)
 G06F 11/36(2006.01)
(86) Internationale Anmeldenummer:
PCT/EP2010/001503
(87) Internationale Veröffentlichungsnummer:
WO 2010/108594 (30.09.2010 Gazette  2010/39)
(84) Benannte Vertragsstaaten:
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO SE SI SK SM TR

(30) Priorität: 27.03.2009 DE 102009014698

(71) Anmelder: ABB AG
68309 Mannheim (DE)

(72) Erfinder:
  • NEUPÄRTL, Heinrich
    68623 Lampertheim (DE)
  • HÖRNICKE, Mario
    76829 Landau (DE)
  • GRAMBERG, Oliver
    8002 Zürich (CH)
  • DRATH, Rainer
    64683 Einhausen (DE)
  • VERYHA, Yauheni
    68161 Mannheim (DE)

   


(54) SYSTEM UND VERFAHREN ZUR AUTOMATISCHEN PRÜFUNG EINES PROGRAMMS FÜR SICHERHEITSGERICHTETE AUTOMATISIERUNGSSYSTEME