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.

Build time-series-based applications quickly and at scale.

InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

Promo www.influxdata.com

ecu

8.6 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.2 0.0 fault-tree VS verilog

A Verilog parser for Haskell.
ion

7.2 0.0 fault-tree VS ion

An Ivory library inspired by Atom
copilot-language

6.6 0.0 fault-tree VS copilot-language

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

6.1 0.0 fault-tree VS atom-msp430

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

5.8 0.0 fault-tree VS copilot-sbv

SBV backend for Copilot.
copilot-core

4.0 0.0 fault-tree VS copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
processor-creative-kit

3.8 0.0 fault-tree VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-libraries

3.8 0.0 fault-tree VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

3.2 0.0 fault-tree VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

2.6 0.0 fault-tree VS copilot-c99

A C99-backend for Copilot