- 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...
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...
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...
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),...
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...
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...