Extracting Formal Models from Informal Requirements and Using Them for Validation
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2009
- Accession Number
- ADA499764
Entities
People
- Insup Lee
Organizations
- University of Pennsylvania