Weiterentwicklung von OpenSSL.NET als Schnittstelle zwischen der freien OpenSSL-Bibliothek und dem .NET Framework für den Einsatz in Smart Metering Systemen

[s.c.]

Theaterspielflow bei Laiendarsteller/innen am Beispiel der Bürgerbühne Dresden

[s.c.]

Methodenentwicklung zur Verknüpfung von Sicherheitsuntersuchungen und CAD

Safety and CAD, HAZOP, safety optimization

Technologische Erfordernisse beim Aluminium-Dünnwand-Kokillengießen

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2010

Diskrete Untersuchung des Aufheizverhaltens von Partikelschüttungen

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2013

Factory Acceptance Test des Prozessleitsystems PCS 7 und Anlagenfeld Simulation mit WinMOD

Das Prozessleitsystem PCS 7 beinhaltet softwaretechnische Lösungen für alle Hierarchieebenen der industriellen Automatisierung von der Unternehmensleitebene bis zur Anlagenfeldebene. Mit der Simulationssoftware WinMOD können Komponenten,Signale und Prozesse einer Industrieanlage nachgebildet werden. Zudem bietet WinMOD Schnittstellenlösungen für gängige Speicherprogrammierbare Steuerungen und eignet sich somit für den Factory Acceptance Test (FAT) von Prozessleitsystemen. Die FATs sollen sich hauptsächlich auf die Überprüfung von Signaladressierungen und von Ursache und Wirkung konzentrieren. Im Rahmen der vorliegenden Arbeit wurden ausgewählte PCS 7–Projekte untersucht und auf deren Grundlage Aussagen getroffen wie zukünftig Simulationen effektiv erstellt werden können. Hierzu wurden mithilfe von WinMOD Simulationsmodule angelegt - welche reale Komponenten des Anlagenfeldes ersetzen – , ihr Aufbau beschrieben und in einer Bibliothek zusammengefasst. Im Anschluss wird auf die Verwendung der Bibliothek für verschiedene Anwendungsfälle eingegangen und eine Lösung präsentiert, welche das Erstellen einer Simulation für spezifische Projekte optimiert. Das Ergebnis zeigt auf, dass WinMOD sowohl neue Möglichkeiten der Durchführung für einen FAT liefert, wobei die Simulationserstellung nur einen geringen Mehraufwand bedeutet und sich die Durchführung der Simulation ergonomischer und kürzer gestaltet.

Robuste Implementierung von Vektoroperationen

Das Thema „Robuste Implementierung numerischer Vektoroperationen“ ist Gegenstand dieser Bachelorarbeit. Um numerische Vektoroperationen robust implementieren zu können, muss man einen Code schreiben. Darin sollten nicht nur die Fehler der Vektoroperationen getestet, sondern auch eine Begrenzung der eingegebenen und ausgegebenen Werte entworfen werden. Die erste Aufgabe ist der Entwurf der Vor- und Nachbedingung in der Programmierumgebung Spark. SPARK ist eine formal definierte Computerprogrammiersprache basierend auf der Ada Programmiersprache. Sie ist eine Softwareentwicklungstechnologie, die mit hoher Zuverlässigkeit konzipiert wurde. Allgemein gesagt, die Aufgaben in dieser Arbeit sind folgendermaßen: 1. Entwurf und Programmierung der Vor- und Nachbedingung im Spark2. Entwurf und Programmierung der Testprogramm für alle Vor- und Nachbedingungen. Als Lösungskonzept soll in der Aufgabe eine Bibliothek über den Test der numerischen Vektoroperationen entwickelt werden. Zuerst muss man alle Vektoroperationen kennen. Der nächste Schritt ist die Analysierung der potenziellen Fehler bei den Vektoroperationen. Hier ist eine mathematische Analyse sehr wichtig. Mit Hilfe der mathematischen Grundlagen kann der Plan für den Entwurf der Vor- und Nachbedingung umgesetzt werden. Danach erfolgt der Entwurf der Hilfsfunktionen für die Vor- und Nachbedingung. Mit Hilfe der Verwendung der Hilfsfunktion in der Spezifikationsdatei können Fehler vermieden werden und die Codes bleiben sauber. Am Ende erfolgt die Programmierung aller Vor- und Nachbedingungen für alle Vektoroperationen.