The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Dataset in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems'

Dataset in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems'
Dataset in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems'
SHARCS - Event-B models Application of SHARCS (Systematic Hierarchical Analysis of Requirements for Critical Systems) approach in a security-critical case study (Tokeneer system) and a safety critical case study (LevelCrossing system). Data in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems' to be published in Innovations in Systems and Software Engineering
University of Southampton
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75

Salehi Fathabadi, Asieh (2024) Dataset in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems'. University of Southampton doi:10.5258/SOTON/D2957 [Dataset]

Record type: Dataset

Abstract

SHARCS - Event-B models Application of SHARCS (Systematic Hierarchical Analysis of Requirements for Critical Systems) approach in a security-critical case study (Tokeneer system) and a safety critical case study (LevelCrossing system). Data in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems' to be published in Innovations in Systems and Software Engineering

Archive
Tokeneer_cs.zip - Dataset
Available under License Creative Commons Attribution.
Download (3MB)
Archive
LevelCrossing_cs.zip - Dataset
Available under License Creative Commons Attribution.
Download (2MB)
Text
README.txt - Dataset
Available under License Creative Commons Attribution.
Download (2kB)

More information

Published date: 2024
Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 487776
URI: http://eprints.soton.ac.uk/id/eprint/487776
DOI: doi:10.5258/SOTON/D2957
PURE UUID: 5a72c62b-20a1-4930-9fed-eef8c7b299e9
ORCID for Asieh Salehi Fathabadi: ORCID iD orcid.org/0000-0002-0508-3066

Catalogue record

Date deposited: 05 Mar 2024 18:05
Last modified: 06 Mar 2024 02:46

Export record

Altmetrics

Contributors

Creator: Asieh Salehi Fathabadi ORCID iD

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×