In software engineering, software system safety optimizes system safety in the design, development, use, and maintenance of software systems and their integration with safety-critical hardware systems in an operational environment
HCRQ's expertise in software safety (sometimes referred to as software system safety) dates back to 1986. In those days, and in a few years to follow, software safety was not a popular concept and we were educating many people and organizations. This came with one down side; however, when we received anonymous death threats to cease and desist. Our innovative concepts in software safety was a threat to the status quo. We courageously pushed forward and, as a result, potentially saved many lives.
We have first-hand experience with software safety programs performed concurrently with system development.
To this day, there are many systems where inadequate attention is being paid to software safety. In addition, if you were to ask a group of people what software safety means you will likely get different answers. There is a "right" answer and, in the case of airborne systems, it is not addressed by RTCA DO-178C.
There are "software safety engineers" that have next to no insight into preferred languages and operating systems. Do they have experience with the programming language that you are using? Knowledge of language subsets, static code analyzers? HCRQ has experience with assembly, C, C++, Ada, FORTRAN, and a host of others. Compare this with a company, such as ours, where expertise encompasses not only electrical engineering and system safety but software safety with a foundation in computer science.
Occasionally our customers are faced with software quantification (i.e., estimating software failure rates / software probabilities of failure). We have explained what ourselves and others have done in situations like this.
If you need software safety analyses performed, or are seeking expert advice or comprehensive training rest assured there is no other company with the experience and know-how of HCRQ.