Event Listing

The human world is replete with wireless devices. By their broadcast nature, wireless transceivers often cause significant interference to each other if they use the same frequency. This becomes a growing issue as the open 2.4GHz frequency band is being populated by numerous… Read more

The increasing demand for automation in safety-critical applications such as aeronautics, automotive, industrial process control, medical devices and so on, has pressurized the need for scalable formal analysis techniques for ensuring reliable and error-free operation of the… Read more

Proof-carrying code has been in existence since Necula and Lee coined the term in 1996. This talk brings forward the details of the development of proof-carrying code from control system specifications. The motivation for this work is the safety-critical nature of many… Read more

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… Read more

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… Read more

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… Read more

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… Read more

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… Read more

As the demand on Internet services drastically increases in recent years, the power used by Internet Data Centers (IDCs) has been skyrocketing. How to reduce the power consumptions of IDCs while still providing guaranteed service to end users is a primary concern for IDC… Read more

The last ten years have seen the coming of age of a range of verification technologies to ensure that programs behave correctly according to their specifications. But checking for errors is only the first step down the road to better more reliable software.  The same… Read more