fault-tree alternatives and similar packages

Based on the "Embedded" category.
Alternatively, view fault-tree alternatives based on common mentions on social networks and blogs.

atom

9.6 0.0 fault-tree VS atom

A DSL for embedded hard realtime applications.
copilot

9.4 0.0 fault-tree VS copilot

A (Haskell DSL) stream language for generating hard real-time C code.

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com

ecu

8.7 0.0 fault-tree VS ecu

Utilities for automotive ECU development.
improve

8.4 0.0 fault-tree VS improve

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
verilog

8.1 0.0 fault-tree VS verilog

A Verilog parser for Haskell.
ion

6.9 0.0 fault-tree VS ion

An Ivory library inspired by Atom
copilot-language

6.4 0.0 fault-tree VS copilot-language

A Haskell-embedded DSL for monitoring hard real-time distributed systems.
atom-msp430

5.9 0.0 fault-tree VS atom-msp430

Definitions for using Atom with the MSP430 microcontroller family.
copilot-sbv

5.5 0.0 fault-tree VS copilot-sbv

SBV backend for Copilot.
processor-creative-kit

4.0 0.0 fault-tree VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-core

3.5 0.0 fault-tree VS copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
copilot-libraries

3.3 0.0 fault-tree VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

2.6 0.0 fault-tree VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

2.2 0.0 fault-tree VS copilot-c99

A C99-backend for Copilot