LogScope is a software package for analyzing log files. The intended use is for offline post-processing of such logs, after the execution of the system under test. LogScope can, however, in principle, also be used to monitor systems online during their execution. Logs are checked against requirements formulated as monitors expressed in a rule-based specification language. This language has similarities to a state machine language, but is more expressive, for example, in its handling of data parameters. The specification language is user friendly, simple, and yet expressive enough for many practical scenarios.

The LogScope software was initially developed to specifically assist in testing JPL’s Mars Science Laboratory (MSL) flight software, but it is very generic in nature and can be applied to any application that produces some form of logging information (which almost any software does).

This work was done by Klaus Havelund and Margaret H. Smith of Caltech; Howard Barringer of University of Manchester, UK; and Alex Groce of Oregon State University for NASA’s Jet Propulsion Laboratory.

This software is available for commercial licensing. Please contact Daniel Broderick of the California Institute of Technology at This email address is being protected from spambots. You need JavaScript enabled to view it.. NPO-48068

This Brief includes a Technical Support Package (TSP).

LogScope (reference NPO-48068) is currently available for download from the TSP library.

Please Login at the top of the page to download.


White Papers

Windows CE Development for RISC Computers Made Easy
Sponsored by Sealevel
Reverse Engineering
Sponsored by Servometer
The Changing Face of Robotics
Sponsored by maplesoft
Multi-Purpose Non-Contact Position/Displacement Sensing
Sponsored by Kaman
The Self-Driving Car
Sponsored by HP
Why bigger isn’t always better: the case for thin section bearings
Sponsored by Kaydon

White Papers Sponsored By: