IEEE Reliability Society Japan Chapter

<< Top | International Conferences

IEEE Asian Reliability Conference 2005 Program

(Update: 2005/10/23)

Morning 9:00-12:30

Session A: Principles of Reliability

In today's world, where does "reliability" fit?
Jeffrey Voas >> Profile
President, IEEE Reliability Society
SAIC (former Science Applications Incorporated)
Abstract
The terms reliable, reliability, dependability, trust, trustworthiness, all carry similar meaning and interpretation. But in today's world, terms such as security, safety, adaptability, sustainability, survivability, etc. also conjure up similar emotions. This brief talk will focus on how these many different terms are causing hardship in the communities championing standards that attempt to promote and foster higher quality systems, but this terminology confusion often gets in the way of making progress toward quality.
Software Security: why it's important, and what to do about it
John Viega >> Profile
Founder and CTO of Secure Software, Inc.
Abstract
According to Gartner, over 70 percent of attacks against todayfs enterprise IT networks come at the application layer, not the network system layer (as is the common perception). In addition, it is 10-100x less costly to fix a security bug during development than it is post-deployment. As a result, it is an economic imperative that enterprises deploy applications that are properly tested for security vulnerabilities and that vendors take security testing more seriously during the software development lifecycle.

This talk will introduce the problem, showing the most common security problems seen in software development. We will also discuss the seven best practices that leading-edge organizations are adopting to combat these issues. We will also look briefly at efforts to standardize and legislate around software security issues.
A New Approach on Service Reliability - Its Concepts and Analytical Tools -
Akihiko Masuda >> Profile
Guest Professor, Teikyo University of Science and Technology
Abstract
Service products such as education, reception and transportation has been ignored in@reliability engineering@because of their specific features, that is, being intangible and concerning human behavior. However, troubles and incidents of service products have occurred frequently in the business circumstance. Most of their causes are based on human errors. Especially, they will be critical in the medical service field and the maintenance service field for large-scale equipment.
Repetition of a prescribed service process induces degradation of service integrity. It is necessary that some proper maintenance actions will be taken for recovering to the initial service integrity.

In this presentation, concepts and features of service, definition of service and its reliability, and some analytical tools for service reliability are explained. In the design and development phase of service products, the service category map (SCM) and the three-element FMEAfs are introduced. The three-element FMEA considering person, equipment and surrounding environment is called type I, and the tree-element FMEA considering person, another person and surrounding environment, type II. Some applicable examples of service reliability analysis will be shown.

Session B: Reliability for Human and Complex Systems

Environment Behavior Models for Automation of Testing and Assessment of System Safety
Bret Michael >> Profile
Associate Professor, Naval Postgraduate School, Monterey, California
Abstract
In this presentation Dr. Michael will introduce an approach to automatic scenario generation from environment behavior models for testing of real-time reactive systems. The model of behavior is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed event grammar (AEG) specifies possible event traces and provides a uniform approach for automatically generating and executing test cases. The environment model includes a description of hazardous states in which the system may arrive and makes it possible to gather statistics for system safety assessment. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the approach with a case study of a software prototype of the computer-assisted resuscitation algorithm for a safety-critical casualty intravenous fluid infusion pump.
Risk-based design of human interactions with smart machines
Toshiyuki Inagaki >> Profile
Professor, Dept. of Risk Engineering, University of Tsukuba
Abstract
Smart machines can sense and analyze situations, decide what must be done, and implement control actions. It is true, however, humans working with such smart machines often suffer negative consequences of automation, such as the out-of-the-loop performance problem, loss of situation awareness, complacency, degradation of risk perception, and automation-induced surprises. This paper discusses mismatches between humans and smart and reliable machines, and gives some viewpoints that are useful in designing sensible human-machine interactions for comfort and safety.
Optimal Decision Procedure for Safety Monitoring Systems
Kazuyuki Suzuki >> Profile
Professor, University of Electro-Communications
Abstract
Although safety monitoring plays important roles for diagnosis and maintenance of complex advanced systems, it suffers from two types of contradictory failures, gfalse alarmsh and galarm failure when required.h Since monitors are becoming cheaper and tinier due to improvements in nano-technology, many of them can be used for safety monitoring. Increasing the number of monitors is one of the most effective approaches to reducing the occurrence of these two types of failures. However, it also makes it difficult to make optimal diagnosis in real time based on numerous monitors. This research derives a necessary and sufficient condition for an optimal policy to be given by a monotone procedure, which enables the automatic diagnosis to be taken in real time.

Session C: Reliability Modeling

MEMS Reliability - Mechanical Stress Analysis
Richard Doyle >> Profile
Doyle and Associates
Past President of the IEEE Reliability Society
Abstract
MEMS Reliability and failures of small parts.
Aging and wear out of all MEMS parts.
Design equations and how they are used.
Present and future techniques for predicting failure rates.
Standard tools for high wear items.
Sample calculations for parts subjected to HALT, also, micro bearings and gears.

