Safety-Critical Tools-Env

Safety-Critical Development Environments

A safety-related system (or sometimes safety-involved system) comprises everything (hardware, software, and human aspects) needed to perform one or more safety functions, in which failure would cause a significant increase in the safety risk for the people or environment involved.[5] Safety-related systems are those that do not have full responsibility for controlling hazards such as loss of life, severe injury or severe environmental damage. The malfunction of a safety-involved system would onl

VectorCast

VectorCast is a provider of software analysis, and test and requirements traceability tools for the Public and Private sectors and a pioneer in static and dynamic software analysis.

LDRA Testbed

Liverpool Data Research Associates (LDRA) is a provider of software analysis, and test and requirements traceability tools for the Public and Private sectors and a pioneer in static and dynamic software analysis.

GreenHills Multi

MULTI is an integrated development environment (IDE) for the programming languages C, C++, Embedded C++ (EC++), and Ada, aimed at embedded engineers.[11][non-primary source needed]

VxWorks

VxWorks is a real-time operating system (RTOS) developed as proprietary software by Wind River Systems,

ANSYS SCADE

Model-based design provides an efficient approach for establishing a common framework for communication throughout the design process while supporting the development cycle (V-model). In model-based design of control systems, development is manifested in these four steps:

modeling a plant,
analyzing and synthesizing a controller for the plant,
simulating the plant and controller,
integrating all these phases by deploying the controller.

Safety-Critical Tools

Add a description about this category

DOORS

Dynamic Object-Oriented Requirements SystemAdd a description Software engineers typically need to show traceability of requirements between customer documents and specifications.

Moreover, understanding the ramifications of adding or deleting requirements in complex designs, or ascertaining which requirements drove the creation of certain design elements, can be a daunting task.

Rhapsody

Rational Rhapsody, a modeling environment based on UML, is a visual development environment for systems engineers and software developers creating real-time or embedded systems and software.

C/C++

The C and C++ programming languages are closely related but have many significant differences. C++ began as a fork of an early, pre-standardized C, and was designed to be mostly source-and-link compatible with C compilers of the time.[1][2] Due to this, development tools for the two languages (such as IDEs and compilers) are often integrated into a single product, with the programmer able to specify C or C++ as their source language.

Tortise SVN

TortoiseSVN is a popular SVN client that is used to communicate with the SVN server. It is a revision control, version control, and source control software for windows. It is based on a top Apache product 'Subversion'. It provides a splendid and easy user interface for the SVN.

All SW tools used in the development of certifiable products must be certified by the FAA RTCA DO-330 - Software Tool Qualification Considerations