Please note that the ITEA Office will be closed from 25 December 2024 to 1 January 2025 inclusive.
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)
- 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)