Requirement Verification with CRML and OpenModelica

Authors

  • Lena Buffoni Linkoping University
  • Audrey Jardin Electricité de France
  • Adrian Pop Linköping University

DOI:

https://doi.org/10.3384/ecp218971

Keywords:

CRML, Requirements, Validation&Verification

Abstract

Common Requirement Modeling Language (CRML) is alanguage designed to express requirements in an intuitivemanner, in this paper we present the recent advancementsin tool support for the requirement modeling and verifica-tion workflow in OpenModelica and illustrate this on theTraffic Light use-case.

Downloads

Published

2025-10-24

Issue

Proceedings of the 16th International Modelica&FMI Conference, September 8 – 10, 2025, Lucerne University of Applied Sciences and Arts (HSLU)

Section

Papers

License

Copyright (c) 2025 Lena Buffoni, Audrey Jardin, Adrian Pop

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.