NDLI: Investigation, development, and evaluation of performance proving for fault-tolerant computers

Please wait, while we are loading the content...

Investigation, development, and evaluation of performance proving for fault-tolerant computers

Content Provider	NASA Technical Reports Server (NTRS)
Author	Schwartz, R. Moore, J. S. Hare, D. Elliott, W. D. Levitt, K. N. Green, M. W. Boyer, R. S. Shostak, R. E. Melliar-Smith, P. M.
Copyright Year	1983
Description	A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.
File Size	14802177
Page Count	607
File Format	PDF
Alternate Webpage(s)	http://archive.org/details/NASA_NTRS_Archive_19840017239
Archival Resource Key	ark:/13960/t9c58fg3j
Language	English
Publisher Date	1983-08-01
Access Restriction	Open
Subject Keyword	Computer Operations And Hardware Fault Tolerance Hierarchies Algorithms Semantics Airborne/spaceborne Computers Mathematical Logic Man Machine Systems Computer Information Security Flight Control Programming Languages Program Verification Computers Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in