Livingstone2/L2 Tools Documentation

What is Livingstone?

Livingstone accepts a model of the components of a complex system such as a spacecraft or chemical plant and infers from them the overall behavior of the system. Livingstone notes which commands are being given to the system and what observations are available. From this, Livingstone is able to monitor the operation of the system, diagnose its current state, determine if sensors are giving impossible readings, recommend actions to put the system into a desired state even in the face of failures and so on.

Because Livingstone reasons about explicit models of the system it is interacting with, rather than following a program or rules, a Livingstone-based controller is highly capable, flexible and easy to maintain. Livingstone also takes into account all available information and observations, drawing conclusions which reach across a complex system in a way which would be difficult for a traditional software system or time consuming for a human operator.

To avoid confusion, we refer to the newer C++ version of Livingstone that incorporates our newest developments as L2 and the Lisp version that flew on Deep Space 1 as L1. L1, together with the HSTS planning and scheduling engine and Smart Executive, formed the Remote Agent autonomy architecture, demonstrated on the Deep Space One spacecraft in 1999. L2 was to have been demonstrated in space during the X-37 Vehicle Health Management experiment.


Using Livingstone, Stanley, L2 Tools, & Oliver (Stanley II)

Livingstone in IVHM (Power Point 2053k)
Livingstone2 fundamentals, usage, and embedding in Integrated Vehicle Health Management (IVHM) systems.

Introduction to JMPL Language
Introduction to XMPL Language
Describes the syntax and usage of the JMPL & XMPL modeling languages.

Livingstone Parameters
Describes how to configure L2, either stand-alone or with Stanley.

Livingstone Unknown Fault Modes
Describes how and why to define "unknown" component fault modes.

Livingstone Mode Recovery
Describes how to invoke L2 mode recovery, either from the command line, or from an application using the API.

Starting Stanley
Describes how to start up Stanley: the model development and testing GUI for Livingstone2.

Using Stanley
Describes how to use Stanley to develop and test a model.

Using L2 Tools
Describes how to use the L2 model development tools.

Starting Oliver (Stanley II)
Describes how to start up Oliver: the model modification and testing GUI for Livingstone2, which takes as input, models in XMPL format.

Using Oliver (Stanley II)
Describes how to use Oliver to modify and test models which are in XMPL format.


Related Web Pages

Livingstone PostDoc Page

MBA Home Page

Bug Reporting System: Use the login name and password desired -- it is only used as an audit trail and not as a real login session. Make sure also to select "ic-gnats" database, as multiple databases are supported by this system.

Get Help On...

L2 modeling: [View Archive] [Send Email]

L2 software (integration, etc): [View Archive] [Send Email]

L2 documentation: [View Archive] [Send Email]

The old Lisp Livingstone [View Archive] [Send Email]


Writing Models without Stanley

Starting the JMPL Compiler
Compile models you've written in a text file.

Starting the L2 Engine Standalone
Start L2 from the command line.

Calling Livingstone from a program

L2 RTAPI Application Programming Guide
Describes the expected use and implementation of the Livingstone 2 Realtime Application Programming Interface (L2 RTAPI).

L2 RTAPI Model Testing
Describes how to test realtime scenarios with user models.


Livingstone Infrastructure, and Manuals

L2 Infrastructure Diagram
Illustrates how L2, L2 Tools, & Stanley work together.

L2 Glossary
Glossary of terms used by Livingstone2.

L2 User Manual
Describes how to use Livingstone2.

L2 Reference Manual
Describes the classes and APIs that make up Livingstone2.

L2 Developer Manual
Describes the design of Livingstone2.

L2 Developer API
Describes the application program interface of Livingstone2.


Software Releases

Release History
Describes what was fixed when.

Open Issues
Major open issues. Smaller bugs will be tracked in GNATS.

Release Candidates
Maps a subset of the open issues on to the future release that will address them.

How to Build

Building Stanley & Oliver on Unix/Linux
Describes how to build Stanley, L2, L2 Tools, & Oliver (Stanley II) on Unix and Linux platforms.

Building Stanley & Oliver on Windows
Describes how to build Stanley, L2, L2 Tools, & Oliver (Stanley II) on Windows platforms.

Building the L2 Engine
Describes how to build L2 on Windows, Unix, & VxWorks.


Model-based Autonomous Systems Group home page

Last updated April 20, 2006. Direct feedback to william.m.taylor@nasa.gov