CRML language specification

• 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

Input(s):

• None

Main feature(s):

• Detailed specification of the CRML language

Output(s):

• None

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

• Tool vendors
• CPS engineers

Under open-source license to be defined.