Actions for Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom

Email RIS file
Bookmark
Report an Issue

Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom

Author
Jamsek, Damir A.
Published
Feb 8, 1993.
Physical Description
1 electronic document
Online Version

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access
Summary
A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA. One possible application domain that may be used to demonstrate the effective use of formal methods techniques within the NASA environment is presented. It is not intended to provide a tutorial on either formal methods techniques or the application being addressed. It should, however, provide an indication that the application being considered is suitable for a formal methods by showing how such a task may be started. The particular system being addressed is the Structured File Services (SFS), which is a part of the Data Storage and Retrieval Subsystem (DSAR), which in turn is part of the Data Management System (DMS) onboard Spacestation Freedom. This is a software system that is currently under development for NASA. An informal mathematical development is presented. Section 3 contains the same development using Penelope (23), an Ada specification and verification system. The complete text of the English version Software Requirements Specification (SRS) is reproduced in Appendix A.
Other Subject(s)
Collection
NASA Technical Reports Server (NTRS) Collection.
Note
Document ID: 19930011126.
Accession ID: 93N20315.
NAS 1.26:192293.
NASA-CR-192293.
Terms of Use and Reproduction
No Copyright.
View MARC record | catkey: 15671685