-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
139 lines (112 loc) · 6.5 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Home — CIS 890: Development of High-Assurance Software Systems, Spring 2021</title>
<link rel="stylesheet" href="_static/basic.css" type="text/css" />
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/bootswatch-3.3.4/journal/bootstrap.min.css" type="text/css" />
<link rel="stylesheet" href="_static/bootstrap-sphinx.css" type="text/css" />
<link rel="stylesheet" href="_static/cis890.css" type="text/css" />
<script type="text/javascript">
var DOCUMENTATION_OPTIONS = {
URL_ROOT: './',
VERSION: '',
COLLAPSE_INDEX: false,
FILE_SUFFIX: '.html',
HAS_SOURCE: true
};
</script>
<script type="text/javascript" src="_static/jquery.js"></script>
<script type="text/javascript" src="_static/underscore.js"></script>
<script type="text/javascript" src="_static/doctools.js"></script>
<script type="text/javascript" src="_static/js/jquery-1.11.0.min.js"></script>
<script type="text/javascript" src="_static/js/jquery-fix.js"></script>
<script type="text/javascript" src="_static/bootstrap-3.3.4/js/bootstrap.min.js"></script>
<script type="text/javascript" src="_static/bootstrap-sphinx.js"></script>
<link rel="top" title="CIS 890: Development of High-Assurance Software Systems, Spring 2021" href="#" />
<link rel="next" title="Syllabus" href="syllabus.html" />
</head>
<body role="document">
<div id="navbar" class="navbar navbar-default navbar-fixed-top">
<div class="container">
<div class="navbar-header">
<!-- .btn-navbar is used as the toggle for collapsed navbar content -->
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".nav-collapse">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="#">
Home</a>
<span class="navbar-text navbar-version pull-left"><b></b></span>
</div>
<div class="collapse navbar-collapse nav-collapse">
<ul class="nav navbar-nav">
<li><a href="syllabus.html">Syllabus</a></li>
<li><a href="lectures.html">Lectures</a></li>
<li><a href="schedule.html">Schedule</a></li>
<li><a href="tools/index.html">Tools</a></li>
<li><a href="projects.html">Projects</a></li>
<li class="dropdown globaltoc-container">
<a role="button"
id="dLabelGlobalToc"
data-toggle="dropdown"
data-target="#"
href="#"> <b class="caret"></b></a>
<ul class="dropdown-menu globaltoc"
role="menu"
aria-labelledby="dLabelGlobalToc"></ul>
</li>
</ul>
<form class="navbar-form navbar-right" action="search.html" method="get">
<div class="form-group">
<input type="text" name="q" class="form-control" placeholder="Search" />
</div>
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div>
</div>
<div class="container">
<div class="row">
<div class="col-md-12 content">
<div class="toctree-wrapper compound">
</div>
<div class="section" id="home">
<h1>Home<a class="headerlink" href="#home" title="Permalink to this headline">¶</a></h1>
<h3>CS 855: Development of High-Assurance Software Systems, Spring 2024</h3><hr class="docutils" />
<p>The course will cover techniques for developing high assurance systems – systems that are safety critical, security critical, or mission critical in nature. In contrast to general purpose systems, high assurance system development tends to place a more stronger emphasis on rigorous requirements and specifications, verification and validation, risk management, and certification. High assurance system development is more likely to be amenable to and benefit from formal verification techniques – techniques that use various forms of machine-checkable mathematics or logic to demonstrate that a system satisfies its specification. The goal of this course teach techniques for developing critical software that would usually not be covered in other courses in your computer science degree program. In particular, the course will focus on writing requirements for safety critical systems, formal architecture definition, risk management techniques including various forms of hazard analysis, safety systems, and automated verification. We will aim to illustrate an end-to-end development process for critical systems using examples of varying size.</p>
<table border="1" class="docutils">
<colgroup>
<col width="42%" />
<col width="58%" />
</colgroup>
<tbody valign="top">
<tr class="row-odd"><td><strong>Lectures</strong></td>
<td>Tuesday (T) & Thursday (U), 2:30pm - 3:45pm, DUE1116</td>
</tr>
<tr class="row-even"><td><strong>Instructor</strong></td>
<td><a class="reference external" href="http://people.cs.ksu.edu/~hatcliff">John Hatcliff</a>,
Office: 2160 <a class="reference external" href="http://www.engg.ksu.edu/engineering-hall/">Engineering Hall</a>,
Office Hours: By appointment</td>
</tr>
</tbody>
</table>
<hr class="docutils" />
<p>Use the tabs in the top tool bar to see different material supporting
the course.</p>
<ul class="simple">
<li><a class="reference internal" href="syllabus.html#syllabus"><span>Syllabus</span></a> – contains administrative details for students interested in taking the course</li>
<li><a class="reference internal" href="lectures.html#lectures"><span>Lectures</span></a> – contains lecture slides, lecture videos, and links to relevant reading materials</li>
<li><a class="reference internal" href="schedule.html#schedule"><span>Schedule</span></a> – contains calendar indicating lectures/homeworks planned for each week of the class</li>
<li><a class="reference internal" href="tools/index.html#tools"><span>Tools</span></a> – contains links to various tools that you will need to install for the course</li>
<li><a class="reference internal" href="projects.html#projects"><span>Projects</span></a> – contains supporting material for course projects</li>
</ul>
</div>
</div>
</div>
</div>
</body>
</html>