Seminars

Speaker
Profile photo of Paul E. Black
Paul E. Black, Ph.D.
PRECISE Seminar: Combinatorial Testing
February 29, 2012

Studies suggest that nearly all software errors are triggered by the interaction of no more than six parameters.  If so, testing all n-way combinations of parameters should provide high confidence that nearly all faults have been discovered.  This combinatorial testing is already used by dozens of companies.  Dr. Black will explain what combinatorial testing is and how to apply it to different situations.  Given 10 binary variables, can you exercise all triples with fewer than 20 tests?  He refers to free software available to generate such "covering arrays" for combinations of parameter…

Speaker
Profile photo of Paul E. Black
Paul E. Black, Ph.D.
PRECISE Seminar: Static Analysis and Static Analyzers in Software Development
February 29, 2012

Quality must be designed into and built into software.  Nevertheless testing (dynamic analysis) and static analyzers have roles in delivering excellent software.  Dr. Black will describe what static analysis is (and isn't) and compare it in general with testing.  Then he will talk about the dimensions of static analysis: universality, rigor, and subject matter, and concepts related to static analysis and their results.  Dr. Black will also share his views of the state of the art in static analyzers, citing results from the 2008, 2009, and 2010 Static Analysis Tool Expositions and other…

Speaker
Profile photo of Brian Murray
Brian Murray, Ph.D.
PRECISE Seminar: Complex CPS Design Challenges at UTRC
February 15, 2012

The artifacts of daily life are inexorably becoming more intelligent by means of embedded systems.  While this brings many advantages in terms of new functions, complexity is limiting progress.  Most UTRC activities in embedded and cyber-physical systems are focused on managing complexity in architectures and design processes in order to support emerging trends to increase functionality.  We will present some of these emerging trends and recent UTRC initiatives to address them, including the DARPA META II project involving MIT, UC Berkeley and UC Santa Barbara and the Autonomous and…

Speaker
Profile photo of Sean W Smith
Sean W Smith, Ph.D.
PRECISE Seminar: The Role of Humans in Information Security Decisions
January 26, 2012

Computer security aims to ensure only "good" behavior happens in computer systems, despite potential action by malicious adversaries. Consequently, the field has focused primarily on the technology to prohibit "bad things," according to some set of rules, and to a lesser extent on the structure of such rules.  Interestingly, the computer security field has largely ignored the process by which humans produce these sets of rules; not surprisingly, fieldwork and anecdotes report how we keep getting the rules "wrong."

This talk presents some of my lab's research addressing this problem…

Speaker
Nguyen Van Tang
PRECISE Seminar: Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++
January 25, 2012

The Train Fare Calculation and Adjustment System (TFCAS), developed by the OMRON Corporation, is a large-scale and complex system that helps passengers buy tickets and adjust their train fare on the railways across Japan. In this paper we present the results and experiences gained in a collaborative research project between AIST and OMRON, in which VDM++ has been applied to formalize TFCAS's specifications and validate its consistency as well as reliability properties. An executable VDM++ model can be used to raise the level of the quality of the informal system specification, the…