EVALUATING ARMY INFORMATION SYSTEMS: EXERCISE ROYAL DAGGER: ANALYSIS OF INFORMATION PROCESSING

作者:科技文献资料网 时间:2018-10-20 04:57:14   浏览:9733   来源:科技文献资料网
下载地址: 点击此处下载
[唯一标识符]:CDSITC.CANADADR.506673
[文献来源]:加拿大发展研究报告(CanadaDRS)
[文献类型]:科技报告
[资源原始索取号]:98-00033
[标题]:EVALUATING ARMY INFORMATION SYSTEMS: EXERCISE ROYAL DAGGER: ANALYSIS OF INFORMATION PROCESSING
[作者]:Webb, R.D.G.; McLean, D.N.; MacLean, C.E.; McCann, C.A.
[机构]:Defence and Civil Inst of Environmental Medicine, Downsview ONT (CAN);Humansystems Inc, Guelph ONT (
[出版单位]:Defense R&D Department Canada
[文摘]:The document describes work undertaken for the Defence and Civil Institute of Environmental Medicine (DCIEM) in the context of ongoing development of evaluation approaches to command and control and related support software and is the continuation of earlier work reported in "Survey of Evaluation Methods for Command and Control Systems", 1993. The report focuses on data collection efforts during a Division-level CPX (Exercise Royal Dagger, 1996) and contains the following: - Overview of Exercise
[关键词]:Situational awareness;Command Post Exercise (CPX)
[出版时间]:13 May 1997
[出版年份]:1997
[报告号]:DCIEM-97-CR-23; Contractor Report
[页码]:102
[总页数]:106


下载地址: 点击此处下载
[唯一标识符]:CDSITC.AEROSPACE.N96-10117
[文献来源]:美国航空航天数据库(aerospace)
[资源原始索取号]:N1996-10117; Reference AN: N96-10117
[标题]:Fault isolator tool for software fault tree analysis (M.S. Thesis)
[作者]:MASON RUSSELL W
[文摘]:Software fault tree analysis (SETA) is a technique used to analyze software for faults that could lead to hazardous conditions in systems which contain software components. A necessary element of a SETA process is the construction of software fault trees based upon the syntactical structure of the software being analyzed. The specific problem addressed by this thesis is how can the process of generating software fault trees based upon the translation of Ada source code files be automated. The approach taken to address this problem was to develop an automated tool that manipulates files created by the Automated Code Translation Tool (ACTT) developed earlier at the Naval Postgraduate School. The ACTT is an automated tool that translates Ada source code files into statement template tree structures that can be used to construct software fault trees. This thesis presents the Fault Isolator Tool (FIT), an automated process for locating and isolating those parts of a statement template tree structure generated by the ACTT tool that are related to statements in Ada programs that the analyst selects for evaluation. The FIT tool then generates software fault trees in a form compatible with the Fault Tree Editor (FTE), an interactive graphical editor developed for the display, editing, and evaluation of software fault trees. (DTIC)
[关键词]:ADA PROGRAMMING LANGUAGE; FAULT TREES; MACHINE TRANSLATION; PROGRAM VERIFICATION COMPUTERS; RELIABILITY ANALYSIS; SOFTWARE DEVELOPMENT TOOLS; SOFTWARE RELIABILITY; COMPUTER PROGRAMMING; SOFTWARE ENGINEERING; SOURCE PROGRAMS
[出版年份]:1995
[专业领域]:Computer Programming and Software
[唯一标识符]:CDSTIC.ISTP.137666
[文献来源]:科学技术会议录索引(ISTP)
[文献类型]:科技会议
[标题]:A POWER-SUPPLY CIRCUIT RECYCLING CHARGE IN ADIABATIC DYNAMIC CMOS LOGIC-CIRCUITS
[作者]:D Ezaki;M Hashizume;H Yotsuyanagi;T Tamesada
[出版单位]:IEEE COMPUTER SOCLOS ALAMITOS
[ISSN_ISBN]:0-7695-2081-2
[会议名称]:2nd IEEE International Workshop on Electronic Design, Test and Applications,PERTH, AUSTRALIA,January 28-30, 2004
[来源]:DELTA 2004: SECOND IEEE INTERNATIONAL WORKSHOP ON ELECTRONIC DESIGN, TEST APPLICATIONS, PROCEEDINGS,pp 306-311
[编辑者]:CIEEE COMPUTER SOCIETY
[主办单位]:Australian Microelect Network;Ctr Very High Speed Microelect Syst;Edith Cowan Univ;IEEE Comp Soc, TTTC;Mentor Graph;NNTFF;Tanner EDA
[地址]:D Ezaki,UNIV_TOKUSHIMA, FAC ENGN, TOKUSHIMA 7708506, JAPAN
[专业领域]:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE,ENGINEERING, ELECTRICAL & ELECTRONIC,OPTICS,TELECOMMUNICATIONS