Ordnance Computer Research Report PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Ordnance Computer Research Report PDF full book. Access full book title Ordnance Computer Research Report by . Download full books in PDF and EPUB format.
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 306
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 306
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 252
Get Book Here
Book Description
Author: American Ordnance Association
Publisher:
ISBN:
Category : Ordnance
Languages : en
Pages : 388
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 172
Get Book Here
Book Description
Author: K. J. Hayman
Publisher:
ISBN: 9780646004808
Category : Computer software
Languages : en
Pages : 23
Get Book Here
Book Description
THE INCREASING USE OF SOFTWARE IN SYSTEMS WHERE A FAILURE ENDANGERS HUMAN LIFE IS CREATING AN AWARENESS OF THE NEED FOR CAREFUL VERIFICATION OF THE CORRECT FUNCTIONING OF SUCH SOFTWARE. In this light, an analysis was made of the software to control a 'smart' ordnance device, by applying the MALPAS static analysis package. This report presents the results of the analysis, both as they relate to the specific software being analysed and more generally in terms of the experience and insight gained into the application of static analysis techniques to the verification of real-time software. Two significant safety related flaws were detected during the analysis, one in the software itself and the other in the specification of the device. Comparisons are also made between the findings of the analysis and currently proposed standards for writing safety-critical software. Keywords: MAIPAS computer program; Computer program verification; Electric fuzes ordnance; Computer program reliability; Safing and arming ordnance; Time delay fuzes; EXDET fuzes. Australia. (edc).
Author: United States. Dept. of Commerce. Office of Technical Services
Publisher:
ISBN:
Category :
Languages : en
Pages : 742
Get Book Here
Book Description
Author: Elmer D. Fullenwider
Publisher:
ISBN:
Category : Electronic analog computers
Languages : en
Pages : 58
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 882
Get Book Here
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Author: Indiana University. Libraries
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 1200
Get Book Here
Book Description
Author: United States. Congress. Senate. Committee on the Judiciary. Subcommittee on Antitrust and Monopoly
Publisher:
ISBN:
Category : Antitrust law
Languages : en
Pages : 1090
Get Book Here
Book Description
