ocarina

NOASSERTIONAdav2021.1

77 stars32 forks0 contributors

Overview

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Last commit

4 years ago

CreatedSince 2013

Auto-fetched 38 minutes ago

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Ada finite-state machine generator.

Generator of JUnit-compatible XML reports in Ada

ASN.1 compiler for embedded systems