AI & ChatGPT searches , social queries for SOFTWARE SAFETY
Search references for SOFTWARE SAFETY. Phrases containing SOFTWARE SAFETY
See searches and references containing SOFTWARE SAFETY!
Search references for SOFTWARE SAFETY. Phrases containing SOFTWARE SAFETY
See searches and references containing SOFTWARE SAFETY!SOFTWARE SAFETY
Engineering discipline for safety-related systems
Software safety (sometimes called software system safety) is an engineering discipline that aims to ensure that software, which is used in safety-related
Software_safety
Coding guidelines by Gerald J. Holzmann
Technical Standards System Software Assurance and Software Safety Standard Open Source Satellite: How do you make software that is reliable enough for
The Power of 10: Rules for Developing Safety-Critical Code
The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code
Software installed in medical devices is assessed for health and safety issues according to international standards. Software classification is based
Software safety classification
Software_safety_classification
Instructions a computer can execute
of the software's intended functionality, so developers often focus on the most critical functionality. Formal methods are used in some safety-critical
Software
System whose failure would be serious
severe environmental harm A safety-related system (or sometimes safety-involved system) comprises everything (hardware, software, and human aspects) needed
Safety-critical_system
Protection of equipment in response to inputs
Therefore, software functionality and correct software behavior must be part of the Functional safety engineering effort to ensure acceptable safety risk at
Functional_safety
General-purpose programming language
programming language which emphasizes performance, type safety, concurrency, and memory safety. Rust supports multiple programming paradigms. It was influenced
Rust_(programming_language)
American video surveillance company
, doing business as Flock Safety, is a privately held American manufacturer and operator of security hardware and software, particularly automated license
Flock_Safety
Potential alert system for forced ATM users
ATM SafetyPIN software is a software application that allows users of automated teller machines (ATMs) to alert law enforcement of a forced cash withdrawal
ATM_SafetyPIN_software
American computer scientist
Nancy G. Leveson is an American specialist in system and software safety and a professor of Aeronautics and Astronautics at Massachusetts Institute of
Nancy_Leveson
RTCA standard for safety-critical software
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software used in
DO-178B
features in a safety-critical system, and ending in decommissioning of that system. This article uses software as the context but the safety life cycle applies
Safety_life_cycle
Software whose safety cannot be relied upon
Software of unknown pedigree (SOUP) is software that was developed with an unknown process or methodology, or which has unknown or no safety-related properties
Software_of_unknown_pedigree
Software
safety, security, and maintainability of code." Examples of high-integrity software are nuclear reactor control, avionics software, automotive safety-critical
High-integrity_software
International aeronautics software standard
has no impact on safety, aircraft operation, or crew workload. DO-178C alone is not intended to guarantee software safety aspects. Safety attributes in the
DO-178C
International standard for safety-related systems
referred to as a Software Module Testing tool. Functional safety Safety standards FMEDA Spurious trip level Time-triggered system (A software architecture
IEC_61508
Software development standard for the C programming language
set of software development guidelines for the C programming language developed by The MISRA Consortium. Its aims are to facilitate code safety, security
MISRA_C
International safety standard for automotive electrical and electronic systems
functional safety Concept phase Product development at the system level Product development at the hardware level Product development at the software level
ISO_26262
Risk management strategy using a systems-based approach
intensive systems that command, control and monitor safety-critical functions require extensive software safety analyses to influence detail design requirements
System_safety
Analysis of computer programs without executing them
so-called software quality objectives. A growing commercial use of static analysis is in the verification of properties of software used in safety-critical
Static_program_analysis
Measure in risk analysis
failure rate of a component part, such as the software. Definition of the dangerous failure modes by safety analysis is intrinsic to the proper determination
Safety_integrity_level
Software development company in Canberra, Australia
"NCH Software discontinues Google Toolbar". 6 July 2015. "NCH Software Safety Guarantee". Jan 15, 2016. "Norton Safe Site passes NCH Software as safe"
NCH_Software
Measure of the degree to which software possesses some property
In software engineering and development, a software metric is a standard of measure of a degree to which a software system or process possesses some property
Software_metric
International standard for medical software
such software should be used. Source: Quality management system Risk management Software safety classification Software development planning Software requirements
IEC_62304
Internet safety, also known as online safety, cyber safety, and e-safety, refers to policies, practices and processes that reduce harms to people that
Internet_safety
Set of social responsibility initiatives by the gambling industry
initiatives involve cooperation among operators, software vendors, and government regulators to establish safety standards. Consumer protection measures include
Responsible_gambling
Series of arguments supported by evidences to justify the safety of a system
paradigm shift is often necessary to accept Safety Cases as traditional system safety and software safety analysis and verification approaches and processes
Safety_case
Software development methodology
of a piece of software under unforeseen circumstances. Defensive programming practices are often used where high availability, safety, or security is
Defensive_programming
Transport code
Serpent is a continuous-energy multi-purpose three-dimensional Monte Carlo particle transport code. It is under development at VTT Technical Research Centre
Serpent_(software)
State of being protected from danger
that helps an equipment operator avoid mistakes Software system safety – Engineering discipline for safety-related systemsPages displaying short descriptions
Safety
Software framework to automate unit & integration testing of C/C++
the functional safety certification body SGS-TÜV GmbH as “usable in the development of safety related software” to the highest safety integrity levels
Cantata++
Real-time operating system (RTOS) software
early 1980s by Canadian company Quantum Software Systems, founded March 30, 1980, and later renamed QNX Software Systems. As of 2022[update], it is used
QNX
Artificial intelligence field of study
AI safety is an interdisciplinary field focused on preventing accidents, misuse, or other harmful consequences arising from artificial intelligence systems
AI_safety
California electric aircraft manufacturer
Bellan, Rebecca (2024-06-25). "Boeing's Wisk Aero buys Verocel to boost software safety for its self-flying eVTOL". TechCrunch. Retrieved 2025-07-28. Stonor
Wisk_Aero
Method for assessing risk
STD-1228-1994 Software Safety Plans prescribes industry best practices for conducting software safety hazard analyses to help ensure safety requirements
Hazard_analysis
Record of activities
resources and cardholder data through logging mechanisms. Software assurance Software safety Logging (computing) "National Information Assurance (IA) Glossary"
Audit_trail
Free and open-source software operating system
OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers
Genode
Embedded software with legally mandated safety and reliability concerns
Avionics software is embedded software with legally mandated safety and reliability concerns used in avionics. The main difference between avionic software and
Avionics_software
Sub-discipline of systems engineering that emphasizes dependability
"Enhancing software safety by fault trees: experiences from an application to flight critical software". Reliability Engineering & System Safety. Safety, Reliability
Reliability_engineering
Radiotherapy machine involved in six accidents
highlighted the dangers of software control of safety-critical systems. The Therac-25 has become a case study in health informatics, software engineering, and computer
Therac-25
Software that restricts or controls the content an Internet user is capable to access
form of content-control software. In 1994, the Internet Content Rating Association (ICRA) — now part of the Family Online Safety Institute — developed a
Internet_filter
State of being protected from memory access bugs
Memory safety is the state of being protected from various software bugs and security vulnerabilities when dealing with memory access, such as buffer overflows
Memory_safety
December 2017) [7 January 2013]. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press. p. 49.
AC_20-115
Hardware and software controls used on critical process systems
In functional safety, a safety instrumented system (SIS) is an engineered set of hardware and software controls which provides a protection layer that
Safety_instrumented_system
Romanian-American computer scientist
book Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Springer, 2022). Păsăreanu studied computer science at
Corina_Păsăreanu
Device to be used for medical purposes
to medical device software analysis". Embedded Systems Design. Retrieved 2016-04-21. FDA (2010-09-08). "Infusion Pump Software Safety Research at FDA"
Medical_device
Type of management
tracking, inventory management, field worker management, and driver safety. Mobile software may use databases containing details about customer-premises equipment
Field_service_management
Mathematical program specifications
likely to be applied to safety-critical or security-critical software and systems, such as avionics software. Software safety assurance standards, such
Formal_methods
Software related to robots
Robot software is the set of coded commands or instructions that tell a mechanical device and electronic system, known together as a robot, what tasks
Robot_software
Global safety certification company
"UL 2900-2-3, Software Cybersecurity for Network-Connectable Products, Part 2-3: Particular Requirements for Security and Life Safety Signaling Systems"
UL_(safety_organization)
Automotive standards organisation
creation within vehicle systems of safe and reliable software". The safety requirements of the software used in control units of Automobiles is specific as
Motor Industry Software Reliability Association
Motor_Industry_Software_Reliability_Association
Software package
SMS Pro is an aviation safety management systems software package providing a web based SMS application, SMS training, and tools for aviation service providers
SMS_Pro
Virus scan utility
Microsoft Safety Scanner is a free time-limited virus scan utility similar to the Windows Malicious Software Removal Tool. It is used to scan a system
Microsoft_Safety_Scanner
Engineering discipline
ISBN 978-0-85295-421-8. Lutz, Robyn R. (2000). Software Engineering for Safety: A Roadmap (PDF). The Future of Software Engineering. ACM Press. ISBN 978-1-58113-253-3
Safety_engineering
ACM's Special Interest Group on Software Engineering
validation, verification, debugging, software safety, mining software repositories, software processes, software management, measurement, user interfaces
SIGSOFT
Software platform for managing commercial vehicle fleets
vehicles through a single interface. The software's purpose is to improve operational efficiency, enhance safety, and ensure regulatory compliance by processing
Fleet_management_software
American professor and writer (1953–2022)
2022) was a system safety researcher, physician, anesthesiologist, university professor, and software engineer. Cook did research in safety, incident analysis
Richard Cook (safety researcher)
Richard_Cook_(safety_researcher)
Static code analysis tool
(2014-09-18). "A Case Study of Toyota Unintended Acceleration and Software Safety" (PDF). Carnegie Mellon University. Retrieved 2019-09-12. Barr, Michael
CodeSonar
Swedish tech company
construction software offering for asset owners with the acquisition of Projectmates, Hexagon Hexagon strengthens its mining automation and safety solutions
Hexagon_AB
American internet filtering and edtech company
school-owned devices. Student safety monitoring software that analyzes student online activity for language patterns associated with safety-related risks, such
Lightspeed_Systems
Extent to which a programming language discourages type errors
1006/inco.1994.1093. Macrakis, Stavros (April 1982). "Safety and power". ACM SIGSOFT Software Engineering Notes. 7 (2): 25–26. doi:10.1145/1005937.1005941
Type_safety
Profession in IT
management, identifies safety, performance, and compliance issues, and prepares software requirements and specification (Software Requirements Specification)
Software_analyst
Software company founded in 1982
Micro buys the operator business of Circle Media Labs". "Smith Micro Software acquires Avast's Family Safety Mobile business to expand market growth".
Smith_Micro_Software
Danish computer scientist
analysis, particularly for applications involving computer security and software safety. As Hanne Riis, she earned a master's degree from Aarhus University
Hanne_Riis_Nielson
Process of ensuring reliability and security
Software assurance (SwA) is a critical process in software development that ensures the reliability, safety, and security of software products. It involves
Software_assurance
Safefood 360°, Inc. is a food safety management software company founded in Dublin, Ireland, and now headquartered in Manhattan, New York, United States
Safefood_360°
Programming environment
Generation - Simulink Coder". mathworks.com. Retrieved 28 June 2015. A Software Safety Certification Plug-in for Automated Code Generators: Feasibility Study
Simulink
American corporation
software development and services company, which now forms part of Hexagon AB. It provides enterprise engineering and geospatially powered software to
Intergraph
Software engineers make up a significant portion of the global workforce. As of 2022, there are an estimated 26.9 million professional software engineers
Software engineering demographics
Software_engineering_demographics
Field concerned with the safety, health and welfare of people at work
Occupational safety and health (OSH) or occupational health and safety (OHS) is a multidisciplinary field concerned with the safety, health, and welfare
Occupational safety and health
Occupational_safety_and_health
Boeing's aircraft control system involved in fatal accidents
it had botched the software implementation and lamented the poor communications. On September 26, the National Transportation Safety Board criticized Boeing's
Maneuvering Characteristics Augmentation System
Maneuvering_Characteristics_Augmentation_System
Graphical diagram notation
(July 2010). "A Systematic Approach for Developing Software Safety Arguments". Journal of System Safety. 46 (4): 25–33. ISSN 0743-8826. The Assurance Case
Goal_structuring_notation
Software development company
company providing software development of real-time operating systems, software development tools, and software services for safety-critical embedded
DDC-I
Software development kit
Flutter is an open-source UI software development kit created by Google. It can be used to develop cross platform applications from a single codebase for
Flutter_(software)
Pam-Crash is a software package from ESI Group used for crash simulation and the design of occupant safety systems, primarily in the automotive industry
Pam-Crash
Technology company
allows GovTech and public safety software partners to integrate life-saving data from the RapidSOS Platform with their software. 2016: Winners of 21st Century
RapidSOS
Umbrella term for certain approaches to software development
Agile software development is an umbrella term for approaches to developing software that reflect the values and principles agreed upon by The Agile Alliance
Agile_software_development
American technology company
CallWorks, a provider of Next-Generation 9-1-1 (NG9-1-1) call-taking software for public safety. The company developed technology that consolidates information
Motorola_Solutions
Type of software for medical purposes
the early 1990s, prompting additional scrutiny of the "safety-critical" nature of medical software in the research and legislative communities, in part
Medical_software
Computer architecture for security
wide range of platforms. Software must be recompiled to gain fine-grained memory-safety benefits from CHERI, but most software requires few (if any) changes
Capability Hardware Enhanced RISC Instructions
Capability_Hardware_Enhanced_RISC_Instructions
Quantitative risk assessment (QRA) software and methodologies give quantitative estimates of risks, given the parameters defining them. They are used in
Quantitative risk assessment software
Quantitative_risk_assessment_software
British transport technology company
January 2023. "OnTrac | Innovative, award winning rail safety software". OnTrac | Rail Safety Software. Retrieved 27 January 2023. "Acquisition of Travel
Tracsis
and software that can execute several applications of different criticality, such as safety-critical and non-safety critical, or of different safety integrity
Mixed_criticality
Non-functional requirements for system evaluation
In software architecture, these attributes are known as "architectural characteristic" or non-functional requirements. Note that it's software architects'
List of system quality attributes
List_of_system_quality_attributes
Software static analysis tool used for safety critical applications
avionics software assessed as safety-critical. MALPAS was used for the analysis of this software, apart from the Mission Computer software, which was
MALPAS Software Static Analysis Toolset
MALPAS_Software_Static_Analysis_Toolset
State in which risks associated with aviation are at an acceptable level
Aviation safety is the study and practice of managing risks in aviation. This includes preventing aviation accidents and incidents through research, training
Aviation_safety
Accountability software Ad filtering Computer surveillance Deep packet inspection Deep content inspection Internet censorship Internet safety Parental controls
Comparison of content-control software and providers
Comparison_of_content-control_software_and_providers
Suite of advanced driver-assistance system features
and regulators. Industry experts and safety advocates have raised concerns about the deployment of the software to the general public, calling the practice
Tesla_Autopilot
Type of requirement in systems engineering
standards[to be determined] Hardware systems Embedded systems Safety-critical systems Software systems A system may be required to present the user with a
Non-functional_requirement
DYnamic MOdels) is a software package for the analysis of occupant safety systems in the automotive and transport industries. The software was developed by
MADYMO
American software company
Rave Mobile Safety (formerly Rave Wireless) is an American software company founded in New York City in 2004, and currently based in Framingham, Massachusetts
Rave_Mobile_Safety
Software company in Canada
Worker was founded in 1999 by Thomas Touhey. Initially, SafetyLine's mobile monitoring service software primarily supported wireless applications protocol
SafetyLine_Lone_Worker
Systems is a public sector software company based in Troy, Michigan and a major manufacturer of computer-aided dispatch software that is primarily used in
New_World_Systems
Protection of computer systems from information disclosure, theft or damage
computer software, systems, and networks from threats that can lead to unauthorized information disclosure, theft, or damage to hardware, software, or data
Computer_security
Computer system with a dedicated function
components may be needed and most of the design effort is in the software. Software prototyping and testing can be quicker compared with the design and
Embedded_system
Severe test for safety and performance of hardware
Wolfgang; Tondok, Heidemarie; Bachmayer, Michael (2003). "Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical
Hardware_stress_test
Metric for source code testing
condition coverage be satisfied. However, for safety-critical applications (such as avionics software) it is often required that modified condition/decision
Code_coverage
notable computer simulation software. Advanced Simulation Library - open-source hardware accelerated multiphysics simulation software. ASCEND - open-source
List of computer simulation software
List_of_computer_simulation_software
publication DO-178 has provided guidance on certification aspects of safety-critical software use in civil aircraft. In 1985, the first revision DO-178A was
Certification Authorities Software Team
Certification_Authorities_Software_Team
Self-driving taxi company
Safety Administration. Retrieved July 13, 2026. "Voluntary Software Recall Report". Zoox. May 6, 2025. Retrieved July 13, 2026. "Voluntary Software Recall
Zoox
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY
SOFTWARE SAFETY