Abschlussarbeit - Auswahl und prototypische Anwendung einer Spezifikationsmethode für ein reaktives eingebettetes System

Gemeinsam machen wir den Unterschied

Siemens Mobility ist ein eigenständig geführtes Unternehmen der Siemens AG und seit über 160 Jahren ein führender Anbieter im Bereich Mobilität. Zu unserem Kerngeschäft gehören Schienenfahrzeuge, Bahnautomatisierungs- und Elektrifizierungslösungen, schlüsselfertige Systeme sowie die dazugehörigen Serviceleistungen. Wir waren schon immer sehr innovativ, um Reisen schneller, sicherer und komfortabler zu machen. Heute brauchen wir neue Lösungen für neue Herausforderungen wie den Klimawandel und weltweit steigende Bevölkerungszahlen. Das ist es, was uns antreibt. Deshalb gestalten wir Mobilität mit Leidenschaft und sind immer einen Schritt voraus. Durch Digitalisierung machen wir Infrastrukturen intelligent und schaffen Möglichkeiten, die uns nachhaltig und nahtlos von A nach B bringen. Unsere 39.800 Mitarbeitenden sind Pioniere im Mobilitätswesen, die dabei helfen, die Welt in Bewegung zu halten.

Die Spezifikation des Systems ist die Grundlage für unsere Entwicklung. Auf dieser Grundlage

• werden Tests abgeleitet,
• wird die Sicherheit des umgebenden Systems nachgewiesen, in dem unser System operiert,
• wird geprüft, ob unsere Produkteigenschaften für eine Ausschreibung geeignet sind, und was wir ggf. anpassen müssen.

Wir wollen prüfen, inwieweit sich ein Umstieg auf ein mehr formales Spezifikationsverfahren lohnt.

Dazu wollen wir in einem ersten Schritt die uns nach heutigem Stand von Forschung und Technik zu erwartende Komplexität und die Möglichkeiten und Chancen evaluieren

Was trägst Du bei?

Im Rahmen Deiner Arbeit erledigst Du folgende Aufgaben:

• Suche und begründete Auswahl einer bestehenden textuellen Spezifikationsmethode (Domain Specific Language oder Framework in einer bewährten Programmiersprache).
• Prototypisch Teilaspekte des Systems Zub222c mit der Auswahl spezifizieren und die Spezifikation anwenden, z.B. zur Testfallgenerierung oder zum Nachweis von Systemeigenschaften.
• Prüfung der Praktikabilität der Spezifikationsmethode für den täglichen Einsatz.

Was bringst Du mit?

• Du studierst in einem Studiengang im Bereich Informatik oder einer ähnlichen Fachrichtung.
• Du hast bereits Kenntnisse von Syntax und Semantik / Spezifikationsmethoden.
• Idealerweise hast Du Kenntnisse mehrerer imperativer Sprachen und Kenntnisse funktionaler Programmierung (z.B. Haskell, OCaml, …).
• Kenntnisse von maschinellem Beweisen sind von Vorteil.
• Du bringst gute Deutsch- und Englischkenntnisse mit.

Du kannst die Arbeit auf Deutsch, Englisch oder zweisprachig verfassen. Falls Du vorab ein Pflichtpraktikum absolvieren möchtest, ist dies nach Absprache ebenso möglich.

Was bieten wir Dir?

Inklusion & Vielfalt

Bei Siemens Mobility setzen wir uns gegen Ungerechtigkeit und Ungleichheit ein. Bei uns findest Du ein Umfeld vor, in dem Du Du selbst sein kannst und dazugehörst.

Purpose

Wir sind Pioniere der Mobilität. Bei uns trägst Du in einem Zukunftsmarkt aktiv zu Verkehrswende und Klimaschutz bei, weil unsere Transportlösungen in aller Welt den CO2-Ausstoß verringern.

Mobiles Arbeiten /Remote Working

Bei uns hast Du die Möglichkeit, hybrid zu arbeiten. Das bedeutet, dass Du zu einem erheblichen Anteil mobil tätig sein kannst. Dies haben wir durch eine Betriebsvereinbarung offiziell geregelt.

Eine Übersicht über unsere Benefits findest Du hier.

Wie trittst Du mit uns in Kontakt?

www.siemens.de/mobility
wenn Du vor Deiner Bewerbung mehr über Siemens Mobility erfahren möchtest.
www.siemens.com/de/de/unternehmen/jobs/faq.html
wenn Du Informationen rund um das Thema Bewerbung mittels unseres FAQ’s einholen möchtest.
+49 (9131) 17 5243-0
wenn Du über unsere Bewerberhotline weitere Fragen zur Stelle klären möchtest.
www.siemens.com/mobility-jobs
wenn Du mehr Informationen zu Jobs & Karriere bei Siemens erhalten möchtest.

Wir legen Wert auf Chancengleichheit und freuen uns über Bewerbungen von Menschen mit Behinderung.

Ansprechpartner für diese Stellenausschreibung ist Frau Julia Greff.