Entwicklung von Methoden und Werkzeugen zur sicherheitstechnischen Zertifizierung von SPS-Anwenderprogrammen

• Applicant: Professor Dr.-Ing. Horst Meier
• Subject Area: Theoretical Computer Science
• Term: from 1997 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5363483

Sowohl Hard- als auch und Software von speicherprogrammierbaren Steuerungen unterliegen besonderen Anforderungen beim Einsatz in sicherheitskritischen Bereichen der Industrie, der Wirtschaft und des täglichen Lebens. Der vorliegende Projektantrag ist vor allem auf das Gebiet der rechnerbasierten Zertifizierung von Steuerungsprogrammen gerichtet. Ziel ist es, eine duchgängige methodische und werkzeugunterstützte Tchnologie anzubieten, die auf die speziellen Anforderungen und Gepflogenheiten von spreicherprogrammierbaren Steuerungen zugeschnitten ist und somit reale Chancen für eine hohe Nutzerakzeptanz hat....

• DFG Programme: Research Grants
• Participating Person: Professorin Dr.-Ing. Monika Heiner