Eliminating Concurrency Bugs with Control Engineering

Authors:
Terence Kelly;Yin Wang;Stéphane Lafortune;Scott Mahlke
Affiliations:
Hewlett-Packard Laboratories;Hewlett-Packard Laboratories;University of Michigan;University of Michigan
Venue:
Computer
Year:
2009

Citing 0
Cited 4

A summary of some discrete-event system control problems

CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Modeling for safety in a synthesis-centric systems engineering framework

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Discrete Event Dynamic Systems
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Quantified Score

Hi-index	4.10

Visualization

Abstract

In the multicore era, concurrency bugs threaten to reduce programmer productivity, impair software safety, and erode end-user value. Control engineering can eliminate concurrency bugs by constraining software behavior, preventing runtime failures, and offloading onerous burdens from human programmers onto automatically synthesized control logic.