Search Results for "model-builder"
Sort By:
Showing 10 open source projects for "model-builder"
View related business solutions-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
1
Active Object real-time OS
AO RTOS is small real time OS based on Active Object concurrency model
AO-RTOS is a pure object-oriented small footprint real-time operating system for embedded devices. The project is using Active Object (or Actor) concurrency model and finite state machine (FSM) design template as implementation base. -
2
QP Real-Time Event Frameworks & Tools
Real-Time Event Frameworks based on active objects & state machines
QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal microcontrollers, replacing a traditional RTOS. ... -
3
Ficl is a lightweight, embeddable scripting language designed to be incorporated into other programs, and especially embedded systems that may have memory and OS constraints. Applications include scripting, hardware bring-up, rapid prototyping, and system extensions. Unlike Lua or Python, Ficl acts as a component of your system - you feed it stuff to do, it does the stuff, and comes back to you for more. You can export compiled code to Ficl, execute Ficl code from your compiled code, or...
-
4
comFramework
Framework for CAN communication interfaces including code generator
...The engine is fed with the parsed contents of the *.dbc files and can transform the information in nearly any kind of textual representation. Major samples demonstrate how to interface the generated CAN API with dSPACE TargetLink and MathWorks Embedded Coder to support model based APSW design. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
rims-arduino-library
Recirculation infusion mash system library for Arduino
This library implement RIMS controls for home brewers. For definition of a RIMS, see https://tinyurl.com/j3lyuyc For me, an Arduino micro controller + a LCD Keypad shield was cheaper and a lot more customizable than a commercial PID controller. So, with this library, a commercial PID controller is unnecessary. Automatic PID tuning toolkit is also included. Temperature can be read with a thermistor, a resistance temperature detector (RTD) or any custom temperature probe. Heater is... -
6
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. -
7
Microcontroller Mapper
Time saving tool for mapping microcontroller peripherals
Graphical user interface that automates the process of mapping microcontroller peripherals include files using a layered module/resource approach. Layered mapping and highly generic macro creation allow it to be used with lots of microcontroller families. Currently only has support for the MSP430F5438 microcontroller. -
8
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ... -
9
Model-Driven Embedded Systems Design Environment for the Industrial Automation Sector: The aim of this open source initiative is to provide a multi-domain model-driven embedded systems design approach for Industrial Automation and Control Systems.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
serial-information-logger
This scrapes information; giving you PC and Monitor manufacturer data.
This projected was created to help IT professionals pull workstation information from their internal networks and upload the information to a specified database. Problem: Auditing IT assets manually takes weeks to log the individual information by hand. Solution: Capture the data over the network and store it for reports.
- Previous
- You're on page 1
- Next
