In the context of model-based product and system design, the capability to assess the impact
of potential component faults, undesired interactions, and fault propagation is important for …

Industrial Control Systems (ICS) are the brain and backbone of nation's critical infrastructure
such as nuclear power, water treatment, and petrochemical plants. In order to increase …

This paper reviews the development and applications of the Integrated System Failure
Analysis approach. The Integrated System Failure Analysis integrates multiple existing …

Cooperative verification is a promising technique for verifying the safety and security
properties of Programmable Logic Controllers (PLCs). However, cooperative verification has …

Modeling and simulation tools are exceptionally useful for designing aerospace systems
because they allow engineers to test and iterate designs before committing the massive …

Modeling and simulation tools are exceptionally useful for designing aerospace systems
because they allow engineers to test and iterate designs before committing the massive …

Modern society has become increasingly reliant on the functioning of critical infrastructure. It
is considered so vital that its incapacitation or destruction would have debilitating effects on …

Efforts in applying computational support for automatic design synthesis and configuration
generation as well as efforts to support descriptive and computational model development …

抄録 Systems of the internet of things (IoT) consist of various elements, such as devices,
networks, or embedded systems, and become larger scale and more complex. When we find …