Zur Webseite der Informatik

Asim Abdulkhaleq

Dr. rer. nat. Akademischer Mitarbeiter

Anschrift Universität Stuttgart
Institut für Softwaretechnologie
Universitätsstraße 38
D-70569 Stuttgart
Deutschland
Telefon +49 711 685-88 458
Fax +49 711 685-88 380
E-Mail

Asim.Abdulkhaleq@informatik.uni-stuttgart.de

Raum 1.242
Sprechzeit nach Vereinbarung
Social Network LinkedIn Twitter Researchgate
Website www.xstampp.de

 

Arbeitsgebiete/Forschung

  • Safety Engineering for Software-Intensive Systems based on STAMP/STPA
  • System-Theoretic Dependability Engineering for Autonomous Vehicles 
  • Functional Safety ISO 26262 in the Automotive Domain
  • Safety-based Software Testing and formal Verification
  • Automated Driving Systems.

Program Committee Member and Journal Reviewing

Publikationen

Books

Conference & Workshop Papers

Journal and Magazine Papers

Invited talks

  • Abdulkhaleq, A. (2013): STPA in Automotive Domain Advanced Tutorial, STAMP Workshop Europe 2013, TU Braunschweig, Brauenschweig, Germany.
  • Abdulkhaleq, A. (2013): Applying STAMP/STPA approach to Software-Intensive Systems in the Automotive Domain, Vortrag beim Robert Bosch GmbH Workshop 2013, 23- March 2013, Stuttgart, Germany.

Organized Workshops

Developed Tools & Projekts

Grants & Awards

Theses

  • Ph.D Dissertation: Safety Engineering for Software-Intensive Systems, Supervised by Prof. Dr. rer. nat Stefan Wagner and Prof. Dr. Nancy Leveson, MIT, October 2012 - 06.02.2017.
  • Development of a conception for accessible human-machine-interaction of automation systems using patterns, Master thesis, Institute of Industrial Automation and Software Engineering, University of Stuttgart, Jan. 2012 [slides], Supervised by Prof. Dr.-Ing. Dr. h. c. P. Göhner.
  • Develop SMS Manager Query System by using computer networks through mobile, 
    B.SC Thesis, department of computer sciences, faculty of sciences, Sana'a University, 2005, Supervised by Dr. Ghalib al-Jaafari.

Lehre

Lehrveranstaltungen

Wintersemester 2017/2018

Sommersemester 2017

Wintersemester 2016/2017

Sommersemester 2016

Wintersemester 2015/2016

Sommersemester 2015

Wintersemester 2014/2015

Sommersemester 2014

Wintersemester 2013/2014

Sommersemester 2013

  • Übungen: Datenstrukturen und Algorithmen
  • Kunde für Studienprojekt A: Developing an Automated Tool Supporting a Systems-Theoretic Process Analysis (A-STPA)

Wintersemester 2012/2013

 


