Search Results for "openca-tools"
Sort By:
12 projects for "openca-tools" with 2 filters applied:
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
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.
-
1
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
...This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
2
RKH - State Machine Framework
State machine framework for reactive embedded systems
...This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. Broadly speaking, the RKH implementation has been designed from the ground up to be used in 8-bits platforms but can be easily adapted to 16 or 32-bits platforms. -
3
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
4
AnthillaOS
a linux based readonly image as appliance
Visit also: https://github.com/Anthilla/AnthillaOS For more updated Informations. Usable as test/dev exercise for appliances An x86 64bit gentoo image customized for readonly usage as appliances, fully functional and complete of more than 1000 pkg based on a gentoo+systemd distro. Hypervisor (kvm or xen) Storage (ZFS and Gluster) Container (Docker) Networking (iproute2, nftable, OpenVSwitch, Bird) Antd (http://www.anthilla.com/en/software/antd/ ) web based... -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
serlogger
serial logging tool with time stamps and hotkey and automation support
a flexible serial logging tool, runs on GNU/Linux, which can be useful for timing analysis and logging capture of embedded system development. -
6
...YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
7
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...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. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
8
smartCOMs
smartCOM is a graphical serial device terminal.
smartCOM is a graphical serial device terminal, it's an alternative to minicom. It is aimed mainly at hardware developers who need a gui test tools to talk to their custom hardware. The GUI is written using the wxWidgets library, and using the tinyxml to save or load config. http://gnssinfo.com/2012/11/21/wiki-smartcom/ -
9
Teuton Preinstalled Environment (TPE)
Alternative PE to rescue, hack or troubleshoot your machine or network
TeutonPE is inspired by PortableApps.com combined with a PeBuilder compiled Boot USB / CD. Programs can be used, even when there is no OS installed. BB4win is used for Live Menu and as the default Shell.All Plugins are also BartPE & XPE compatible -
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
This is a simple command line tool to customize CP2103 USB to UART bridge controllers in home-grown hardware. VID, PID, product name string, serial number string, and release version of the device can be changed next to GPIO port modes.
-
11
-
12
With GLCD Tools you can convert windows bitmap files (bmp) to a byte array suitable for graphic LCD displays. Additionally you can create fontsets out of your system fonts for the displays. It outputs C Code which you can use in your µC project.
- Previous
- You're on page 1
- Next
