No abstract

In this study, differences in human response to an earthquake motion are shown by comparing shaking table test results of two human subjects.Then, the seismic response analysis model of human bodies which can consider individual differences is developed based on the shaking table test and the comparison results. The model is verified to reproduce the different seismic responses of the two subjects. Then, response analyses of human bodies are conducted using observed strong motion records, and the impact of individual differences in human seismic response leading to injury is discussed.

SUMMARYIn order to verify the correctness of functional requirements, we have been developing a verification method of the correctness of functional requirements specification using the Requirements Frame model. In this paper, we propose a verification method of non-functional requirements specification in terms of time-response requirements written with a natural language. We established a verification method by extending the Requirements Frame model. We have also developed a prototype system based on the method using Java. The extended Requirements Frame model and the verification method will be illustrated with examples.