Nidhal Mahmud

ORCID: 0000-0003-0908-5963
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Software Reliability and Analysis Research
  • Software Testing and Debugging Techniques
  • Formal Methods in Verification
  • Software System Performance and Reliability
  • Safety Systems Engineering in Autonomy
  • Advanced Software Engineering Methodologies
  • Model-Driven Software Engineering Techniques
  • Software Engineering Research
  • Data Mining Algorithms and Applications
  • Radiation Effects in Electronics
  • Risk and Safety Analysis
  • Advanced Database Systems and Queries
  • Fault Detection and Control Systems
  • Service-Oriented Architecture and Web Services
  • Petri Nets in System Modeling
  • Bayesian Modeling and Causal Inference
  • Educational Technology and Assessment
  • Geochemistry and Geologic Mapping
  • Advanced Malware Detection Techniques
  • Engineering and Test Systems
  • Real-Time Systems Scheduling

University of Hull
2010-2019

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour safety-critical systems. In dependability analysis, SMs translated other models, such as Generalized Stochastic Petri Nets (GSPNs) or combinatorial fault trees. The former does not enable qualitative whereas second allows it but can lead inaccurate erroneous results, because trees do capture temporal semantics expressed by SMs. this paper, we discuss problem and propose translation using...

10.1109/dsnw.2010.5542620 article EN 2010-06-01

Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it difficult to represent in single coherent and complete picture how the its constituent parts behave conditions failure. Second, can be unmanageable due considerable number failure events, increases involved. To remedy this problem, paper we outline an approach that converts behavioural models (state machines) temporal fault trees (TFTs), then analysed...

10.1145/2185395.2185444 article EN ACM SIGMETRICS Performance Evaluation Review 2012-03-09

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 development processes that are not as efficient, flexible agile they could or should be. paper presents the main aspects capabilities of rich model-based design framework, founded on EAST-ADL. EAST-ADL is an architecture description language specific automotive domain complemented by methodology compliant with functional standard...

10.4018/ijcssa.2015070103 article EN International Journal of Conceptual Structures and Smart Applications 2015-07-01

Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it difficult to represent in single coherent and complete picture how the its constituent parts behave conditions failure. Second, can be unmanageable due considerable number failure events increases involved. To remedy this problem, paper we outline scalable approach that converts behavioural models - state machines (SMs) temporal fault trees (TFTs),...

10.1109/ares.2011.89 article EN 2011-08-01

Markov Chains (MCs) are very powerful in capturing the dynamic aspects of systems and evaluation safety measures. However, such models suffer from state space explosion problem, which often makes their solutions intractable if not impossible. In this paper, a new approach to computing an optimal description system MC is presented. The based on algebraic representation chain standard sum-of-product canonical form can then be reduced by symbolic calculus - sequences captured using only Boolean...

10.1109/ram.2017.7889660 article EN 2022 Annual Reliability and Maintainability Symposium (RAMS) 2017-01-01

The use of robotics systems is increasingly widespread and spans a variety application areas. From manufacturing, to surgeries, chemical, these can be required perform difficult, dangerous critical tasks. nature such tasks places high demands on the dependability systems. Fault tree analysis among most often used assessment techniques in various domains robotics. However, there still lack adjustment methods that efficiently cope with sequential dependencies components In this paper, authors...

10.4018/ijrat.2015070103 article EN International Journal of Robotics Applications and Technologies 2015-07-01
Coming Soon ...