Zenet

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.

Video

http://www.youtube.com/embed/0IZIbJH4kGI

 

Team

Chris Lewis

Advisors

Jim Whitehead

Website

www.zenetproject.com

Downloads

Lakitu, a Zenet demo

Research Lab

Software Introspection Laboratory

Biblio Tags (Pages and Projects): 
Groups and Channels: 
Posted: Jan.01.2010
Tags:
Category: EIS SIL zenet