Trust Assessment Roadmap
COURSES:
Assessment of the trustworthy features of a system is key to the process of developing trustworthy systems. The courses on this roadmap will teach you the tools to verify systems directly, e.g., via proofs of correctness, or indirectly, e.g., via modeling and simulation.
AE 498 SSS: Software and Systems Safety
Learn to design a safety-critical software decision aid for an instrumented landing system parallel runway approach for large aircraft. Course will cover the entire software life cycle, including preliminary hazard analysis techniques, requirements specification, formal modeling, software design specification/ code generation, testing, verification and validation, and human- machine interface d esign. Students will be divided into design teams and given deliverables for each stage of the design process. At the end of the course, a formal design review will be conducted on the developed decision aid, along with a "testing competition" using actual air traffic management data.
CS 476: Program Verification
Examines formal methods for demonstrating correctness and other properties of programs; includes an overview of predicate calculus. Topics include: invariant assertions, Hoare axiomatics, well-founded orderings for proving termination, structural induction, computational induction, data structures, and parallel programs.
CS/ECE 541: Computer Systems Analysis
Development of analytical models of computer systems and application of such models to performance evaluation; topics include scheduling policies, paging algorithms, multiprogrammed resource management, and queuing theory.
CS 598DM: Software Testing and Analysis
The focus of the course is on analysis of code, but it also covers analysis of software models and their use in testing. Students will get familiar with the technical results as well as with the process of doing research in software testing and analysis. The aim is to help students start research in this field or apply its results in their ongoing research.
ECE 498DN: Discrete Event Simulation of Computer and Communication Systems
This course focuses on methodologies and techniques for the simulation-based analysis of computer and communication systems. It covers statistical issues of input modeling and output analysis, as well as algorithmic techniques for achieving high performance. Available Spring 2007.