A5088805952- Safety Systems Engineering in Autonomy
- Software Reliability and Analysis Research
- Real-Time Systems Scheduling
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Risk and Safety Analysis
- Software System Performance and Reliability
- Distributed systems and fault tolerance
- Software Engineering Research
- Service-Oriented Architecture and Web Services
- Scientific Computing and Data Management
- Petri Nets in System Modeling
- Parallel Computing and Optimization Techniques
- Interconnection Networks and Systems
- Chaos-based Image/Signal Encryption
- BIM and Construction Integration
- Distributed and Parallel Computing Systems
- Advanced Database Systems and Queries
- Digital Transformation in Industry
- Manufacturing Process and Optimization
- Embedded Systems Design Techniques
- Software Engineering Techniques and Practices
- Sensor Technology and Measurement Systems
- Radiation Effects in Electronics
University of Cambridge
2023-2024
Dalian University of Technology
2020-2024
Lancaster University
2024
Hebei University of Technology
2024
State Grid Corporation of China (China)
2023
University of York
2014-2021
China Academy of Space Technology
2020
Huazhong University of Science and Technology
2020
Chongqing University of Education
2010-2017
TianQin is a planned space-based gravitational wave (GW) observatory consisting of three earth orbiting satellites with an orbital radius about $10^5~{\rm km}$. The will form equilateral triangle constellation the plane which nearly perpendicular to ecliptic plane. aims detect GWs between $10^{-4}~{\rm Hz}$ and $1~{\rm that can be generated by wide variety important astrophysical cosmological sources, including inspiral Galactic ultra-compact binaries, stellar-mass black hole extreme mass...
The TianQin-1 satellite (TQ-1), which is the first technology demonstration for TianQin project, was launched on 20 December 2019. round of experiment had been carried out from 21 2019 until 1 April 2020. residual acceleration found to be about $1\times10^{-10}~{\rm m}/{\rm s}^{2}/{\rm Hz}^{1/2}$ at $0.1~{\rm Hz}\,$ and $5\times10^{-11}~{\rm $0.05~{\rm Hz}\,$, measured by an inertial sensor with a sensitivity $5\times10^{-12}~{\rm Hz}\,$. micro-Newton thrusters has demonstrated thrust...
Driver Monitoring System (DMS), usually equipped with a camera, is an emerging vehicle safety system that can monitor driver attentiveness and trigger timely alarms when signs of inattention are detected. Since single indicator (e.g., eye blink rate) insufficient unreliable to analyze attentiveness, almost all existing solutions train several independent models identify facial states, such as face landmark, head pose, yawning, state, etc. However, apart from neglecting the inherent...
Constructing geometric digital twins of highways at present still demands substantial human effort. Unlike most previous work that uses deep learning models to segment point clouds into class level or object instance level, this paper further segments pavements a more detailed (lanes, hard shoulders, central reserves). The curves each lane marking are fitted in two-step method, approximated by polynomial and then converted the Frenet coordinated system. with smoothly changing curvature used...
Assurance cases are used to communicate and assess confidence in critical system properties such as safety security. Historically, assurance have been manually created documents, which evaluated by stakeholders through lengthy complicated processes. In recent years, model-based approaches gained popularity improve the efficiency quality of activities. This becomes increasingly important, systems more complex, it is a challenge manage their development life-cycles, including coordination...
Abstract Given the problem of malfunctions in satellite communication systems during use, which affects normal operation systems, an intelligent health management system is proposed, can predict equipment failures advance and effectively improve availability. In present work, we put forth a model for provided indicator system, designed process, analyzed relevant evaluation methods. We have implemented through software evaluated status given device parameters, provide basis reference...
Assurance cases are used to communicate and assess confidence in critical system properties such as safety security. Historically, assurance have been manually created documents, which evaluated by stakeholders through lengthy complicated processes. In recent years, model-based approaches gained popularity improve the efficiency quality of activities. This becomes increasingly important, systems more complex, it is a challenge manage their development life-cycles, including coordination...
The concept of Digital Twin (DT) is increasingly applied to systems on different levels abstraction across domains, support monitoring, analysis, diagnosis, decision making and automated control. Whilst the interest in applying DT growing, definition unclear, neither there a clear pathway develop fully realise its capacities. In this paper, we revise categorisation. We propose maturity matrix, based which model-based development methodology. also discuss how tools can be used methodology...
An increasingly important trend in the design of safety-critical systems is integration components with different levels criticality onto a common hardware platform. Mixed-criticality (MCSs) have been well researched academia, but can be difficult to implement industrial scenarios as theoretical models underpinning research do not sufficiently consider safety practice and standards. In this article, we make first attempt toward implementation MCS model settings. To end, identify pragmatic...
Systems safety is becoming increasingly challenging due to the presence of ever-more complex applications. Safety analysis an important aspect Safety-Critical Engineering (SCSE) discover problems in system design that can potentially lead hazards with risks may accidents. Performing requires significant manual effort — its automation has become research focus critical domain increasing complexity systems and emergence open adaptive systems. In this paper, we propose a novel methodology which...
XML Metadata Interchange (XMI) is an OMG-standardised model exchange format, which natively supported by the Eclipse Modeling Framework (EMF) and majority of modelling management languages tools. Whilst XMI widely supported, parser provided EMF inefficient in some cases where models are readonly (such as input for query, model-to-model transformation, etc) it always requires loading entire into memory. In this paper we present a novel algorithm, prototype implementation (SmartSAX), capable...
Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number assurance approaches adopted by industries the safety-critical domain. However, task constructing remains a manual, trivial and informal process. The Structured Case Metamodel (SACM) is standard specified Object Management Group (OMG). SACM provides richer set features than existing languages/approaches. foundation for model-based assurance, which has great potentials...
Mixed-Criticality System (MCS) has been considered widely within academic literature, but is proving difficulty to implement in industry as the theoretical models underpinning research do not always consider industrial safety standards and practice (e.g., DO-178C, ISO26262, EN50128). This paper analyses formalises mismatches between standards, presents a generic MCS architecture, termed Z-MCS. Z-MCS built upon conventional model (i.e., Adaptive Mixed-Criticality), with additional...
Safety analysis is an important aspect in Safety-Critical Systems Engineering (SCSE) to discover design problems that can potentially lead hazards and eventually, accidents. Performing safety requires significant manual effort --- its automation has become the research focus critical system domain due increasing complexity of systems emergence open adaptive systems. In this paper, we present a methodology, which automated drives safety-critical We discuss our approach with tool support...
Assurance cases are used to communicate and assess confidence in critical system properties, e.g., safety security. Historically, assurance have been manually created documents, validated by engineers through lengthy error-prone processes. Recently, practitioners begun adopting model-based approaches improve the efficiency quality of activities. This becomes increasingly important, for example, ensure robotics autonomous systems (RASs), as they adopted into society. Such can be highly...