Keywords: system modeling; requirement verification; ModelicaML
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
[2] Object Management Group: OMG Unified Modeling Language TM (OMG UML). http://www.uml.org/.
[3] OpenModelica Project: ModelicaML - A UML Profile for Modelica. http://www.openmodelica.org/modelicaml.
[4] C. Erlandsson. Revising the user function requirements document of fuel level display for compliance with iso 26262 and literature. Master’s thesis; 2012.
[5] Martin Glinz. On non-functional requirements. In Requirements Engineering Conference; pages 21–26; 2007.
[6] L. Hans. The SESAMM concept. PD1422538; 2003.
[7] Wladimir Schamai; Peter Fritzson; Christiaan J. J. Paredis; and Philipp Helle. Modelicaml value bindings for automated model composition. In Proc. of Symposium on Theory of Modeling and Simulation (TMS/DEVS 2012); 2012.
[8] Wladimir Schamai; Philipp Helle; Peter Fritzson; and Christiaan J. J. Paredis. Virtual verification of system designs against system requirements. In MoDELS Workshops; pages 75–89; 2010.