.CRML.UsersGuide.Overview

Information

CRML(Common Requirement Modeling Language) is a language for the simulation of temporal requirements on cyber-physical systems.

This library is a Modelica implementation of CRML. It requires the use of the Modelica language version 3.3 or later to support the notion of clock.

For more information, please consult the following references:

• Bouskela D., Nguyen T. and Jardin A. (2017), “Toward a Rigorous Approach for Verifying Cyber-Physical Systems Against Requirements,” Canadian J. of Electrical and Computer Engineering, Vol. 40-2, pp. 66-73.
• Bouskela D., Buffoni L., Jardin A., Molnar V., Pop A. and Zavada A. (2023), "The Common Requirement Modeling Language", Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11.

Regarding the RandomFailure block in package Blocks.Events, please consult the following reference:

• Bouissou M. and Buffoni L. (2020), “Generic Method to Transform a Modelica Simulation into a Dynamic Reliability Model,” IMdR, Institut pour la maîtrise des Risques, 22e Congrès de Maîtrise des Risques et Sûreté de Fonctionnement.