Asim Abdulkhaleq, Dr.rer.nat

7 Seguidores

Asim Abdulkhaleq is a postdoctoral research assistant at the software engineering group in the software technology institute at University of Stuttgart. Mr. Abdulkhaleq has finished his Ph.D. dissertation under supervision of Prof. Dr. rer. nat. Stefan Wagner, University of Stuttgart, Germany and Prof. Dr. Nancy Leveson, MIT, USA. His research interests includes safety engineering for software-intensive systems. Mr. Abdulkhaleq is working with different automotive companies as a safety expert on how to apply STPA/STAMPP in the development process of the new automotive systems. In 2012, he has gained his M.Sc degree in Information Technology from University of Stuttgart with a master the...

stpa stamp xstampp cast software safety safety-based testing stpa swiss control structure diagram safety analysis promela formal verification smv model checker software testing spin model checking software verification nusmv causal scenarios causal factors process model security analysis privacy asim abdulkhaleq safety test verification safety testing phd dissertation safety verificaiton unsafe control actions tools a-stpa automotive safety

Ver mais

Atividades
Sobre

Asim Abdulkhaleq, Dr.rer.nat

Apresentações

Tutorial1: How to install and configure XSTAMPP

Tutorial 2 creating stpa safety analysis project in xstampp

Tutorial 3 how to draw control structure diagram of the STPA safety analysis in XSTAMPP

Tutorial 4 how to edit the unsafe control actions of stpa project in xstampp

Asim abdulkhaleq final phd dissertation defense

Xstampp foundations

Tutorial 5 how to draw the process model in stpa project

Tutorial 6 how to edit the causal factors in stpa project

STPA and Software Verification