addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

New Meetup: Exago, property monitoring via log file analysis

From: Andra D.
Sent on: Tuesday, May 4, 2010 3:39 PM
Announcing a new Meetup for Erlang User Group!

What: Exago, property monitoring via log file analysis

When: Thursday, May 13,[masked]:30 PM

Where: London, Brushfield Street

Our next London Erlang User Group meeting will take place on Thursday, 13th May 2010. That time Atilla Erdodi will give a talk on Exago, property monitoring via log file analysis.

The meeting will be held in Erlang Solutions' meeting room on the 1st floor of the Fruit and Wool Exchange. For directions, visit our Contact page. Be there at 18.00 for an 18.30 start.

In order to attend this free event, you have to register. Registering allows us to plan refreshments accordingly, provide security with a list of names and ensure we have enough space. The places are limited and we close the list once 25 people register so if you want to attend this meeting register asap.

Bio:
Atilla Erdodi is a Master student at E?tv?s Lor?nd University in Hungary, where he was introduced to Erlang through the RefactorErl project. He spent last summer working as an intern at Erlang Solutions, developing Exago, the offline log monitoring tool. Currently, he is doing research on property monitoring in the ProTest project, as an Erasmus student at the University of Sheffield.

Abstract:
When a failure occurs or just some concerns arise about the correctness a system, the first thing to check is the log files. However, manually analysing large amounts of log data can be daunting, or even impossible.

Exago is an offline log monitoring tool that allows system engineers and testers to monitor properties on live systems, by analysing the generated log files. Exago's approach is to create abstract representations of the events that occurred in the live system during the analysed time period and re-evaluate them against a model of the system. If these abstract commands are accepted by the model, it means that the system (probably) behaved as expected. If not, it reveals an error in the system, and can give the developers a clue about where to look for them.

Exago was written in Erlang, as a part of the ProTest project, but the target system can be written in any language as long as "enough" information is logged. In this talk, we show how much information is "enough" for our purposes, demonstrate the usage of Exago through a simple example, and also briefly explore the possibilities and the limits of our tool as well as the current research progress.

Learn more here:
http://www.meetup.com/erlangusergroup/calendar/13380163/

Our Sponsors

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy