interact.hanyang.ac.kr
Complex System Interaction Lab: Links
http://interact.hanyang.ac.kr/wiki.php/Links
Http:/ ieeexplore.ieee.org/Xplore/dynhome.jsp. Http:/ portal.acm.org/portal.cfm? Hybrid Petri Nets :. Http:/ bode.diee.unica.it/%7Ehpn/. Http:/ vl.fmnet.info. Http:/ ti.arc.nasa.gov/profile/adegani/. Research scientist at NASA, Ames Research Center. David D. Woods :. Http:/ csel.eng.ohio-state.edu/blog/woods/. Professor at Ohio State University in the Institute for Ergonomics. Http:/ sunnyday.mit.edu/. Professor of Aeronautics and Astronautics at MIT. Karl Henrik Johansson :. Knut Åkesson :. Ê Ã ºÅÛ øÇÐ ú.
softwaresafetyandassurance.blogspot.com
Software Safety and Assurance: System Safety Links
http://softwaresafetyandassurance.blogspot.com/2011/03/system-safety-links.html
Software Safety and Assurance. Discussions of software safety, security, and assurance. At this point most of the posts contain information from publicly available sources. Monday, March 14, 2011. System Safety Reference Documents:. Air Force System Safety Handbook. First chapter has an excellent introduction to system safety with a discussion of the evolution of the DoD Standard 882 (DOD Standard Practice for System Safety). System Safety Related DIDs. Software System Safety Handbook. A government and i...
softwaresafetyandassurance.blogspot.com
Software Safety and Assurance: March 2011
http://softwaresafetyandassurance.blogspot.com/2011_03_01_archive.html
Software Safety and Assurance. Discussions of software safety, security, and assurance. At this point most of the posts contain information from publicly available sources. Monday, March 14, 2011. System Safety Reference Documents:. Air Force System Safety Handbook. First chapter has an excellent introduction to system safety with a discussion of the evolution of the DoD Standard 882 (DOD Standard Practice for System Safety). System Safety Related DIDs. Software System Safety Handbook. A government and i...
safecodellc.net
Mathworks partners with SafeCode
http://www.safecodellc.net/component/content/article/60-events/116-mathworks-partnership
Fri, 02 Sep 2016. About SafeCode, LLC. Mathworks partners with SafeCode. SafeCode, LLC is proud to announce a new partnership with Mathworks. To speak with a SafeCode consultant about how we can help your firm integrate one of the world's most powerful verification tools, call us at 763-390-4151, or email us at This e-mail address is being protected from spambots. You need JavaScript enabled to view it . Nancy Levenson, "Engineering a Safer World: Systems Thinking Applied to Safety". News of the Realm.
tinycast.in
Therac-25 | The Tinycast
https://tinycast.in/2015/01/27/therac-25
Bollards of Austin, Texas. TASCAM DR-44WL Audio Samples. January 27, 2015. Http:/ media.blubrry.com/tinycast/cdn.tinycast.in/shows/Therac-25.m4a. Medical Devices: The Therac-25. A fantastic technical overview in an appendix from Dr. Nancy Levinson. 8216;s book Safeware. ComputingCases.org ethics class material. And the DEC PDP-11. This is Matt Croydon and you are listening to The Tinycast. Computer and caused all kinds of problems. The term was popularized by the amazing Grace Hopper. Therac-25 wasn’t th...
safecodellc.net
Services
http://www.safecodellc.net/services
Fri, 02 Sep 2016. About SafeCode, LLC. While elicitation of requirements is often best done by your domain experts, we can help lay the foundations for making this task well-defined. Once the requirements have been gathered by your staff we can work with you to refine, validate, codify, and verify the requirements before they become the source of software defects. We will create rule sets that conform to the toughest regulatory processes, yet that don't unduly hamper your development efforts. Learn about...
safecodellc.net
Tools You Can Use
http://www.safecodellc.net/products
Fri, 02 Sep 2016. About SafeCode, LLC. Tools You Can Use. SafeCode sells and/or recommends a number of commercial and free software development and project management tools. Or in the MISRA C standard. Enterprise Architect (EA) from Sparx Systems Ltd. of Australia is a powerful modeling tool for software and process modeling. It supports UML 2.0, and can even perform some extent of code generation using concepts of the OMG's Model-Driven Architecture (MDA). PolySpace is a tool for analyzing C, C , and Ad...