ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
Please note that the ITEA Office will be closed from 25 December 2024 to 1 January 2025 inclusive.
ITEA 4 page header azure circular

CRML language specification

Project
18039 EMBrACE
Description
  • CRML (Common Requirement Modelling Language) is a new language for the formal modelling of requirements
  • CRML has a close to natural language to be legible by experts from different disciplines and stakeholders from different domains
  • CRML is a functional, object-oriented and set language to express timedependent multidisciplinary operating constraints on CPS (cyberphysical systems)
  • CRML supports the complete design lifecycle, from early to detailed design
  • CRML supports traceability and multiple design architectures
  • CRML supports co-simulation with behavioral models to perform automatic verification of design vs. requirements
Contact
Daniel Bouskela (EDF), Audrey Jardin (EDF), Lena Buffoni (University of Linköping)
Email
daniel.bouskela@edf.fr
Technical features

Input(s):

  • None

Main feature(s):

  • Detailed specification of the CRML language

Output(s):

  • None
Integration constraints

The specification is self-supporting but must be utilized with a CRML compiler.

Targeted customer(s)
  • Tool vendors
  • CPS engineers
Conditions for reuse

Under open-source license to be defined.

Confidentiality
Public
Publication date
16-11-2022
Involved partners
Electricité De France (FRA)
Linköping University (SWE)