(10 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
<html> | <html> | ||
− | + | <link rel="stylesheet" href="https://2016.igem.org/Team:UNebraska-Lincoln/css/Safetymain?action=raw&ctype=text/css"/> | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
<style> | <style> | ||
+ | .wrapper .inner { | ||
+ | padding: 0em 0 1em 0; | ||
+ | margin: 0 auto; | ||
+ | width: 55em; | ||
+ | } | ||
+ | #wrapper > header { | ||
+ | padding: 0em 0 2.25em 0; | ||
+ | } | ||
+ | |||
/* styling for the menu items */ | /* styling for the menu items */ | ||
Line 39: | Line 34: | ||
ul.sdt_menu{ | ul.sdt_menu{ | ||
margin-top:300px; | margin-top:300px; | ||
+ | padding-bottom: 10px; | ||
+ | |||
} | } | ||
Line 44: | Line 41: | ||
#NavBar{ | #NavBar{ | ||
− | background-image: url("https://static.igem.org/mediawiki/2016/ | + | margin: 0; |
+ | width:auto; | ||
+ | size: 75%; | ||
+ | background-image: url("https://static.igem.org/mediawiki/2016/4/4a/T--UNebraska-Lincoln--blue.png"); | ||
padding-left: 200px; | padding-left: 200px; | ||
− | padding-top: | + | padding-top: 85px; |
− | height: | + | height: 200px;} |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | #vgemcollaboration { | |
+ | background-image:url('https://static.igem.org/mediawiki/2016/d/de/T--Virginia--collabopen.png'); | ||
+ | background-size:180px 220px; /*Adjust background-size and the width and height properties here if you wish to resize the icon*/ | ||
+ | width:180px; | ||
+ | height:220px; | ||
+ | z-index:100; | ||
} | } | ||
+ | #vgemcollaboration:hover { | ||
+ | background-image:url('https://static.igem.org/mediawiki/2016/a/a5/T--Virginia--collabclosed.png'); | ||
+ | } | ||
+ | |||
+ | #vgemcollaboration a { | ||
+ | display:inline-block; | ||
+ | width:100%; | ||
+ | height:100%; | ||
+ | } | ||
Line 70: | Line 79: | ||
<link rel="shortcut icon" href="../favicon.ico" type="image/x-icon"/> | <link rel="shortcut icon" href="../favicon.ico" type="image/x-icon"/> | ||
<link rel="stylesheet" href="https://2016.igem.org/Team:UNebraska-Lincoln/css/NavigationMenu?action=raw&ctype=text/css" type="text/css" media="screen"/> | <link rel="stylesheet" href="https://2016.igem.org/Team:UNebraska-Lincoln/css/NavigationMenu?action=raw&ctype=text/css" type="text/css" media="screen"/> | ||
− | + | <!-- Menu --> | |
<div id="NavBar"> | <div id="NavBar"> | ||
+ | <div class ="inner"> | ||
<ul id="sdt_menu" class="sdt_menu"> | <ul id="sdt_menu" class="sdt_menu"> | ||
− | <li> | + | <li style="background-color:#4c5c96;"> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln"> |
− | <img src=" | + | <img src="https://static.igem.org/mediawiki/2016/0/02/T--UNebraska-Lincoln--home2.png" alt=""/> |
<span class="sdt_active"></span> | <span class="sdt_active"></span> | ||
<span class="sdt_wrap"> | <span class="sdt_wrap"> | ||
<span class="sdt_link">Home</span> | <span class="sdt_link">Home</span> | ||
− | <span class="sdt_descr"> | + | <span class="sdt_descr"></span> |
</span> | </span> | ||
</a> | </a> | ||
</li> | </li> | ||
− | <li> | + | <li style="background-color:#4c5c96;"> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/Team"> |
− | <img src="https://static.igem.org/mediawiki/2016/ | + | <img src="https://static.igem.org/mediawiki/2016/c/cb/T--UNebraska-Lincoln--TeamStock2.png" alt=""/> |
<span class="sdt_active"></span> | <span class="sdt_active"></span> | ||
<span class="sdt_wrap"> | <span class="sdt_wrap"> | ||
− | <span class="sdt_link">Team</span> | + | <span class="sdt_link" >Team</span> |
− | <span class="sdt_descr"> | + | <span class="sdt_descr"></span> |
</span> | </span> | ||
</a> | </a> | ||
</li> | </li> | ||
− | <li> | + | <li style="background-color:#4c5c96;"> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/The_drawing_board"> |
− | <img src="https://static.igem.org/mediawiki/2016/ | + | <img src="https://static.igem.org/mediawiki/2016/1/11/T--UNebraska-Lincoln--Blueprints2.png" alt=""/> |
<span class="sdt_active"></span> | <span class="sdt_active"></span> | ||
<span class="sdt_wrap"> | <span class="sdt_wrap"> | ||
− | <span class="sdt_link"> | + | <span class="sdt_link">Blueprints</span> |
− | <span class="sdt_descr"> | + | <span class="sdt_descr"></span> |
</span> | </span> | ||
</a> | </a> | ||
<div class="sdt_box"> | <div class="sdt_box"> | ||
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/background">Background</a> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/modeling">Modeling</a> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/design">Design</a> |
− | + | ||
− | + | ||
+ | |||
+ | </div> | ||
</li> | </li> | ||
− | <li> | + | <li style="background-color:#4c5c96;"> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/laboratory"> |
− | <img src="https://static.igem.org/mediawiki/2016/ | + | <img src="https://static.igem.org/mediawiki/2016/a/a3/T--UNebraska-Lincoln--Laboratory2.png" alt=""/> |
<span class="sdt_active"></span> | <span class="sdt_active"></span> | ||
<span class="sdt_wrap"> | <span class="sdt_wrap"> | ||
− | <span class="sdt_link" style=""> | + | <span class="sdt_link" style="">Laboratory</span> |
− | <span class="sdt_descr"> | + | <span class="sdt_descr"></span> |
<div class="sdt_box"> | <div class="sdt_box"> | ||
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/experiments">Experiments</a> |
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/lab_manual">Lab Notebook</a> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/safety_cases">Safety Cases</a> | ||
+ | |||
</div> | </div> | ||
+ | |||
</span> | </span> | ||
</a> | </a> | ||
</li> | </li> | ||
− | <li> | + | <li style="background-color:#4c5c96;"> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/beyond_the_bench"> |
− | <img src="https://static.igem.org/mediawiki/2016/ | + | <img src="https://static.igem.org/mediawiki/2016/1/1a/T--UNebraska-Lincoln--beyondthebench2.png" alt=""/> |
<span class="sdt_active"></span> | <span class="sdt_active"></span> | ||
<span class="sdt_wrap"> | <span class="sdt_wrap"> | ||
− | <span class="sdt_link"> | + | <span class="sdt_link">Outreach</span> |
− | <span class="sdt_descr"> | + | <span class="sdt_descr"></span> |
+ | <div class="sdt_box"> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/human_practices">Human Practices</a> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/Integrated_Practices">Integrated Practices</a> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/collaboration">Collaboration</a> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/industry">Industry</a> | ||
+ | |||
+ | </div> | ||
+ | |||
</span> | </span> | ||
</a> | </a> | ||
</li> | </li> | ||
− | <li> | + | <li style="background-color:#4c5c96;"> |
− | <a href=" | + | <a href="https://2016.igem.org/Team:UNebraska-Lincoln"> |
− | <img src=" | + | <img src="https://static.igem.org/mediawiki/2016/e/ef/T--UNebraska-Lincoln--thanks2.png" alt=""/> |
<span class="sdt_active"></span> | <span class="sdt_active"></span> | ||
<span class="sdt_wrap"> | <span class="sdt_wrap"> | ||
− | <span class="sdt_link"> | + | <span class="sdt_link">Thanks!</span> |
− | <span class="sdt_descr"> | + | <span class="sdt_descr"></span> |
+ | <div class="sdt_box"> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/sponsors">Sponsors</a> | ||
+ | <a href="https://2016.igem.org/Team:UNebraska-Lincoln/attributions">Attributions</a> | ||
+ | |||
+ | </div> | ||
</span> | </span> | ||
</a> | </a> | ||
Line 145: | Line 174: | ||
</ul> | </ul> | ||
+ | </div> | ||
</div> | </div> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | ||
− | + | ||
− | + | ||
<style>.image{ | <style>.image{ | ||
position: relative; | position: relative; | ||
Line 165: | Line 187: | ||
position: absolute; | position: absolute; | ||
}</style> | }</style> | ||
− | + | <style>.image{ | |
+ | position: relative; | ||
+ | } | ||
+ | .image a{ | ||
+ | display: block; | ||
+ | position: absolute; | ||
+ | }</style> | ||
+ | <div class="drawing board" style=" background-color: #2e3141; padding-top:50px;"> | ||
+ | <section><img src="https://static.igem.org/mediawiki/2016/e/e5/T--UNebraska-Lincoln--safetycases.png" align="middle" style="width:100%; height:100%; padding-bottom: 30px " alt="image"/></section> | ||
+ | <section> | ||
+ | <section> | ||
+ | <div style="transform: scale(1);margin-left:150px; margin-right:150px"> | ||
<h2 class="major">Safety Assurance Cases</h2> | <h2 class="major">Safety Assurance Cases</h2> | ||
− | <p> | + | <p><font color="silver">A safety case is an architecture to structure the reasoning software engineers use to gain confidence that systems will work as expected. Safety cases are especially developed for safety critical software systems, like software controlling avionics systems or nuclear power plants.</font></p> |
+ | <p><font color="silver">Safety cases are recognized as a powerful tool in software especially in Europe. Safety cases have been used extensively in Europe for over a decade to document safety for safety critical software systems. Predictability of a safety critical software system is essential. By developing safety cases, unexpected defects and vulnerabilities can be uncovered prior to implementation of the software system where failures could lead to devastating consequences.</font></p> | ||
+ | |||
+ | <h2>You can read more about our application of safety cases to synthetic biology on our <u><a href="https://2016.igem.org/Team:UNebraska-Lincoln/Integrated_Practices">Integrated Human Practices Page</a></u></h2> | ||
+ | </div> | ||
</section> | </section> | ||
Line 181: | Line 218: | ||
</div> | </div> | ||
− | + | </div> | |
<!-- Scripts --> | <!-- Scripts --> | ||
Line 252: | Line 289: | ||
}); | }); | ||
</script> | </script> | ||
− | |||
− | |||
− | |||
− | |||
</html> | </html> |
Latest revision as of 02:19, 20 October 2016
Safety Assurance Cases
A safety case is an architecture to structure the reasoning software engineers use to gain confidence that systems will work as expected. Safety cases are especially developed for safety critical software systems, like software controlling avionics systems or nuclear power plants.
Safety cases are recognized as a powerful tool in software especially in Europe. Safety cases have been used extensively in Europe for over a decade to document safety for safety critical software systems. Predictability of a safety critical software system is essential. By developing safety cases, unexpected defects and vulnerabilities can be uncovered prior to implementation of the software system where failures could lead to devastating consequences.