Search Results for "model based testing tool"
Sort By:
Showing 88 open source projects for "model based testing tool"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
WorkforceHub is the instantly useful, delightfully simple to use, small business solution for tracking time, scheduling and hiring. It scales as your business grows while delivering the mission-critical features an organization needs. It is tailored to, built for, and priced for small business employers.
-
1
MeshLab
The open source mesh processing system
MeshLab is an open-source, portable, and extensible system for the processing and editing of unstructured large 3D triangular meshes. It is aimed to help the processing of the typical not-so-small unstructured models arising in 3D scanning, providing a set of tools for editing, cleaning, healing, inspecting, rendering and converting this kind of meshes. MeshLab is mostly based on the open source C++ mesh processing library VCGlib developed at the Visual Computing Lab of ISTI - CNR. VCG can... -
2
DNP3 Protocol Win Linux test tool code
DNP3 Outstation and client simulator, Source code Library, win, Linux
DNP3 Protocol - v21.06.008 Complete implementation of DNP3 protocol standard including File transfer. Binary Input, Double-bit Binary Input, Binary Output, Counter Input, Analog Input, Analog output, Octect String, virtual terminal String. support CROB, analog output command with "select-before-operate" or "direct-execute" command execution modes Industry proven, tested with all leading test tools. DNP3 Protocol RTU Outstation Server Simulator, Client Master Simulator,... -
3
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL... -
4
IEC60870-5 101 tools library download
IEC 101 Server and Client Simulator Source code Library, Win, Linux
v21,06.008 IEC101 RTU Server Simulator, IEC101 Client Master Simulator, Static and Dynamic Libraries, Source Code Library. Driver for Windows, POSIX Linux, ARM , PowerPC, QNX & more * Make your RTU, protocol converter, Gateway, HMI, Data concentrator compatible with iec 101. * Download Free Evaluation Kit - IEC 60870-5-101 Development Bundle. * In the Bundle included IEC 101 Server & Client Simulator, Windows and Linux SDK, C# projects, Doxygen , Raspberry Pi, ... -
Repfabric is a customer relationship management (CRM) software designed specifically for multi-line sales teams (i.e. reps, distributors, wholesalers, dealers, and manufacturers). It streamlines and simplifies the sales process by providing deep integration with email, contacts, calendars, and deal tracking. The platform enables users to track commissions from CRM to sale, make updates directly from mobile devices, and document sales calls using voice-to-text features.
-
5
Habfuzz
A command-line tool for data-driven fuzzy modelling
Input 1 - A training dataset (multiple observations) of up to four variables (predictors) against one (response variable) Input 2 - A test dataset (multiple observations) of the same four variables with unknown response variable Output - Calculation of the response variable for each test observation using fuzzy logic or fuzzy rule-based Bayesian algorithms HABFUZZ is a habitat model, which can be used in ecohydraulic modelling applications for the calculation of the instream habitat... -
6
IEC 60870-5 104 Protocol download
IEC 104 RTU Server Client Simulator Source Code Library Win Linux
v21.06.008 Complete implementation of iec 104 protocol standard including File transfer. Make your RTU, protocol converter, Gateway, HMI, Data concentrator compatible with iec 104. *Industry Proved * Worldwide Customers Download Evaluation Kit - IEC 104 Development Bundle In the Development Bundle, We included IEC 104 Server & Client Simulator, Windows & Linux... -
7
MRCube
Meta-Model Management based on RDFs Revision Reflection
MRCube is a graphical editing tool of RDF-based contents developed for managing a relationship between RDF and RDFS contents. -
8
OpenSIMPLY
Discrete-event simulation modeling software for science and education
... of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. This simulation tool runs in Windows and Linux, on 32-bit and 64-bit platforms, as a GUI or console (terminal) application. Write the model only once, simulate anywhere. Videos on installing OpenSIMPLY for different IDEs and operating systems : https://www.youtube.com/playlist?list=PLnyWoktGqA -
9
Baya - SoC Integration Platform
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
1. Comes with 200+ high level Tcl commands around SoC platform assembly 2. Easy to start - use the verilog2baya tool to convert existing SoC/SS into Baya 3. Adhoc and Interface based connections 4. Autoconnections 5. Rule based connections between component ports 6. A variety of SoC integration Methodologies 6.a. XLS/CSV Based connections 6.b. Port-to-Port Adhoc connections 6.c. IP-XACT and System Verilog Interface based connections 6.d. ... 7. Maintains a connectivity database... -
ConnectWise PSA (formerly Manage) allows you to stop working in separate systems, and helps you build a more profitable business. No more duplicate data entries, inefficient employees, manual invoices, and the inability to accurately track client service issues. Get a behind the scenes look into the award-winning PSA that automates processes for each area of business: sales, help desk, support, finance, and HR.
-
10
IEC 101 Protocol Linux arm POSIX code
IEC 101 Embedded Linux ARM, POSIX x86 x86-64 - c, c++ programming
v21,06.008 Supports Embedded Linux (ARM, Coldfire, Power PC), Ubuntu Linux(X86, X86-64), Fedora, CentOS, Red Hat. IEC 60870-5-101 Linux SDK - includes Demo Linux Shared Library, simple (Server & Client C programs )example using a Command window and command line inputs. The source code will allow you to quickly compile your own examples with the features of your existing development environment to work with our IEC 101 library. IEC 101 Linux SDK contains Shared Library(.a)... -
11
IEC 104 Protocol Linux arm code download
IEC 104 Source code Library for Linux c c++ posix arm
v21.06.008 Complete implementation of IEC 104 including file transfer. Supports Embedded Linux (ARM, Coldfire, Power PC), Ubuntu Linux(X86, X86-64), Fedora, CentOS, Red Hat. FreyrSCADA IEC 60870-5-104 Linux SDK contains Shared Library(.a) (precompiled library), Static link lib, Demo IEC104 Server & Client programs, CodeBlock Demo console project files, Doxygen . Get free Evaluation Kit - IEC 60870-5-104 Development Bundle In the Development Bundle, We included IEC 60870-5-104... -
12
The FMI++ Library
A High-level Utility Package for FMI-based Software Development
The Functional Mock-up Interface (FMI) specification intentionally provides only the most essential and fundamental functionalities in the form of a C interface. On the one hand, this increases flexibility in use and portability to virtually any platform. On the other hand, such a low-level approach implies several prerequisites a simulation tool has to fulfill in order to be able to utilize such an FMI component. The FMI++ library addresses this problem for models and tools with interfaces... -
13
Kalypso is an open source application for geospatial modelling and simulation. It is primarily developed to be a user friendly tool for GIS-based modelling and simulation of hydrological and hydraulic numerical models.
-
14
MiModD
Mutation Identification in Model Organism Genomes using Desktop PCs
MiModD is a software package for genomic variant identification from next-generation sequencing (NGS) data with optimized usage of system resources and a user-friendly interface. For most model organism genomes it lets the user carry out a complete analysis from unaligned genomic NGS read data to an annotated list of variants on a regular Desktop PC within a few hours. Its user-interface is beginner-friendly and designed to encourage geneticists to analyze NGS data themselves without the help... -
15
MAGeCK
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. We thank the support from... -
16
opencpnplugins
Plugins for OpenCPN
This project hosts various plugins for the OpenCPN chart plotter, which are not bundled with the core package. OpenCPN is a free software (GPLv2) project to create a concise chart plotter and navigation software, for use underway or as a planning tool. OpenCPN is developed by a team of active sailors using real world conditions for program testing and refinement. -
17
U-Net Fusion RFI
U-Net for RFI Detection based on @jakeret's implementation
... to this model for further experimentation, including Squeeze/Excitation layers (unimplemented.) Sum Threshold (in fusion as an expert, and in testing as a comparison) requires the use of AOFlagger by Andre Offringa. You can find this code at https://gitlab.com/aroffringa/aoflagger. This project will use the aoflagger program within the code, so you may need to ensure that any environment variables are set for aoflagger before use. cite: https://sourceforge.net/p/u-net-fusion-rfi/wiki/cite/ -
18
SMTracker (v1.5, v2.0)
A tool for analysis and visualization of single-molecule tracking data
SMTracker v2.0 is a MATLAB-based graphical user interface (GUI) for automatically quantifying, visualising and managing SMT data via five interactive panels, allowing the user to interactively explore tracking data from several conditions, movies and cells on a track-by- track basis. Diffusion parameters and motion behaviour is analysed by several methods: a) by a Gaussian mixture model ,or b) by using the cumulative probability distribution of square displacements, c) Mean-Squared displacement... -
19
This application is intended to be a tool for easy, almost automatic, creation and calculation of gear transmission finite element models. It consists of a geometry and mesh generator based on GMSH and a finite element model based on GETFEM++.
-
20
Open Source Data Quality and Profiling
World's first open source data quality & data preparation project
This project is dedicated to open source data quality and data preparation solutions. Data Quality includes profiling, filtering, governance, similarity check, data enrichment alteration, real time alerting, basket analysis, bubble chart Warehouse validation, single customer view etc. defined by Strategy. This tool is developing high performance integrated data management platform which will seamlessly do Data Integration, Data Profiling, Data Quality, Data Preparation, Dummy Data Creation... -
21
PBTK Optimizer
Application for optimization of parameters in PBTK models
Physiologically based toxicokinetic (PBTK) modeling offers great promise in environmental risk assessment, potentially speeding up dose-response studies while minimizing animal testing. Some limitations exist in the PBTK field, such as difficulty of model development and a lack of application specific software tools to help modelers. Some parameters used in PBTK models, such as tissue weights, are easily measure. Other parameters can be determined through in-vitro experiments or through... -
22
Meaning Explorer
A tool for analyzing the words of the Quran
... of this tool are Arabic Quranic scholars and linguists. The Meaning Explorer applies a new distributional semantic model to extract words’ significant co-occurrences from the Quran. This model is based on the Refined MI association measure applied to all words within a symmetric sliding window of five words surrounding the node word. The Refined MI association measure is chosen because of its remarkable ability ability to extract syntagmatic relations between the words of the Quran. -
23
MarDRe
MapReduce-based tool to remove duplicate DNA reads
MarDRe is a de novo MapReduce-based parallel tool to remove duplicate and near-duplicate DNA reads through the clustering of single-end and paired-end sequences from FASTQ/FASTA datasets. This tool allows bioinformatics to avoid the analysis of not necessary reads, reducing the time of subsequent procedures with the dataset. MarDRe is the Big Data counterpart of ParDRe (link above), which employs HPC technologies (i.e., hybrid MPI/multithreading) to reduce runtime on multicore systems... -
24
SystemC Network Simulation Library (SCNSL) is an extension of SystemC to allow modelling packet-based networks such as wireless networks, ethernet, fieldbus, etc. As done by basic SystemC for signals on the bus, SCNSL provides primitives to model packet trasmission, reception, contention on the channel and wireless path loss. The use of SCNSL allows the easy and complete modelling of distributed applications of networked embedded systems such as wireless sensor networks, routers...
-
25
Dynamic Linkage
Dynamic Linkage Social Aggregation Model
This project will create a user-friendly modeling system for studying animal social aggregations. The model codifies the a new hypothesis that the animal's state, kinematics, and the group's emergent properties are dynamically linked together, with each one affecting the others. The model will be constructed using Object-Oriented MatLab.