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

• Antragsteller: Professor Dr.-Ing. Horst Meier
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1997 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen
• Beteiligte Person: Professorin Dr.-Ing. Monika Heiner