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