Accession Number:

ADA402933

Title:

Real-Time, Fault-Tolerance and Security in Distributed Systems

Descriptive Note:

Final rept. Jul 1999-Jan 2002

Corporate Author:

CALIFORNIA UNIV SAN DIEGO LA JOLLA

Personal Author(s):

Report Date:

2002-05-17

Pagination or Media Count:

3.0

Abstract:

The research was initially based on the idea of applying model based testing. An experiment was carried out which involved cell phones. Based on experiences with this, and other observations, it was determined that a priori models were unlikely to be available. A new approach was investigated. It resulted in the development of a new kind of model generation and coverage tool called MOCCA model oriented coverage and analysis together with a new kind of supporting behavior model.

Subject Categories:

  • Radio Communications
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE