Difference between revisions of "Team:UNebraska-Lincoln/safety cases"

 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
−
 
−
<!DOCTYPE HTML>
 
−
<!--
 
−
Solid State by HTML5 UP
 
−
html5up.net | @ajlkn
 
−
Free for personal and commercial use under the CCA 3.0 license (html5up.net/license)
 
−
-->
 
 
<html>
 
<html>
−
<head>
+
<link rel="stylesheet" href="https://2016.igem.org/Team:UNebraska-Lincoln/css/Safetymain?action=raw&amp;ctype=text/css"/>
−
<title>Elements - Solid State by HTML5 UP</title>
+
 
−
<meta charset="utf-8" />
+
 
−
<meta name="viewport" content="width=device-width, initial-scale=1" />
+
−
<!--[if lte IE 8]><script src="assets/js/ie/html5shiv.js"></script><![endif]-->
+
−
<link rel="stylesheet" href="https://2016.igem.org/Team:UNebraska-Lincoln/css/Safetymain?action=raw&amp;ctype=text/css" />
+
−
<!--[if lte IE 9]><link rel="stylesheet" href="assets/css/ie9.css" /><![endif]-->
+
−
<!--[if lte IE 8]><link rel="stylesheet" href="assets/css/ie8.css" /><![endif]-->
+
−
</head>
+
−
<body >
+
  
 
<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/7/73/T--UNebraska-Lincoln--NavigationBackGround.jpg");
+
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: 100px;
+
padding-top: 85px;
−
height: 250px;}
+
height: 200px;}
  
−
#wrapper{
 
−
    background-image: url("https://static.igem.org/mediawiki/2016/e/e5/T--UNebraska-Lincoln--safetycases.png");
 
−
      background-repeat: no-repeat;
 
−
    background-position: center;
 
−
    background-size: cover;
 
  
−
    height: 400px;
+
#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&amp;ctype=text/css" type="text/css" media="screen"/>
 
<link rel="stylesheet" href="https://2016.igem.org/Team:UNebraska-Lincoln/css/NavigationMenu?action=raw&amp;ctype=text/css" type="text/css" media="screen"/>
−
<!-- Menu -->
+
<!-- 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="images/2.jpg" alt=""/>
+
<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">Our home</span>
+
<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/4/46/T--UNebraska-Lincoln--TeamStock.jpg" alt=""/>
+
<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">Get to know us</span>
+
<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/8/81/T--UNebraska-Lincoln--ProjectStock.jpg" alt=""/>
+
<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">Project</span>
+
<span class="sdt_link">Blueprints</span>
−
<span class="sdt_descr">Our work</span>
+
<span class="sdt_descr"></span>
 
</span>
 
</span>
 
</a>
 
</a>
 
<div class="sdt_box">
 
<div class="sdt_box">
−
<a href="#">Background</a>
+
<a href="https://2016.igem.org/Team:UNebraska-Lincoln/background">Background</a>
−
<a href="#">Design</a>
+
<a href="https://2016.igem.org/Team:UNebraska-Lincoln/modeling">Modeling</a>
−
<a href="#">Experiment</a>
+
<a href="https://2016.igem.org/Team:UNebraska-Lincoln/design">Design</a>
−
                   
+
−
<a href="#">Safety cases</a> </div>
+
 
 +
 
 +
</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/9/92/T--UNebraska-Lincoln--OutreachStock.jpg" alt=""/>
+
<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="">Outreach</span>
+
<span class="sdt_link" style="">Laboratory</span>
−
<span class="sdt_descr">The Real World</span>
+
<span class="sdt_descr"></span>
 
                             <div class="sdt_box">
 
                             <div class="sdt_box">
−
<a href="#">Human Practice</a>
+
<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/a/a6/T--UNebraska-Lincoln--SafetyStock.jpg" alt=""/>
+
<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">Safety</span>
+
<span class="sdt_link">Outreach</span>
−
<span class="sdt_descr">I like to photograph</span>
+
<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="images/5.jpg" alt=""/>
+
<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">Blog</span>
+
<span class="sdt_link">Thanks!</span>
−
<span class="sdt_descr">I write about design</span>
+
<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>
  
  
−
<!-- Wrapper -->
 
−
<section id="wrapper">
 
−
<header >
 
−
<div class="inner" >
 
−
</div>
 
−
</header>
 
  
−
<!-- Content -->
+
−
<div class="wrapper">
+
−
<div class="inner">
+
 
<style>.image{
 
<style>.image{
 
   position: relative;
 
   position: relative;
Line 165: Line 187:
 
   position: absolute;
 
   position: absolute;
 
}</style>
 
}</style>
−
<section>
+
<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>Put stuff here </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 174: Line 211:
 
<div class="inner">
 
<div class="inner">
 
<h2 class="major">Want else did we do?</h2>
 
<h2 class="major">Want else did we do?</h2>
−
<center><a href="https://2016.igem.org/Team:UNebraska-Lincoln/laboratory"><img src="https://static.igem.org/mediawiki/2016/e/e5/T--UNebraska-Lincoln--backtothelab.png"  style="width:617px;height:205px;"></a></center>
+
<center><a href="https://2016.igem.org/Team:UNebraska-Lincoln/laboratory"><img src="https://static.igem.org/mediawiki/2016/e/e5/T--UNebraska-Lincoln--backtothelab.png"  style="width:60%;height:auto;" transform:scale(0.2)"></a></center>
 
 
 
 
Line 181: Line 218:
  
 
</div>
 
</div>
−
 
+
</div>
 
 
 
<!-- Scripts -->
 
<!-- Scripts -->
Line 252: Line 289:
 
             });
 
             });
 
         </script>
 
         </script>
−
 
−
 
−
 
−
</body>
 
 
</html>
 
</html>

Latest revision as of 02:19, 20 October 2016

image

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.

You can read more about our application of safety cases to synthetic biology on our Integrated Human Practices Page