Zenet

zenet-small.png

Team

Chris Lewis

Advisors

Jim Whitehead

Website

www.zenetproject.com

Downloads

Lakitu, a Zenet demo

Research Lab

Software Introspection Laboratory

Overview

Zenet is a project to model and verify emergent software throughout the development process. A monitor watches instrumented software as it runs and offer programmers the ability to specify repairs of the software should the software specification ever be violated. It's like specifying exception handling for a system's design. For game designers, Zenet lets you specify negative game experiences and repair them if they occur. A complete implementation of the Zenet architecture was done in a project named Lakitu. Lakitu uses the Mayet monitoring framework to monitor events from a Super Mario World-style game, and issues repairs when the game fails. The game can be switched between the correct, original, implementation, and a buggy implementation that contains examples from as many applicable video game failure taxonomy categories as possible. Documentation of Lakitu can be seen here.

Video

Syndicate content Syndicate content Syndicate content

Publications

Lewis, C., and J. Whitehead, "Runtime repair of software faults using event-driven monitoring", ICSE ’10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, New York, NY, USA, ACM, pp. 275–280, 2010. Abstract  Download: demopaper.pdf (327.94 KB)
Lewis, C., "Zenet: generating and enforcing real-time temporal invariants", ICSE ’10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, New York, NY, USA, ACM, pp. 329–330, 2010. Abstract  Download: doccon.pdf (134.63 KB)
Lewis, C., J. Whitehead, and N. Wardrip-Fruin, "What went wrong: a taxonomy of video game bugs", FDG ’10: Proceedings of the Fifth International Conference on the Foundations of Digital Games, New York, NY, USA, ACM, pp. 108–115, 2010. Abstract  Download: taxonomy.pdf (2.44 KB)