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.

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

Safety-critical software tools are essential for developing and verifying software in systems where failures could lead to harm, requiring rigorous verification and validation to ensure reliability and safety. These tools include those for static analysis, formal methods, and test automation, helping developers build robust and safe software.

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

Non-Safety-Critical (DO-330) Tools-Env

Atlassian Jira, continuous Integration, Continuous Delivery (CI/CD) Development Tools

Overview

Jira Team Management | Integrate Seamlessly with Jira Atlassian https://marketplace.atlassian.com › jira-work › management

While Atlassian Jira is a powerful tool for project management and issue tracking, it's not specifically designed for DO-178C compliance, which is a stringent standard for software development in safety-critical airborne systems. However, Jira can be used to manage tasks and track progress related to DO-178C compliance efforts. Here's a breakdown of how Jira can be used in conjunction with DO-178C:

DO-178C Overview: DO-178C is an international standard that ensures the safety and reliability of software used in airborne systems.

Jira's Role: Jira can be a valuable tool for managing the various aspects of DO-178C compliance, such as:
- Requirements Management: Track and manage software requirements, ensuring they are well-defined and traceable.
- Task Management: Assign tasks to team members, track progress, and manage dependencies related to DO-178C compliance activities.
- Issue Tracking: Log and track bugs, defects, and issues identified during the development and testing phases.
- Configuration Management: Manage software versions, changes, and artifacts.
- Documentation: Store and manage DO-178C-related documentation, such as reports, checklists, and evidence of compliance.

Limitations: Jira is not a DO-178C-specific compliance tool, so it may not have all the features and functionalities required for strict compliance. Example:
- Ability to Freeze and Baseline All artifacts in accordance with DO-178C.
- Ability to evaluate and export artifacts as evidence of DO-178C compliance.
Recommendation: Integrate Jira with other tools to ensure full compliance.

· Alternative:

Tools: For specific DO-178C compliance needs, consider using specialized tools like Jama Software, Visure Solutions, or Parasoft.
Compliance: DO-178C Compliance - ParasoftDO-178C is an international standard governing the development of software in airborne systems and equipment to ensure functional ...📷Parasoft
Compliance Tools: Best DO-178C Compliance Tools, Checklists & TemplatesKey Objectives of DO-178C Compliance The DO-178C standard outlines stringent software development and verification processes to en...📷Visure Solutions

Jira is a project management and issue tracking software, while DO-178C is a standard for developing and certifying software for aviation systems.

Jira can be used to manage the development process and track issues, but it's not a certification standard in itself. Here's a more detailed comparison.

Jira:

Purpose: Issue tracking, project management, and workflow customization, especially for agile development teams.
Functionality:Features include customizable Scrum and Kanban boards, issue tracking, and project management capabilities.
Use in DO-178C:Can be used to manage tasks, track issues, and manage the software development lifecycle within a DO-178C project.
Example:Jira can be used to track bugs, manage requirements, and monitor progress towards meeting DO-178C requirements.

DO-178C:

Purpose:A standard for developing and certifying software for airborne systems, ensuring safety and reliability.
Functionality:Provides guidance on software development processes, verification, validation, and configuration management.
Use in DO-178C:DO-178C is a standard that needs to be followed, and Jira can be used as a tool to help manage the development process in accordance with DO-178C.
Example:DO-178C outlines requirements for software development, verification, and validation, which Jira can help manage.

In essence: Jira is a tool that can be used during the development process of a DO-178C project, but DO-178C itself is a standard that defines the requirements and processes for developing and certifying software for aviation systems.

Atlasian Tool Chain:

