Trace queries for safety requirements in high assurance systems

摘要: [Context and motivation] Safety critical software systems pervade almost every facet of our lives. We rely on them for safe air automative travel, healthcare diagnosis treatment, power generation distribution, factory robotics, advanced assistance special-needs consumers. [Question/Problem] Delivering demonstrably is difficult, so certification regulatory agencies routinely require full life-cycle traceability to assist in evaluating them. In practice, however, the links provided by producers are often incomplete, inaccurate, ineffective demonstrating safety. Also, there has been insufficient integration formal method artifacts into such traceability. [Principal ideas/results] To address these weaknesses we propose a family reusable queries that serve as blueprint safety systems. particular present consider artifacts, designed help demonstrate that: 1) identified hazards addressed safety-related requirements, 2) requirements realized implemented system. model using Visual Trace Modeling Language, which shown be more intuitive than defacto SQL standard. [Contribution] Practitioners building can use trace make their efforts complete, accurate effective. This, turn, safer adequate handling hazards.