Nidhal Mahmud

Nidhal MahmudNidhal Mahmud works in the fields of model-based analysis and design of system architectures. He holds a DEA in Conception of the Advanced Informatics Systems from the University of Évry Val d’Essonne (France) and a PhD degree in Computer Science from the University of Hull (UK). His research is focused on safety and reliability of complex real-time embedded systems and he has been involved in the development of EAST-ADL, an engineering approach for automotive electronic systems. Previous EU project involvements include ATESST2 and MAENAD.

Publications

Improving Dependability of Robotics Systems: Analysis of Sequence-Dependent Failures
Improving Dependability of Robotics Systems: Analysis of Sequence-Dependent Failures
Nidhal Mahmud. © 2019. 24 pages.
In this chapter, the authors propose an algorithm for the reduction of fault tree expressions that are generated from failure behavioral models. The significance of the...
Improving Dependability of Robotics Systems
Improving Dependability of Robotics Systems
Nidhal Mahmud. © 2019. 14 pages.
The use of robotics systems is increasingly widespread and spans a variety of application areas. From healthcare to manufacturing to space missions, these systems are typically...
Improving Dependability of Robotics Systems, Experience From Application of Fault Tree Synthesis to Analysis of Transport Systems
Improving Dependability of Robotics Systems, Experience From Application of Fault Tree Synthesis to Analysis of Transport Systems
Nidhal Mahmud. © 2019. 25 pages.
The use of robotics systems is increasingly widespread and spans a variety of application areas. From manufacturing, to surgeries, to chemical, these systems can be required to...
Improving Dependability of Robotics Systems
Improving Dependability of Robotics Systems
Nidhal Mahmud. © 2018. 12 pages.
The use of robotics systems is increasingly widespread and spans a variety of application areas. From healthcare, to manufacturing, to space missions, these systems are typically...
Contemporary Safety-Critical Systems Analysis Through Fault Tree Synthesis
Contemporary Safety-Critical Systems Analysis Through Fault Tree Synthesis
Nidhal Mahmud. © 2016. 2 hrs 9 mins.
Sophisticated computerized engineering systems have become an essential facet of everyday life. Despite the ubiquity of such systems, safety and reliability are still primary...
Static Fault Trees and Fields of Application
Static Fault Trees and Fields of Application
Nidhal Mahmud. © 2016. 10 mins.
Fault Tree Analysis
Fault Tree Analysis
Nidhal Mahmud. © 2016. 10 mins.
Limitation of Static Fault Trees
Limitation of Static Fault Trees
Nidhal Mahmud. © 2016. 10 mins.
Fault Tree Representation of the System Dysfunctional Behavior
Fault Tree Representation of the System Dysfunctional Behavior
Nidhal Mahmud. © 2016. 15 mins.
Extended Fault Trees
Extended Fault Trees
Nidhal Mahmud. © 2016. 9 mins.
A More Accurate Fault Tree Representation of the Automaton
A More Accurate Fault Tree Representation of the Automaton
Nidhal Mahmud. © 2016. 14 mins.
Automata-Based Synthesis of Fault Trees with Priority Gates
Automata-Based Synthesis of Fault Trees with Priority Gates
Nidhal Mahmud. © 2016. 10 mins.
A Generic Triple Redundant (GTR) System
A Generic Triple Redundant (GTR) System
Nidhal Mahmud. © 2016. 12 mins.
Reducing Markov Models by Symbolic Calculus
Reducing Markov Models by Symbolic Calculus
Nidhal Mahmud. © 2016. 12 mins.
Compositional Approach to Reducing Markov Models
Compositional Approach to Reducing Markov Models
Nidhal Mahmud. © 2016. 15 mins.
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL
Sara Tucci-Piergiovanni, DeJiu Chen, Chokri Mraidha, Henrik Lönn, Nidhal Mahmud, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Nataliya Yakymets, Renato Librino, Sandra Torchiaro, Agnes Lanusse. © 2014. 41 pages.
Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements, in a short time span. This evolution has translated into...