Embedded Systems

APPEL - AGILA ProPErty and Dependency Description Language

by Christoph Grimm, Frank Wawrzik, Alexander Jung, Konstantin Luebeck, Sebastian Post, Johannes Koch, and Oliver Bringmann
In Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2021, 2021.

Abstract

We give an overview of the language APPEL, the “AGILA Property and Dependency Description Language”. It ispart of the cloud-based tool AGILA that supports agile development methods. The language allows us to structure anddocument the knowledge about system-wide dependencies in a formal, textual form. APPEL models can be uploaded tothe cloud, where they are used as a knowledge-base for continuous verification and validation, from early specification torun-time verification. We describe syntax, semantics, and demonstrate its application for predicting the performance ofhardware/software systems in the context of the GENIAL! project.