Maintenance scheduling for naval vessels and ships requires ongoing improvement to
manage rising maintenance costs within availability constraints. Existing maintenance …

Social Virtual Reality Learning Environments (VRLE) offer a new medium for flexible and
immersive learning environments with geo-distributed users. Ensuring user safety in VRLE …

Congestion on land, hike in fuel costs, and critical need to cut down environmental
emissions have generated the urge to shift from conventional rail transit systems to metro rail …

ABC is a company engaged in the production of automotive spare parts and accessories,
especially motorcycles. The problems faced by the company, there is frequent damage to …

Reliability engineering of railway infrastructure aims to understand failure processes and to
improve the efficiency and effectiveness of investments and maintenance planning such that …

Sažetak In order to ensure normal operation of enterprise production activities and enhance
the competitiveness of enterprise, equipment management and maintenance strategy …

Over the last decades, significant progress has been made on formal techniques for
software verification. However, despite this progress, these techniques are not yet …

The system requirement specifications (SRSs) of the train control system (TCS) are the
starting point and foundation of system design and development. Defects in the SRSs will …

Emerging technologies, like self-driving cars, drones, and the Internet-of-Things must not
impose threats to people, neither due to accidental failures (safety), nor due to malicious …

Dynamic fault trees (DFT) are widely adopted in industry to assess the dependability of
safety-critical equipment. Since many systems are too large to be studied numerically, DFTs …