uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Using Formal Methods in a Retrospective Safety Case
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Faculty of Science and Technology, Biology, Department of Ecology and Evolution, Computing Science. Datalogi.
2004 (English)In: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings, 2004Conference paper (Refereed)
Abstract [en]

Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of these standards, development was typically done on a "best practise'' basis which could differ much between application areas. Some safety-critical systems (e.g. railway interlockings) have a long technical and economical lifetime so that today we have many legacy safety-critical systems in operation which were developed according to practises that would be regarded as unacceptable today. Usually, such systems are allowed to continue operating by virtue of past performance. If there is doubt about the integrity of a legacy system, an alternative to replacement could be making a "retrospective'' safety case demonstrating that the legacy system is indeed safe to use. Using as example a case taken from railway signalling, we will show how formal verification can be used in a retrospective safety case. In this application of formal methods several particular problems arise, such as uncertainty about the original requirements and the required safety level of the various system functions. We will discuss such problems and the approach taken to deal with them in the example case.

Place, publisher, year, edition, pages
Keyword [en]
Formal methods, Safety cases, Legacy systems
National Category
Computer Science
URN: urn:nbn:se:uu:diva-70497DOI: doi:10.1007/b100227ISBN: 3-540-23176-5OAI: oai:DiVA.org:uu-70497DiVA: diva2:98408
Available from: 2005-04-24 Created: 2005-04-24

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eriksson, Lars-Henrik
By organisation
Department of Information TechnologyComputing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 54 hits
ReferencesLink to record
Permanent link

Direct link