45 packages returned for Tags:"simulation"

Planar Mechaism Kinematic Simulation
PMKS returns quick and accurate results for the position, velocity, and acceleration of rigid bodies connected as planar mechanisms. This project is typically used with the aid of the web tool (PMKS_Web project which is a Silverlight project), or the forthcoming UWP application. It may also be... More information
Sim# aims to port the concepts used in SimPy (https://pypi.python.org/pypi/simpy) to the .NET world. It is implemented in C# and builds on the .NET Framework 4.5 / .NET Standard 2.0. Sim# uses an efficient event queue (adapted from https://github.com/BlueRaja/High-Speed-Priority-Queue-for-C-Sharp).... More information
High Level Architecture (HLA) Runtime Infrastructure (RTI) Abstraction Layer for MS.NET
S#
S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a domain specific modeling language and fully automated formal safety analysis tools based on... More information
Synchronous Message Exchange simulation and component library