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.

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com

ecu

8.7 0.0 fault-tree VS ecu

Utilities for automotive ECU development.
improve

8.5 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.0 0.0 fault-tree VS ion

An Ivory library inspired by Atom
copilot-language

6.7 0.0 fault-tree VS copilot-language

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

6.3 0.0 fault-tree VS atom-msp430

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

6.0 0.0 fault-tree VS copilot-sbv

SBV backend for Copilot.
processor-creative-kit

4.9 0.0 fault-tree VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-core

4.5 0.0 fault-tree VS copilot-core

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

4.3 0.0 fault-tree VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

3.8 0.0 fault-tree VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

3.2 0.0 fault-tree VS copilot-c99

A C99-backend for Copilot