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 | |
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
Program Committee Member (PC Member)
- ISCRAM-Med 2017- 4th International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, Democritus University of Thrace, Xanthi, Greece
- ESW2017- 5th European STAMP Workshop, Stiki and Reykjavik University, Reykjavik, Iceland.
- ICSC 2017- 2nd International Cross Industry Safety Conference, Amsterdam University of Applied Sciences, Amsterdam, The Netherlands.
- ESW 2015- 3rd European STAMP Workshop, Amsterdam University of Applied Sciences, Amsterdam, The Netherlands.
- ESW 2014- 2nd European STAMP Workshop, University of Stuttgart, Germany
- ESW 2013-1th European STAMP Workshop, TU Braunschweig, Germany.
Conference Reviewing (Sub-Reviewer)
- 2nd International Conference of Reliable Information and Communication Technology 2017 (IRICT2017)
- 37th International Conference on Software Engineering, SEIP Track (ICSE 2015 SEIP)
- 15th International Conference on Product Focused Software Development and Process Management (PROEFS 2014).
- 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014)
- 10th European Dependable Computing Conference (EDCC2014)
- Models and Evolution (ME2013)
- Software Quality Days (SWQD2014)
- 9th International Conference on Predictor Models in Software Engineering (PROMISE2013)
- Software Engineering 2013 (SE2013)
Journal Reviewing (Main Reviewer)
Publikationen
Books
- Abdulkhaleq, A (2017). A System-Theoretic Safety Engineering Approach for Software-Intensive Systems. [slides]. Dissertation, ISBN-10: 3736994923. ISBN-13: 978-3736994928, Publisher, Cuvillier Verlag
Conference & Workshop Papers
- Abdulkhaleq, A., Wagner, S., Lammering, D., Boehmert, H., and Blueher, P. (2017) Using STPA in Compliance with ISO26262 for Developing a Safe Architecture for Fully Automated Vehicles. Automative-safety and security conference, Stuttgart, Germany, 2017.
- Abdulkhaleq, A., Wagner, S. (2016) XSTAMPP 2.0: New Improvements to XSTAMPP Including CAST Accident Analysis and an Extended Approach to STPA. 2016 STAMP Conference at Massachusetts Institute of Technology (MIT), 21 March 2016, Boston, USA.
- Wagner, S., Abdulkhaleq, A., Kaya, K. and Paar, A. (2016) On the relationship of inconsistent software clones and faults: an empirical study. In Proc. 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016). IEEE.
- Abdulkhaleq, A., Wagner, S. (2015) Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking . In Computer Safety, Reliability, and Security (Safecomp2015), Lecture Notes in Computer Science, Springer International Publishing, Delft, Netherlands (22-25 September 2015)
- Abdulkhaleq, A., Wagner, S. (2015) A Controlled Experiment for the Empirical Evaluation of Safety Analysis Techniques for Safety-Critical Software . The 19th International Conference on Evaluation and Assessment in Software Engineering (EASE), Nanjing, China.
- Abdulkhaleq, A., Wagner, S. (2015) XSTAMPP: An eXtensible STAMP Platform As Tool Support for Safety Engineering . 2015 STAMP Conference at Massachusetts Institute of Technology (MIT), 26 March 2015, Boston, USA.
- Abdulkhaleq, A., Wagner, S. (2014) A Software Safety Verification Method Based on System-Theoretic Process Analysis . In Computer Safety, Reliability, and Security (Safecomp2014), Lecture Notes in Computer Science, Springer International Publishing, Vol. 8696, pp. 401-412.
- Abdulkhaleq, A., Wagner, S. (2014) A-STPA: An Open Tool Support for System-Theoretic Process Analysis. 2014 STAMP Conference at Massachusetts Institute of Technology (MIT), 27 March 2014, Boston, USA.
- Abdulkhaleq, A., Wagner, S. (2013) Experiences with Applying STPA to Software-Intensive Systems in the Automotive Domain". 2013 STAMP Conference at MIT, Boston, USA.
- Abdulkhaleq, A., Wagner, S. (2013) Integrating State Machine Analysis with System-Theoretic Process Analysis (STPA). Multikonferenz Software Engineering 2013 (SE 2013), ZeMoSS - Zertifizierung und modellgetriebene Entwicklung sicherer Software, Aachen, Germany pp. 501-514
Journal and Magazine Papers
- Abdulkhaleq, A., Lammering, D., Wagner, S., Röder, J., Balbierer, N., Ramsauer, L., Raste, T., and Boehmert, H..: ِA systematic Approach Based on STPA for Developing a Dependable Architecture for Fully Automated Driving Vehicles. Procedia Engineering, volume 179C, PP. 41-51, 2017.
- Lammering, D., Balbierer, N., and Abdulkhaleq, A. (2016) Automatisierte Fahren: Keimzelle neuer Architeckturkonzepte. HANSER Automative 2016, Munich, Germany
- Wagner, S., Abdulkhaleq, A., Bogicevic, I., Ostberg, J.-P., Ramadani, J. (2016) How are functionally similar code clones syntactically different? An empirical study and a benchmark. PeerJ Computer Science 2:e49 doi:10.7717/peerj-cs.49
- Abdulkhaleq, A., Wagner, S., Leveson,N. (2015) A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA , Procedia Engineering, Volume 128, 2015, Pages 2-11, ISSN 1877-7058
- Bakibillah, A., Abdulkhaleq, A. (2011): Neural Network Based Microcontroller Operated Intelligent Vehicle System , Department of Computer Science, Electrical Engineering and Information Technology, University of Stuttgart, Germany, Vol. 5, Issue 1, international journal of electrical electronics and computer systems (IJEECS November, 2011).
Invited talks
- Abdulkhaleq, A. (2016): A Systematic Approach Based on STPA for Developing a Dependable Architecture for Fully Automated Driving, ZHAW Zürich, Switzerland.
- Abdulkhaleq, A. (2016): The risk assessment of the operational safety of the fully Automated Driving, Continental Teves AG & Co. oHG, Frankfurt am Main, Germany.
- Abdulkhaleq, A. (2016): Advanced Practical Tutorials on Safety Analysis techniques STPA, FTA, and FMEA , TUM, Munich, Germany
- Abdulkhaleq, A. (2016): A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA, 4th Scandinavian Conference 0n System & Software Safety
- Abdulkhaleq, A. (2014): Tutorial of the XSTAMPP software tool including CAST and Extended Approach to STPA, The third European STAMP Workshop (ESW2015), The Aviation Academy of the Amsterdam University of Applied Sciences , Amsterdam, Netherlands
- Abdulkhaleq, A. (2014): STPA in Automotive Domain Advanced Tutorial , The Second European STAMP Workshop (ESW2014), INFORMATIK 2014, Stuttgart, Germany
- Abdulkhaleq, A.: Experiences with STAMP/STPA in Automotive Industry. Vortrag beim STAMP Workshop Europe 2013 , TU Braunschweig, Brauenschweig, Germany
- 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
- STPA Priv (2017): An Automated tool support for STPA Privacy Analysis
- STPA Sec (2017): An Automated tool Support for STPA Security Analysis.
- STPA TCGenerator Plugin (2016): An Eclipse plug-in for STPA TCGenerator tool.
- STPA TCGenerator (2016): A safety-based testing tool to generate test cases based on STPA results.
- STPA Verifier (2016) An Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV.
- XSTPA (2015): An Automated Tool Support Extended Approach to STPA , open-source tool based on the Eclipse platform, ISTE, Software Engineering, University of Stuttgart, 2015-2016
- A-CAST (2015): An Automated Causal Analysis using System Theory, open-source tool based on the Eclipse platform, ISTE, Software Engineering, University of Stuttgart, 2015-2016
- A-STPA (2013): An Automated Systems-Theoretic Process Analysis , open-source tool based on the Eclipse platform, ISTE, Software Engineering, University of Stuttgart, 2013-2014
- XSTAMPP (2014): An eXtensible STAMP Platform As Tool Support for Safety Engineering , ISTE, Software Engineering Group, University of Stuttgart, 2014-2015
- ACC Simulator (2015): Developing a Simulator for Adaptive Cruise Control Systems Using LEGO Mindstorm Robotics , ISTE, Software Engineering Group, University of Stuttgart, 2015
Grants & Awards
- Master Study Scholarship of the German Academic Exchange Service (DAAD):
Jun. 2009 – October 2012
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
- Übungen (Master): Qualitätssicherung und Wartung (QSW)
- Seminar Informationssicherheit in der Softwaretechnik
Wintersemester 2016/2017
- Übungen: Grundlagen des Software Engineerings (GSE)
- Forschungsmethoden in der Softwaretechnik (Master)
Sommersemester 2016
- Übungen (Master): Qualitätssicherung und Wartung (QSW)
- Seminar Informationssicherheit in der Softwaretechnik
Wintersemester 2015/2016
- Übungen: Grundlagen des Software Engineerings
- Forschungsmethoden in der Softwaretechnik (Master)
Sommersemester 2015
- Übungen (Master): Qualitätssicherung und Wartung (QSW)
Wintersemester 2014/2015
- Übungen: Programmierung und Software-Entwicklung
- Übungen: Grundlagen des Software Engineerings
- Kunde und Betreuer für Entwicklungsprojekt: Internet of Things (IoT)
Sommersemester 2014
- Übungen (Master): Qualitätssicherung und Wartung (QSW)
Wintersemester 2013/2014
- Übungen: Programmierung und Software-Entwicklung
- Übungen: Grundlagen des Software Engineerings
- Kunde für Studienprojekt A: Developing an Automated Tool Supporting a Systems-Theoretic Process Analysis (A-STPA)
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
- Übungen: Programmierung und Software-Entwicklung
- Co-Supervisor:Softwarepraktikum für Softwaretechniker
Liste bereits angefertiger Studienprojekte, Bachelorarbeiten-und Diplomarbeiten, Fachstudien
- 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)
- Processanalyse: Review the application of STPA in compliance with ISO 26262 functional Safety (Tino Stadelmaier hat am 01.10.2017 angefangen)
- Masterarbeit (ISW): Design und Implementation of an Architecture for Containerized Real-Time Control Applications (Jan Melcher hat am 29.09.2017 angefangen)
- Bachelorarbeit: Konzeption und Realisierung eines Anwendung zur Visualisierung von Ma-schinendaten (Matthias Strljic)(Abgeschlossen)
- Bachelorarbeit: A-CAST: Entwicklung eines Plugin-basierten Tools zur Unfallanalyse mit CAST (Causal Accident Analysis) (Martin Root) Abgeschlossen)
- Bachelor Thesis (Daimler AG): Entwicklung und Umsetzung eines Testkonzepts für die Vernetzung von Steuergeräten im Antriebsstrang (Jakob Benz finished 18.10.2017)
- Master Thesis (Vector): Ausarbeitung einer ressourceneffizienten Speicherverwaltung für einen Car2X Stack nach Wave Standard (Oliver Roehdanz hat am 03.11.2017 angefangen)
- Bachelor Thesis (adeso): Entwicklung eines Selbstfahrenden Softwaresimulators für das Autonome Fahren in Anki Overdrive (Sascha Zeller)
- Masterthesis (Robert Bosch): Development of a virtual Test Bench in a Co-Simulation Environment (Govind Balakrishnan hat am 03.11.2017 angefangen)
- Studienarbeit (Daimler): Konzeption und Entwicklung eines Systems zum automatisierten Koppeln von schweren Nutzfahrzeug-Anhänger-Kombinationen (Long Bui hat am 11.11.2017 angefangen)
- Master Thesis (ISW): Konzeption und Realisierung einer Cloud-Plattform zur Konfiguration und dem Deployment von Services (Vincent Link hat am 10.07.2017 angefangen)
- 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)
- Master Thesis (Robert Bosch): Entwicklung einer Softwarearchitektur für das LKW-Platoning anhand von ausgewählten Use-Cases (Rainer Erban hat abgeschlossen)
- Master Thesis (Continental): Image-based estimation of the object kinematics for advanced driver assistance systems (Jose Marin hat abgeschlossen)
- Fachstudie:ِ Analyse des Zugunfalls in Bad Aibling, Deutschland mit STAMP/CAST Ansatz (Roman Strecken, Hans Martin Berner und Melanie Schäfer haben angeschlossen)
- Bachlorabeit: Konzeption und Realisierung einer Steuerungssystem-HMI für Mobilgeräte (Erik-Felix Tinsel hat abgeschlossen)
- Bachlorarbeit: STPA Sec: Entwicklung eines Eclipse-Plugins zur Sicherheitsanalyse mit STPA-Sec (Domas Mikalkinas hat abgeschlossen)
- Prozessanalyse: Analyse des Stuttgarter Vorgehensmodell SVM ("Stuttgarter Vorgehensmodell". (Alexander Szilagyi, Benedikt Diesel und Manuel Müller abgeschlossen)
-
Bachlorarbeit: Entwicklung ein Eclipse-Plug-in für das STPA-TCGenerator-Werkzeug (Ting Lok-He-abgeschlossen)
-
Master Thesis (Daimler): Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug. (Javasiel Walter hat abgeschlossen )
-
Master Thesis (IBM): Aspects of Event-Driven Cloud-Native Application Development (Tareq.A.A Al-Mamari-abgeschlossen)
-
Bachlorarbeit:Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software- Sicherheitsanforderungen (Lukas Blazer-Abgeschlossen)
- Master Thesis: Regressionstestset-Auswahl und -Minimierungbasierend auf Feature-Modellierung (Patrick Alt- Abgeschlossen)
- Bachelorarbeit: Analyse und Erweiterung des ibb TestDesigners (David Michel) -Abgeschlossen)
- Bachelorarbeit: Extended STPA Tool: Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA (Yannic Sowodinnich) (Abgeschlossen)
- Prozessanalyse : Analyse des Review-Prozesses für Lasterhafte (Robin Bolzt, Aassiel Walter) (Abgeschlossen)
- Bachelorarbeit: ACC Simulator: Entwicklung eines Simulators für Adaptive-Cruise-Control Systeme mit LEGO Mindstorms Robotern (Dennis Maseluk) (Abgeschlossen)
- Diplomarbeit (TWT): Inkonsistene Klone und Fehler in Software (Kamer Kaya)(Abgeschlossen)
- Externe Bachelorarbeit: Programming of a Risk Visualisation Tool for Technology-Driven Business Models (Bearbeiter: Tobias Korb)(Abgeschlossen)
- Diplomarbeit Modellierung von Straßennetzen auf Basis diskreter Messpunkte (Bearbeiter: Felix Krause)(Abgeschlossen)
Aufgaben und Tätigkeiten
- SE Kolloquium-Beauftragter