| Academic Year |
2024Year |
School/Graduate School |
Graduate School of Advanced Science and Engineering (Master's Course) Division of Advanced Science and Engineering Informatics and Data Science Program |
| Lecture Code |
WSN20801 |
Subject Classification |
Specialized Education |
| Subject Name |
Dependable Computing |
Subject Name
（Katakana） |
ディペンダブル コンピューティング |
Subject Name in
English |
Dependable Computing |
| Instructor |
DOHI TADASHI |
Instructor
(Katakana) |
ドヒ タダシ |
| Campus |
Higashi-Hiroshima |
Semester/Term |
1st-Year, First Semester, 2Term |
| Days, Periods, and Classrooms |
(2T) Tues1-4 |
| Lesson Style |
Lecture |
Lesson Style
(More Details) |
|
This is a part of ``Tech-in-English program'', so that the course will be managed in only English. This course materials in English were developed by Prof. Dohi and Prof. Kishor S. Trivedi, Duke University, USA, where Prof. Trivedi is an expert and the world leader of dependable computing. We request a group work to students. In the current plan, we give the real data on software bug prediction and have a prediction competition by students.
|
| Credits |
2.0 |
Class Hours/Week |
|
Language of Instruction |
E
:
English |
| Course Level |
6
:
Graduate Advanced
|
| Course Area（Area） |
25
:
Science and Technology |
| Course Area（Discipline） |
02
:
Information Science |
| Eligible Students |
M1 & M2 |
| Keywords |
software dependability, design diversity, environmental diversity, fault-tolerance, software reliability, safety, software metrics, quantification, availability, software security, software aging and rejuvenation |
| Special Subject for Teacher Education |
|
Special Subject |
|
Class Status
within Educational
Program
(Applicable only to targeted subjects for undergraduate students) | |
|---|
Criterion referenced
Evaluation
(Applicable only to targeted subjects for undergraduate students) | |
|---|
Class Objectives
/Class Outline |
Understanding advanced topics on software dependability, reliability, quality and security
Exercise of reading an English textbook in software reliability engineering
Presentation and discussion in English
|
| Class Schedule |
lesson1 The balls and urn view of software testing
lesson2 The PIE assessment model of software testability I
lesson3 The PIE assessment model of software testability II
lesson4 Designing toward the tester's utopia
lesson5 Software safety
lesson6 Assessment of safety-critical software units
lesson7 Software reliability modeling
lesson8 Software reliability growwth modeling
lesson9 System modeling
lesson10 Software reliability prediction, allocation and demonstration testing
lesson11 Software dependability I
lesson12 Software dependability II
lesson13 Software dependability III
lesson14Software dependability IV
lesson15 Advanced topics on software reliability and security
No exam but students are requested to complete the reports on programing and bug prediction. |
Text/Reference
Books,etc. |
No preparation for the lecture is needed. |
PC or AV used in
Class,etc. |
|
| (More Details) |
Power point |
| Learning techniques to be incorporated |
|
Suggestions on
Preparation and
Review |
None |
| Requirements |
None |
| Grading Method |
The necessary conditions for the credit are to complete the reports. |
| Practical Experience |
|
| Summary of Practical Experience and Class Contents based on it |
|
| Message |
This course will be managed in only English. |
| Other |
|
Please fill in the class improvement questionnaire which is carried out on all classes.
Instructors will reflect on your feedback and utilize the information for improving their teaching. |