Presented are MEMS Reliability predictions and failures of ultra small parts based on aging and wear out. Present and future techniques for predicting failure rates, including the design equations and how they are used.
Included are sample calculations for parts subjected to HALT, including micro bearings and gears.
Reliability prediction technology and perspective
Sam Keene >> Profile
IEEE Fellow, Seagate
Past President of the IEEE Reliability Society
Abstract
Review of the history of reliability prediction technology. This was hardware based for many years. Software was thought to not fail. It had no mechanism to wear out. Today software reliability is the major concern of complex systems. Hardware and software reliability will be discussed and contrasted.
Probabilistic safety assessment of control logic
Koichi Suyama >> Profile
Associate Professor, Tokyo University of Marine Science and Technology
Abstract
A probabilistic safety assessment framework based on the international safety standard, IEC 61508, for control logic designed especially by fault-tolerant control logic design is presented.
It implies that software such as control logic can become an object of probabilistic safety assessment. It can also clarify and evaluate quantitatively a contribution of fault-tolerant control logic design to risk reduction according to IEC 61508.

Afternoon 14:00-17:30

Tutorial A

Software fault injection and its relationship to software testing
Jeffrey Voas
President, IEEE Reliability Society
SAIC (former Science Applications Incorporated)
Abstract
Software fault injection is a form of dynamic software testing that allows developers and testers to observe how the software will behave under a variety of anomalous conditions. These conditions can be the result of simulated internal software defects or simulated external/environmental stimuli. The end result of a better of way to predict how the software will behave when such events occur. Software testing, on the other hand, allows for predictions of how the software will behave under normal and expected operating conditions. Therefore the knowledge derived from these different types of dynamic assessment is unique, but when combined, result in a more thorough prediction of how the software will behave under a wide variety of nominal and off-nominal circumstances.
This 2.5 hour talk will compare and contrast these assessment methods, and will also explore how software fault injection can be used to assess the fault hiding ability of code. By doing so, we can more realistically predict how much testing is needed in order to detect actual faults of different densities.

Tutorial B

Six Sigma contributions to reliability
Sam Keene
IEEE Fellow, Seagate
Past President of the IEEE Reliability Society
Abstract
Six sigma is most popular now in industry. It has successfully been adapted by many companies and has added profit to their bottom line.
This tutorial explains the history and structure of the Six Sigma tools and processes.
The tutorial particularly shows how Six Sigma can help the reliability engineer to do their job.

Tutorial C

Thermal Analysis of Electronic Systems and Parts
Richard Doyle
Doyle and Associates
Past President of the IEEE Reliability Society
Abstract
THERMAL ANALYSIS OF ELECTRONIC SYSTEMS & PARTS
The Thermal Analysis Seminar will provide -
An overview of all aspects of Thermal Analysis of Electronic Parts and Systems for Improved Reliability.
A basic understanding of the Thermal Analysis for people who have a knowledge of reliability and wish to learn more about this discipline.
An abbreviated application handbook for Thermal Analysis of Electronic Parts and Systems. It provides an excellent guide for thermal analysis.
A comparison of various Thermal Analyses and reliability predictions along with a helpful methodology in using them.
An understanding of the important relationships with other reliability and design disciplines.

Tutorial D

Software-Based Safety Kernels for Hybrid Systems
Bret Micheal
Associate Professor, Naval Postgraduate School, Monterey, California
Abstract
In this tutorial we introduce principles of architecting and designing safety kernels for hybrid systems. A safety kernel is a module specifically designed to reduce the probability of occurrence of mishaps by performing some fail-safe functionality by doing one or more of the following: detecting faults, tolerating faults, and isolating faults. We will conclude with a discussion of why safety kernels are increasingly being implemented in software rather than software, and how to demonstrate that the real systems of physical devices are similar enough to their finite automaton approximations so that the finite automata controls (i.e., the software-based safety kernels) would control the system in the real world.
Common Misconceptions about Cryptography
John Viega
Founder and CTO of Secure Software, Inc.
Abstract
Lots of people read Applied Cryptography and then armed with their new-found knowledge, went on to build massively broken cryptosystems. Similarly, many people use SSL in their apps, but use it insecurely.

Developers think crypto is "cool", but it's also easy to assemble a bunch of ""cool and worthy parts into a system with huge holes in it. At this talk, you'll learn how to avoid the most common crypto problems in your code. We'll look at the most common crypto problems in software systems today, and show how to avoid them using modern techniques.

We'll cover both newbie mistakes such as home-made encryption schemes and poor algorithm choices. However, we'll focus on errors that more forgivable, but potentially just as serious, such as poor PKI integration, key management, and timing attacks.

Information Exchange Meeting 18:00-19:30

© 2005 IEEE Reliability Society Japan Chapter