Work Group Leader: Conrad Bock

Work Group Members:

• SysML and Modelica Integration WG members
• Ion Matei
• Manas Bajaj
• Din Libes
• Steve Coy
• Gregory Gershanok

• get_pdf.cfm “An Analysis of Solver-Based Simulation Tools”, a survey of solver-based simulators, Matei and Bock, 2012
• NIST.IR.7875.pdf “Modeling Methodologies and Simulation for Dynamical Systems”, describes two ways simulators are used, Matei and Bock, 2012
• NIST.IR.7888.pdf “SysML Extension for Dynamical System Simulation Tools”, covers a simulator-independent extension of SysML, Matei and Bock, 2012
• cellier-physical-modeling-1996.pdf “Modeling from Physical Principles”, Cellier, 1996

• HVC2012Eldad_Palachi.pdf “Simulating Cyber-Physical Systems using SysML and Numerical Simulation Tools”, Palachi, Eighth Haifa Verification Conference Tutorial, 2012