Software Safety Research at MIT
Edit Page
Report
Scan day: 02 February 2014 UTC
7
Virus safety - good
Description: The Massachusetts Institute of Technology offering information on current projects and papers.
System Safety and Software Safety Research at MIT System Safety and Software Safety Research The goal of the MIT Safety Project is to develop a theoretical foundation for safety and a methodology for building safety-critical systems built upon that foundation. The methology includes special management structures and procedures, system hazard analysis, software hazard analysis, requirements modeling and analysis for completeness and safety, design for safety, design of human-machine interaction, verification (both testing and code analysis), operational feedback, and change analysis. In
Size: 592 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | System Safety and Software Safety Research at MIT |
Keywords: | |
Description: | |
IP-address: | 18.34.0.200 |
WHOIS Info
NS | Name Servers: USE2.AKAM.NET USE5.AKAM.NET |
WHOIS | |
Date | activated: 23-May-1985 last updated: 17-May-2013 expires: 31-Jul-2014 |