NASA Technical Reports Server (NTRS) : Phase pdf

NASA Technical Reports Server (NTRS) : Phase

More Book Details

Description of the Book:

A feasibility study was performed on a representative aerospace system to determine the following: (1) the benefits and limitations to using SCADE , a commercially available tool for model checking, in comparison to using a proprietary tool that was studied previously [1] and (2) metrics for performing the model checking and for assessing the findings. This study was performed independently of the development task by a group unfamiliar with the system, providing a fresh, external perspective free from development bias

• Creator/s: NASA Technical Reports Server (NTRS
• Date: 4/1/2010
• Year: 2010
• Book Topics/Themes: NASA Technical Reports Server (NTRS), AEROSPACE SYSTEMS, PROGRAM VERIFICATION (COMPUTERS), SOFTWARE RELIABILITY, SYSTEMS ANALYSIS, SYSTEMS ENGINEERING, FUNCTIONAL DESIGN SPECIFICATIONS, REQUIREMENTS, FEASIBILITY, COMPUTER PROGRAMMING, COMPUTER SYSTEMS SIMULATION, FEASIBILITY ANALYSIS, Turgeon, Gregory, Price, Petra

An excerpt captured from the PDF book