Software safety remains one of the essential and vital aspects in today’s systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behaviours is imp...

We have been using FT or FMEA...etc to design our new products till now. In this study, we find that the new vehicle product development can be more efficient if we adopt STAMP/STPA, which shows the complicated relationship between human and machine and feedback the hazard in an early development stage. 1 Background After the Great East Japan Earthquake happening on March 3rd, 2011, our company...

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behavi...

The gene expression state of exponentially growing Escherichia coli cells is manifested by high expression of essential and growth-associated genes and low levels of stress-related and horizontally acquired genes. An important player in maintaining this homeostasis is the H-NS-StpA gene silencing system. A Δhns-stpA deletion mutant results in high expression of otherwise-silent horizontally acq...

System-Theoretic Process Analysis (STPA) from Leveson is a technique for hazard analysis developed to identify more thoroughly the causal factors in complex safety-critical systems, including software design errors. Event-B is a proof-based modelling language and method that enables the development of specifications using a formal notion of refinement. We propose an approach to hazard analysis ...

Subgroup B isolates of Herpesvirus saimiri are less efficient in T lymphocyte transformation when compared with subgroups A or C. Here it is shown that subgroup B strain SMHI encodes a protein, StpB, at a position equivalent to those of the ORFs for the saimiri transforming proteins (Stp) of subgroups A and C. StpB shares little similarity with StpA or StpC, but interacts with the SH2 domain of...

This paper evaluates the use of STPA in a heatlhcare setting specifically a complex setting involving controllers participating in multiple processes at one time. This is a scenario that has not been explored with STPA before but is the status quo in most healthcare systems. In an intensive care unit, the process of providing care to patients is comprised of many processes including drug delive...

With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether safety-critical scenarios are adequately addressed by design solution a cyber-physical human system. However, there is gap. If specific not included in given (i.e., model) first place, results MBSA cannot be trusted safety assurance....

Earlier studies of neurons in the anterior region of the superior temporal polysensory area (STPa) have demonstrated selectivity for visual motion using stimuli contaminated by nonmotion cues, including texture, luminance, and form. The present experiments investigated the motion selectivity of neurons in STPa in the absence of form cues using random dot optic flow displays. The responses of ne...