Safety and Software

Transportation Systems Design, Inc. www.tsd.org

Software Engineering Institute	Safety Critical Systems
Large Scale Correct Systems Using Formal Methods	The Safety-Critical Train Databus Project
	Safety Critical Software
US Military Standard 882 C	Real-time OS for Safety-critical applications
RAISE	B Technologies

Home Top

Transportation Systems Design, Inc. - www.tsd.org
6543 Girvin Drive, Oakland, CA 94611 Voice: +1 (510) 531.8411 Fax: +1 (510) 531.7372

Revised: 21 Dec 2001