Certifying software for safety-critical systems

Details Certifying software for safety-critical systems Certifying software for safety-critical systems

2011-03-22

2011-03-22

Yigdall, Michael J (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S125000, C726S025000

Reexamination Certificate

active

07913232

ABSTRACT:
A method of collecting information includes retrieving a criterion for certifying software for use on a safety-critical system, receiving user input information associated to the criterion, determining if the input information satisfies criterion for certifying the software for use on the safety-critical system, and providing output information to the user where the output information is identifying if the criterion is satisfied.

REFERENCES:
patent: 7139999 (2006-11-01), Bowman-Amuah
patent: 7228461 (2007-06-01), Krietemeyer et al.
patent: 7284274 (2007-10-01), Walls et al.
patent: 7337429 (2008-02-01), Psaras et al.
patent: 7380270 (2008-05-01), Tracy et al.
patent: 2004/0210873 (2004-10-01), Tudor
Vilkomir et al., An “asymmetric” approach to the assessment of safety-critical software during certification and licensing, Apr. 2000, ESCOM-SCOPE 2000 Conference, Munich, Germany.
Ayyub at al., Web-based System Reliability Assessment (WSTAR): Fault Tree Analysis (FTA), Nov. 1998, US Army Corps of Engineers.
C. Downing, A Primer on Software Safety Certification, 2002, Validated Software Corporation.
J. Wlad, DO-178B and Safety-Critical Software, 2000, Wind River Systems, Inc.
D. Fowler, A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure System, 2000, Springer-Verlag, Berlin, Heidelberg.
D. Lu, Fault Contribution Trees for Product Families, 2002, IEEE.
Camus et al., “Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems”, 2001, Springer-Verlag Berlin Heidelberg, pp. 1-18.
Francois-Xavier Dormoy, “SCADE—The Cost and Time Effective Solution for Safety Critical Software Developemnt”, 2001, Esterel Technologies, pp. 1-23.
Joseph Wlad, “DO-178B and Safety-Critical Software”, Jul. 23, 2001, Wind River Systems, Inc., pp. 1-33.
Tom Erkkinen, “Production Code Generation for Safety-Critical Systems”, 2004 SAE International, pp. 1-7.
Rational®, “Rational Unified Process, Best Practices for Software Development Teams,” Rational®, the software development company, Rational Software White Paper, TP026B, retrieved online at http://www.ibm.com/developerworks/rational/library/content/03July/1000/1251/1251—bestpractices—TP026B.pdf (2001).

Affiliated with

Also associated with

Rating

Certifying software for safety-critical systems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Certifying software for safety-critical systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Certifying software for safety-critical systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2746167