Accession Number:

ADA499764

Title:

Extracting Formal Models from Informal Requirements and Using Them for Validation

Descriptive Note:

Final technical rept. 15 Apr 2005-14 Apr 2008

Corporate Author:

PENNSYLVANIA UNIV PHILADELPHIA BOARD OF TRUSTEES

Personal Author(s):

Report Date:

2009-01-01

Pagination or Media Count:

9.0

Abstract:

The goal of the project is to study formalization of regulations and regulatory compliance. Technical objectives involve addressing two verification problems 1. Consistency of regulation Compliance can be achieved only if the regulation is internally consistent. This verification problem answers the question whether any organization is capable of complying with the regulation. 2. Compliance of organizations This verification problem answers the question whether the operation of an organization complies with the regulation. Formalization and verification questions were studies in the context of a case study that concerns regulation of blood banks by the U.S. Food and Drug Administration in the Code of Federal Regulations that the administration publishes. Accomplishments The two major accomplishments of this project are the run-time verification framework for regulatory trace compliance and the application of conformance testing to regulatory compliance of software.

Subject Categories:

  • Government and Political Science
  • Operations Research

Distribution Statement:

APPROVED FOR PUBLIC RELEASE