May 09, 2024  
2022-2023 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About the Catalog
  About the University
  Academic Calendar
  All-University Regulations
  Academic Policies and Procedures
  Graduate School Handbook
  Disclosures
  Tuition and Fees
  Glossary and Abbreviations
  Courses
  Colleges & Departments
  Degrees & Certificates Offered
  Online Programs
  K-State Research and Extension
  Research Facilities and Centers
  Graduate School Admission
  International Programs
  Services for Students
  Student Financial Assistance
  Support Services
  Archived Catalogs
  KSIS
  Auxiliary Services and Facilities
  K-State Athletics
  K-State Libraries
  K-State Online
  WebMail
  My Portfolio
HELP
2022-2023 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 855 - High Assurance Systems

Credits: 3

Techniques for developing high assurance (safety critical, security critical, or mission-critical in nature) systems. Topics include writing requirements for safety-critical systems, formal architecture definition, risk management techniques including various forms of hazard analysis, safety systems, and verification and validation.

Repeat for Credit
N

Requisites:
Prerequisites: (CIS 771) Software Specification AND Java programming skills.

Typically Offered
Spring


KSIS Course Search



Add to Portfolio (opens a new window)