Home | english  | Impressum | Sitemap | KIT
Konformität mittels formaler Logik
Typ:

Diplomarbeit

Links:
Betreuer:

Dipl.-Inform. Miriam Schleipen

Status:

abgeschlossen

Abgabedatum:

Mai 2011

Forschungsprojekt:

Produktionsleitsysteme

Wer wir sind?

Die Mitarbeiter des Bereichs Leitsysteme am Fraunhofer IOSB entwickeln Produktionsleitsysteme und Systeme zur Fertigungssteuerung für industrielle Auftraggeber. Mit diesem System steuern und überwachen z.B. DaimlerChrysler, ThyssenKrupp und andere namhafte Kunden ihre Produktionsanlagen.

Was Sie erarbeiten sollen?

AutomationML ist eine Initiative unter anderem der Daimler AG. AutomationML ist ein neutrales XML-Datenaustauschformat für die Anlagenplanung. Eine AutomationMLSzene besteht aus der CAEX (Computer Aided Engineering Exchange)-Topologie der Anlage/Zelle/Halle, der Collada-3D-Beschreibungen der einzelnen Szenenelemente (z.B. Roboter), sowie deren Verhaltensbeschreibungen in PLCOpenXML. Für eine AutomationML-Datei reicht es nicht aus, dass sie gegen die entsprechenden XML-Schemata validiert wird. Es gibt zahlreiche Zusatzbedingungen, die mittels formaler Logik abgebildet und in verschiedenen zu definierenden Testfällen abgeprüft werden müssen. Dies soll in der Arbeit erarbeitet werden.

Was Sie mitbringen?

Sie sind Maschinenbau-Student mit Schwerpunkt Produktions-/Fertigungstechnik oder Automatisierung und haben eine Affinität zur Informationstechnik; oder Sie sind Elektrotechnik- bzw. Informatik-Student und wollen Ihr Know-how in der produktionstechnischen Praxis einsetzen. Wenn darüber hinaus die folgenden Begriffe keine Fremdworte für Sie sind, um so besser:
  • Kenntnisse über XML, XML-Schemata, ...
  • Kenntnisse in C# (XML, ...)
  • Selbständiges und engagiertes Arbeiten, Teamorientierung und Interesse am Thema

Was wir Ihnen bieten?

Das volle Praxis-Know-how des täglichen Betriebs eines Leitsystems und theoretische Erfahrungen im Bereich Leitsysteme. Die Arbeit an einem brisanten, aktuellen Thema. Umfassende Hilfe bei der Einarbeitung und die Möglichkeit selbständig zu arbeiten und eigene Ideen einzubringen.