Fachbereich Informatik an der RPTU in Kaiserslautern

Ahmad Adee

(AG Software Engineering: Dependability; Prof. Liggesmeyer)
hosted by PhD Program in CS @ TU KL

"Model-based System Analysis Techniques to determine propagation paths of functional insufficiencies in software-intensive systems"

( MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

The research focuses on the application of model-based system analysis techniques to address functional insufficiencies in software-intensive systems used in open context environments and determining probabilistic ways to model the uncertainties. Open context systems are those in which a complete perception of the environment is not possible and which therefore may operate beyond their original design intent. Functional insufficiencies denote the deviation of the nominal behaviour of a system that does not stem from a malfunction of one or multiple components, i.e. a classical fault. A typical example is a camera in a highly automated vehicle that should prevent a collision with a human being, but that only detects in 99.9% of the cases correctly a human person. Model-based system analysis techniques include component fault trees as well as other modeling artifacts, which both extend the components of a functional or technical architecture model of the system with error propagation information. Whereas a classic model-based safety analysis often limits itself to failures of one or multiple components, the open-context nature of autonomous systems forces to consider the safety-applications of functional insufficiencies.


Time: Monday, 24.08.2020, 15:30
Place: https://bbb.rlp.net/b/mid-wdt-qt2

Termin als iCAL Datei downloaden und in den Kalender importieren.