Log In
New Account

HomeMy PageProjects

Tag Cloud | Project List

24 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>
AWS - AWS is a complete framework to develop Web based applications in Ada. The project has moved to GitHub: https://github.com/AdaCore/aws/

Register Date: 2011-01-25 16:49

Comparing Safety Standards - This is an informal group gathering, comparing and sharing information on software safety standards in various industries such as Aeronautics, Space, Railway, Energy, Nuclear, Automation, etc.

Register Date: 2012-05-22 12:52

Couverture - Coverage analysis toolset for safety-critical software projects undergoing a DO-178B software audit process for all levels of criticality.

Register Date: 2009-06-11 12:36

Couverture-qemu - qemu part of the Couverture project developments, core to the Couverture non-intrusive coverage analysis framework.

Register Date: 2010-01-12 11:15

Explanatory documents on DO-178C - Explanatory documents on DO-178C

Register Date: 2012-03-22 09:48

Gene-Auto/Ada - Gene-Auto/Ada is a DO-178-qualified model compiler for synchronous modeling languages such as Simulink, StateFlow and Scicos. The model compiler targets SPARK.

Register Date: 2009-08-05 09:05

GNAT AST to XML translator - This project will provide an XML representation of the GNAT abstract syntax tree, so as to provide an interface that is easy for analysis tools to consume, independent of the language in which these tools are written.

Register Date: 2012-07-05 20:30

GNATcheck Qualifying Machine - The qualifying machine for GNATcheck.

Register Date: 2009-11-27 15:38

GNATPython - GNATPython is a python framework to ease development of test suites and build scripts in a portable way.

Register Date: 2010-05-04 12:52

HiberSource System - This configuration management system is used to manage project data in accordance with DO-178B and supports full software life cycle.

Register Date: 2009-10-21 16:45

Hi-Lite - An integration of testing, static analysis and formal proof for mixed Ada/C programs around a common expression of specifications, with the aim to greatly facilitate verification of properties for high-integrity software.

Register Date: 2010-02-17 17:02

IP217 Information Model for reqs/design - The purpose of the IP217 project is to develop and present a fully explained, detailed, exampled and documented version of the IP217 information model for requirements and design and verification.

Register Date: 2009-07-21 15:31

OpenDO Forge Documentation - A repository of userful information for Forge users and Forge project administrators.

Register Date: 2012-05-15 15:14

ParaSail Programming Language - Design and Implementation of a safe and secure parallel programming language, as part of investigating ways to add parallel programming features while preserving language safety and verifiability

Register Date: 2013-05-24 15:03

ptest - Test project

Register Date: 2016-01-06 15:40

P Toolset - This project is private.

Register Date: 2012-05-22 10:51

Riposte - Riposte is the counter-example generator for SPARK.

Register Date: 2011-07-07 13:44

Shared Web Components - Independent high-level web components in use by the Qualifying Machine (QM) and useable by other projects.

Register Date: 2011-08-04 14:21

SPARK 2014 - SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Register Date: 2012-05-30 12:16

Sparkel Programming Language - This project will gather information on the high-integrity Sparkel parallel programming language being designed and implemented at AdaCore as part of a parallel programming technology investigation.

Register Date: 2013-08-28 15:52

24 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>