An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study

Dominique Blouin; Paolo Crisafulli; Cristian Maxim; Francoise Caron

An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study

Dominique Blouin
, Paolo Crisafulli
, Cristian Maxim
, Francoise Caron

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

This paper presents an overview of ALISA (Architecture- Led Incremental System Assurance) and its evaluation for a case study of the railway domain as presented during the ADEPT workshop collocated with the 26th Ada-Europe International Conference on Reliable Software Technologies.

langue originale	Anglais
Pages (de - à)	88-91
Nombre de pages	4
journal	Ada User Journal
Volume	44
Numéro de publication	1
état	Publié - 1 mars 2023

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{e5d5783312a3430993696ded1f80b20b,

title = "An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study",

abstract = "This paper presents an overview of ALISA (Architecture- Led Incremental System Assurance) and its evaluation for a case study of the railway domain as presented during the ADEPT workshop collocated with the 26th Ada-Europe International Conference on Reliable Software Technologies.",

keywords = "AADL, ALISA, Cyber-Physical Systems, Model-Based Engineering, Safety-Critical Systems",

author = "Dominique Blouin and Paolo Crisafulli and Cristian Maxim and Francoise Caron",

year = "2023",

month = mar,

day = "1",

language = "English",

volume = "44",

pages = "88--91",

journal = "Ada User Journal",

issn = "1381-6551",

number = "1",

}

TY - JOUR

T1 - An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study

AU - Blouin, Dominique

AU - Crisafulli, Paolo

AU - Maxim, Cristian

AU - Caron, Francoise

PY - 2023/3/1

Y1 - 2023/3/1

N2 - This paper presents an overview of ALISA (Architecture- Led Incremental System Assurance) and its evaluation for a case study of the railway domain as presented during the ADEPT workshop collocated with the 26th Ada-Europe International Conference on Reliable Software Technologies.

AB - This paper presents an overview of ALISA (Architecture- Led Incremental System Assurance) and its evaluation for a case study of the railway domain as presented during the ADEPT workshop collocated with the 26th Ada-Europe International Conference on Reliable Software Technologies.

KW - AADL

KW - ALISA

KW - Cyber-Physical Systems

KW - Model-Based Engineering

KW - Safety-Critical Systems

UR - https://www.scopus.com/pages/publications/85171341474

M3 - Article

AN - SCOPUS:85171341474

SN - 1381-6551

VL - 44

SP - 88

EP - 91

JO - Ada User Journal

JF - Ada User Journal

IS - 1

ER -

An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study

Résumé

Autres fichiers et liens

Empreinte digitale

Contient cette citation