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

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	88-91
Number of pages	4
Journal	Ada User Journal
Volume	44
Issue number	1
Publication status	Published - 1 Mar 2023

Keywords

AADL
ALISA
Cyber-Physical Systems
Model-Based Engineering
Safety-Critical Systems

Cite this

@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

Abstract

Keywords

Other files and links

Fingerprint

Cite this