All faculty and students are invited!
Light lunch will be served.
Presented by Dr. Omar El Ariss, Assistant Professor of Computer Science
Date: Monday March 19, 2012, 12:00 to 1:00 PM
Room: E253 Olmsted
Abstract: Functional modeling and safety analysis are two important aspects of safety-critical systems. However, they are often conducted separately. Software vulnerabilities due to design errors, inconsistencies, incompleteness, and missing constraints can lead to hazards and safety failures. Our aim as Software Engineers is to design software that delivers correct services and evades faults that are capable of altering the behavior of the system, thus causing unwarranted side effects. This talk will focus on improving the quality of software by clearly defining and understanding safety concerns as the software is being designed. We will explore how the fault trees can be designed modularly and dynamically through the use of components and reusability.
No comments:
Post a Comment