Identifying critical road sections that require prompt attention is essential for agencies to prioritize monitoring, maintenance, and rehabilitation efforts improve overall conditions safety. This study suggests a decision matrix with hierarchical structure factors in the pavement deterioration rate, infrastructure safety, crash history identify these sections. A Markov mixed hazard model was u...

Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be established externally. In this paper we investigate an approach to show the correctness of safety policies which are formulated as a set of Hoare-style inference rules on the source code level. We develop a framework which is generic wi...

Every year too many people lose their lives and health on Polish roads. At best, it only ends with damage to cars. The number of accidents is very high. Despite the construction new, safer roads, collisions continues rise, death, every year, suffered by about three thousand accident participants. On average, forty-one are injured annually. main causes failure adjust speed prevailing conditions ...

Abstract This paper presents a methodology for numerical assessment of the aviation safety performance military flight unit and its condition, taking into account human factor impact. The research is based on two interrelated groups indicators concerning condition each – pre-flight used during mission planning preparedness phase, in-flight linked to execution phase ordered. adaptive has potenti...