Liste bereits angefertiger Studienprojekte, Bachelorarbeiten-und Diplomarbeiten, Fachstudien

  1. Bachelorarbeit (Daimler):   Zwischenvortrag der Bachelorarbeit:Anwendung der STPA-Methodik auf ein Automobilsystem in Übereinstimmung mit der ISO 26262 (Sara Nasri hat am 07.12.2017 angefangen)
  2. Processanalyse: Review the application of STPA in compliance with ISO 26262 functional Safety (Tino Stadelmaier hat am 01.10.2017 angefangen) 
  3. Masterarbeit (ISW): Design und Implementation of an Architecture for Containerized Real-Time Control Applications (Jan Melcher hat am 29.09.2017 angefangen)
  4. Bachelorarbeit: Konzeption und Realisierung eines Anwendung zur Visualisierung von Ma-schinendaten (Matthias Strljic)(Abgeschlossen)
  5. Bachelorarbeit: A-CAST: Entwicklung eines Plugin-basierten Tools zur Unfallanalyse mit CAST (Causal Accident Analysis) (Martin Root) Abgeschlossen)
  6. Bachelor Thesis (Daimler AG): Entwicklung und Umsetzung eines Testkonzepts für die Vernetzung von Steuergeräten im Antriebsstrang (Jakob Benz finished 18.10.2017)
  7. Master Thesis (Vector): Ausarbeitung einer ressourceneffizienten Speicherverwaltung für einen Car2X Stack nach Wave Standard (Oliver Roehdanz hat am 03.11.2017 angefangen)
  8. Bachelor Thesis (adeso): Entwicklung eines Selbstfahrenden Softwaresimulators für das Autonome Fahren in Anki Overdrive (Sascha Zeller)
  9. Masterthesis (Robert Bosch): Development of a virtual Test Bench in a Co-Simulation Environment (Govind Balakrishnan hat am 03.11.2017 angefangen)
  10. Studienarbeit (Daimler): Konzeption und Entwicklung eines Systems zum automatisierten Koppeln von schweren Nutzfahrzeug-Anhänger-Kombinationen (Long Bui hat am 11.11.2017 angefangen)
  11. Master Thesis (ISW): Konzeption und Realisierung einer Cloud-Plattform zur Konfiguration und dem Deployment von Services (Vincent Link hat am 10.07.2017 angefangen)
  12. Master Thesis (ISW): Konzeption und Realisierung einer dynamischen Service Plattform zur Verbindung von internen und externen Komponenten (Eduard Marbach hat am 10.07.2017 angefangen)
  13. Master Thesis (Robert Bosch): Entwicklung einer Softwarearchitektur für das LKW-Platoning anhand von ausgewählten Use-Cases (Rainer Erban hat abgeschlossen)
  14. Master Thesis (Continental): Image-based estimation of the object kinematics for advanced driver assistance systems (Jose Marin hat abgeschlossen)  
  15. Fachstudie:ِ Analyse des Zugunfalls in Bad Aibling, Deutschland mit STAMP/CAST Ansatz (Roman Strecken, Hans Martin Berner und Melanie Schäfer haben angeschlossen)
  16. Bachlorabeit: Konzeption und Realisierung einer Steuerungssystem-HMI für Mobilgeräte (Erik-Felix Tinsel hat abgeschlossen)
  17. Bachlorarbeit: STPA Sec: Entwicklung eines Eclipse-Plugins zur Sicherheitsanalyse mit STPA-Sec (Domas Mikalkinas hat abgeschlossen)
  18. Prozessanalyse: Analyse des Stuttgarter Vorgehensmodell SVM ("Stuttgarter Vorgehensmodell". (Alexander Szilagyi, Benedikt Diesel und Manuel Müller abgeschlossen)
  19. Bachlorarbeit: Entwicklung ein Eclipse-Plug-in für das STPA-TCGenerator-Werkzeug (Ting Lok-He-abgeschlossen)

  20. Master Thesis (Daimler): Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug. (Javasiel Walter hat abgeschlossen )

  21. Master Thesis (IBM): Aspects of Event-Driven Cloud-Native Application Development (Tareq.A.A Al-Mamari-abgeschlossen)

  22. Bachlorarbeit:Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software- Sicherheitsanforderungen (Lukas Blazer-Abgeschlossen)

  23. Master Thesis: Regressionstestset-Auswahl und -Minimierungbasierend auf Feature-Modellierung (Patrick Alt- Abgeschlossen)
  24. Bachelorarbeit: Analyse und Erweiterung des ibb TestDesigners (David Michel) -Abgeschlossen)
  25. Bachelorarbeit: Extended STPA Tool: Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA  (Yannic Sowodinnich) (Abgeschlossen)
  26. Prozessanalyse : Analyse des Review-Prozesses für Lasterhafte (Robin Bolzt, Aassiel Walter) (Abgeschlossen)
  27. Bachelorarbeit: ACC Simulator: Entwicklung eines Simulators für Adaptive-Cruise-Control Systeme mit LEGO Mindstorms Robotern (Dennis Maseluk(Abgeschlossen)
  28. Diplomarbeit (TWT): Inkonsistene Klone und Fehler in Software (Kamer Kaya)(Abgeschlossen)
  29. Externe Bachelorarbeit: Programming of a Risk Visualisation Tool for Technology-Driven Business Models (Bearbeiter: Tobias Korb)(Abgeschlossen)
  30. Diplomarbeit Modellierung von Straßennetzen auf Basis diskreter Messpunkte (Bearbeiter: Felix Krause)(Abgeschlossen)

Aufgaben und Tätigkeiten

  • SE Kolloquium-Beauftragter