Aviation piston engines constitute an essential segment of general aviation, whilst safety
issues are becoming increasingly prominent by high system complexity. However, the …

This work presents an architecture and a proof of concept implementation of a security
infrastructure for mobile devices in an infrastructure based pervasive environment. The …

Software systems are becoming increasingly important in safety-critical areas. Designing
safe software requires a significant emphasis on hazards in the early design phase of …

Safety analysis is one of the important means to show compliance with airworthiness
requirements. The traditional safety analysis methods are significantly dependent on …

Quantitative verification is an effective technique for analyzing quantitative aspects of a
safety critical system's design, and safety analysis is a significant aspect of safety critical …

Many large scale embedded systems are safety-critical systems and are becoming
increasingly complex. They are designed and developed by a worldwide network of …

Safety analysis is a crucial process in developing safety-critical systems, allowing the
identification of potential design issues that may lead to hazards. Automation of this process …

As embedded software is taking an important part in safety critical filed, how to ensure the
safety of safety-critical software has recently become a research focus. Developing safety …

The reliability-centered maintenance (RCM) is one of the most advanced maintenance plan
generating technologies for equipments. At present, the key technologies such as FMEA and …

Mathematical optimization is the selection of the best element in a set with respect to a given
criterion. Optimization has become one of the most used tools in control theory to compute …