Obviously, improving the road safety and the efficient allocation of limited resources to the provinces according to their ranking should be done. This paper presents a hybrid method of multivariate statistical analysis-decision making to evaluate Iran road traffic safety. In order to solve the problems of road traffic safety, a macroscopic evaluation and traffic safety level classification in ...

I would like to thank my advisor, Prof. Gul Agha, for his advice, support and intellectual guidance. He has always been available and willing to discuss anything. A special thanks to Prof. Grigore Ro¸su for getting me started in this new research area and discussing the details of the technique. I gratefully thank Abhay Vardhan for reviewing earlier drafts of the thesis. I would also like to th...

In the European railways standards (CENELEC EN 50126, (1999); EN 50128, (2001); EN 50129, (2000)), it is required to obtain evidence of safety in system requirements specifications. In the railway domain, safety requirements are obviously severe. It is very important to keep requirements traceability during software development process even if the different used models are informal, semi formal...

For any software system upon which lives depend, the most important question one can ask about it is, ‘How do we know the system is safe?’ Despite the critical importance of this question, no widely accepted, generally applicable answer exists. Instead, debate continues to rage over the question, with theorists and practitioners quarrelling with each other and amongst themselves. This paper sug...

This report describes a formal approach to verification and validation of safety requirements for embedded software, by application to a simple control-logic case study. The logic is formally specified in Z. System safety properties are formalised by defining The paper develops a theoretical basis for assigning safety requirements for components of complex systems, including software, in a form...

while sophisticated analytical methods like morgenstern-price or finite elementmethods are available for more realistic analysis of stability of slopes, assessment of the exactvalues of soil parameters is practically impossible. uncertainty in the soil parameters arisesfrom two different sources: scatter in data and systematic error inherent in the estimate of soilproperties. hence, stability o...