Atlassian: Atlassian Corporation (/ətˈlæsiən/) is an Australian software company that specializes in collaboration tools designed primarily for software development...40 KB (3,202 words) - 20:21, 12 February 2025
Jira (software) (redirect from Atlassian Jira)Jira (/ˈdʒiːrə/ JEE-rə) is a software product developed by Atlassian that allows bug tracking, issue tracking and agile project management. Jira is used...10 KB (849 words) - 01:00, 17 January 2025
Confluence (software) (redirect from Atlassian Confluence)web-based corporate wiki developed by Australian software company Atlassian. Atlassian wrote Confluence in the Java programming language and first published...12 KB (966 words) - 20:40, 23 December 2024
Java code coverage toolscode coverage tools are of two types: first, tools that add statements to the Java source code and require its recompilation. Second, tools that instrument...18 KB (1,725 words) - 20:02, 5 August 2024
Bitbucket (redirect from Atlassian Stash)Bitbucket is a Git-based source code repository hosting service owned by Atlassian. Bitbucket offers both commercial plans and free accounts with an unlimited...11 KB (666 words) - 23:59, 17 December 2024
Crucible (software) (category Atlassian products)collaborative code review application by Australian software company Atlassian. Like other Atlassian products, Crucible is a Web-based application primarily aimed...3 KB (197 words) - 21:08, 22 April 2024
Canvastill known as a "darling" of the Australian tech sector, along with Atlassian. In March 2022, Canva had over 75 million monthly active users. Co-founders...34 KB (2,060 words) - 06:16, 7 March 2025
Stride (software) (category Atlassian products)a cloud-based team business communication and collaboration tool, launched by Atlassian on 7 September 2017 to replace the cloud-based version of HipChat...6 KB (440 words) - 16:48, 5 July 2024
IntelliJ IDEA (category Java development tools)Atlassian. Archived from the original on 2011-10-18. Retrieved 2009-02-07. "We are discontinuing the support for Atlassian IDE Connectors - Atlassian...18 KB (1,034 words) - 09:09, 30 January 2025
Apache GroovyScriptRunner, embeds a Groovy implementation to automate and extend Atlassian tools, in use by more than 20000 organisations around the world. Apache OFBiz...36 KB (3,554 words) - 12:30, 29 January 2025
Code Insight (category Programming tools)or revision history provided by tools like Atlassian FishEye. "Code Insight (IDE Tutorial) - RAD Studio". FishEye tool provides code insight Archived 2009-02-21...904 bytes (67 words) - 02:37, 15 November 2021
List of Unified Modeling Language toolsUML tools. UML tools are software applications which support some functions of the Unified Modeling Language. List of requirements engineering tools "ArgoUML"...33 KB (840 words) - 09:14, 25 February 2025
Mike Cannon-Brookes (category Atlassian people)UNSW co-op scholarship. Before founding Atlassian, Cannon-Brookes co-founded an internet bookmark management tool called The Bookmark Box with his university...45 KB (2,860 words) - 14:22, 14 February 2025
Comparison of continuous integration softwareServer 8.0 | Atlassian Documentation". confluence.atlassian.com. "NAnt | Bamboo Server 8.0 | Atlassian Documentation". confluence.atlassian.com. "Visual...23 KB (346 words) - 20:43, 8 March 2025
Trello (category Atlassian products)Trello is a web-based, kanban-style, list-making application developed by Atlassian. Created in 2011 by Fog Creek Software, it was spun out to form the basis...13 KB (1,105 words) - 19:39, 28 August 2024
ExifToolAnnamarie. "Embedded Metadata". atlassian.net. OSUL. Retrieved 2025-03-08. Duryee, Alexander; Lyons, Bertram. "Two Open-Source Tools for Digital Asset Metadata...26 KB (1,192 words) - 17:09, 9 March 2025
JSON Web TokenAnatomy of a JSON Web Token". Retrieved May 8, 2015. "Atlassian Connect Documentation". developer.atlassian.com. Archived from the original on May 18, 2015...20 KB (1,557 words) - 13:58, 19 February 2025
Loom, Inc.with an office in New York. On November 30, 2023, it was announced that Atlassian completed its purchase of Loom, Inc. In 2015, the company was founded...9 KB (781 words) - 06:25, 7 July 2024
Aha! (company)Retrieved 2014-09-08 Forman, Aaron (2014-03-04) "Atlassian launches Atlassian Connect with Aha!" Atlassian Blog. Retrieved 2014-09-08 IDG Connect (2013-08-13)...10 KB (844 words) - 15:46, 6 September 2024
HipChat (category Atlassian products)month. HipChat was launched in 2010 and acquired by Atlassian in 2012. In September 2017, Atlassian replaced the cloud-based HipChat with a new cloud product...16 KB (1,370 words) - 10:12, 7 November 2024