Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Safety analysis techniques for validating formal models during verification

Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

The increased interest in the use of automated safety analysis is supported by the claim that safety analysis based on traditional techniques (predominantly manual) is error-prone, costly and not necessarily complete. It is also claimed that traditional techniques are not able to deal with the inherent complexities of software intensive systems. However, we show in this paper that a transition (from manual to automatic approaches) in the assessment process and technologies is accompanied by an inherent risk of obtaining false confidence, unless safeguards are provided. The safeguard presented in this paper integrates traditional deductive and inductive analysis techniques with model checking, a form of formal verification. The aim is to provide the safety analyst with a rigorous approach for the validation of formal models.

Publication metadata

Author(s): de Lemos R, Saeed A

Editor(s): Felici, M., Kanoun, K., Pasquini, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP)

Year of Conference: 1999

Pages: 58-66

ISSN: 0302-9743

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540664888

Share