An Entry Point for Formal Methods: Specification and Analysis of Event Logs

Details An Entry Point for Formal Methods: Specification and Analysis of Event Logs An Entry Point for Formal Methods: Specification and Analysis of Event Logs

2010-03-08

arxiv.org/abs/1003.1682v1

EPTCS 20, 2010, pp. 16-21

Computer Science

Software Engineering

Scientific paper

10.4204/EPTCS.20.2

Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but has not been widely applied to real systems, and often falters due to the cost and complexity of instrumentation for online monitoring. In this paper we discuss work in progress to apply an event-based specification system to the logging mechanism of the Mars Science Laboratory mission at JPL. By focusing on log analysis, we exploit the "instrumentation" already implemented and required for communicating with the spacecraft. We argue that this work both shows a practical method for using formal specifications in testing and opens interesting research avenues, including a challenging specification learning problem.

Affiliated with

Also associated with

No associations

Rating

An Entry Point for Formal Methods: Specification and Analysis of Event Logs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Entry Point for Formal Methods: Specification and Analysis of Event Logs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Entry Point for Formal Methods: Specification and Analysis of Event Logs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-678000