Systematically exploring the behavior of control programs

Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Many networked systems today, ranging from home automation networks to global wide-area networks, are operated using centralized control programs. Bugs in such programs pose serious risks to system security and stability. We develop a new technique to systematically explore the behavior of control programs. Because control programs depend intimately on absolute and relative timing of inputs, a key challenge that we face is to systematically handle time. We develop an approach that models programs as timed automata and incorporates novel mechanisms to enable scalable and comprehensive exploration. We implement our approach in a tool called DeLorean and apply it to real control programs for home automation and software-defined networks. DeLorean is able to finds bugs in these programs as well as provide significantly better code coverage-up to 94% compared to 76% for existing techniques.

Original languageEnglish (US)
Title of host publicationProceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015
PublisherUSENIX Association
Pages165-176
Number of pages12
ISBN (Electronic)9781931971225
StatePublished - 2015
Externally publishedYes
Event2015 USENIX Annual Technical Conference, USENIX ATC 2015 - Santa Clara, United States
Duration: Jul 8 2015Jul 10 2015

Publication series

NameProceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015

Conference

Conference2015 USENIX Annual Technical Conference, USENIX ATC 2015
CountryUnited States
CitySanta Clara
Period7/8/157/10/15

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Systematically exploring the behavior of control programs'. Together they form a unique fingerprint.

Cite this