One goal for the ProTest project has been to develop ways to reuse abstract models for post-mortem analysis and monitoring of live target nodes. To this end, we are cooperating with the OTP team to improve the tool support for tracing and debugging, as well as developing some tools of our own. In this talk, I will present our progress with two Open Source components, Onviso and Exago:
Onviso draws from the work done by Mats Cronqvist to improve dbg, and from Inviso, an OTP component offering some powerful features, but which has yet seen little use in the community. The results of this work are currently released on Github, but our intention is to achieve full integration into OTP. Our current focus is to simplify multi-node tracing and management of complex trace cases, and provide a foundation for future work, using the advanced analysis techniques developed by ProTest.
Exago, also available on Github, is our own tool for powerful off-line log analysis. Using Exago, you can automatically parse and process log files, and check them against an abstract model of the system. In case of failure, it will report the abstract state where the error occurred, and the events that led to the point of failure.
Ulf WigerUber Erlang programmer and CTO of Erlang Solutions
Erlang Solutions Ltd
Ulf Wiger became one of the first commercial users of Erlang (certainly the first in North America) when he bought a license in 1993. At the time, he was busy designing disaster response systems in Alaska. In 1996, he joined Ericsson and became Chief Designer of the AXD 301 development. At nearly 2 million lines of Erlang code, AXD 301 is the most complex system ever built in Erlang, and probably the most complex commercial system built in any functional language. In recent years, Ulf has been involved in several products based on the AXD 301 architecture, and has been an active member of the Open Source Erlang community. In February 2009, Ulf began his new job as CTO of Erlang Solutions Ltd.