ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact)

Authors Maxime Buyse, Rémi Delmas, Youssef Hamadi



PDF
Thumbnail PDF

Artifact Description

DARTS.7.2.14.pdf
  • Filesize: 444 kB
  • 4 pages

Document Identifiers

Author Details

Maxime Buyse
  • Uber Elevate, Paris, France
Rémi Delmas
  • Uber Elevate, Paris, France
Youssef Hamadi
  • Uber Elevate, Paris, France

Cite AsGet BibTex

Maxime Buyse, Rémi Delmas, and Youssef Hamadi. ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 14:1-14:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/DARTS.7.2.14

Artifact

Abstract

This artifact contains a virtual machine allowing to use ALPACAS, a domain-specific language and algorithms aimed at architecture modeling and safety assessment for critical systems. ALPACAS allows to study the effects of random and systematic faults on complex critical systems and their reliability. The underlying semantic framework of the language is Stochastic Guarded Transition Systems, for which ALPACAS provides a feature-rich declarative modeling language and algorithms for symbolic analysis and Monte-Carlo simulation, allowing to compute safety indicators such as minimal cutsets and reliability. Built as a domain-specific language deeply embedded in Scala 3, ALPACAS offers generic modeling capabilities and type-safety unparalleled in other existing safety assessment frameworks. This improved expressive power allows to address complex system modeling tasks, such as formalizing the architectural design space of a critical function, and exploring it to identify the most reliable variant. The features and algorithms of ALPACAS are illustrated on a case study of a thrust allocation and power dispatch system for an electric vertical takeoff and landing aircraft.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Domain specific languages
  • Computer systems organization → Embedded and cyber-physical systems
Keywords
  • Domain-Specific Language
  • Deep Embedding
  • Scala 3
  • Architecture Modelling
  • Safety Assessment
  • Static Analysis
  • Monte-Carlo Methods

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail