Cristin-resultat-ID: 953681
Sist endret: 20. desember 2012, 11:24
NVI-rapporteringsår: 2012
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2012

Using Variability Models to Reduce Verification Effort of Train Station Models

Bidragsytere:
  • Andreas Svendsen
  • Øystein Haugen og
  • Birger Møller-Pedersen

Bok

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2012
Sider: 348 - 356
ISBN:
  • 978-1-4577-2199-1

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

Using Variability Models to Reduce Verification Effort of Train Station Models

Sammendrag

We show how the effort needed to verify a transformed base model can be reduced by analyzing the definition of the modification. The Common Variability Language (CVL) is a generic language for modeling variability, where a CVL model describes the increment from one base model to another (transformed) base model. Assuming that a property of the base model has been verified, we use the CVL model to reduce the effort needed to verify the property of the transformed model. Based on the CVL model, we narrow down the set of traces required to be verified, including the increment and the cascading effects. We apply CVL to several models of the Train Control Language (TCL) to illustrate how the effort of verifying safety properties of transformed train station models can be reduced

Bidragsytere

Andreas Svendsen

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS

Øystein Haugen

  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS

Birger Møller-Pedersen

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
1 - 3 av 3

Resultatet er en del av Resultatet er en del av

18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011.

NN, .. 2012, IEEE conference proceedings. Vitenskapelig antologi/Konferanseserie
1 - 1 av 1