|
| |
| |
|
| |
Software Assurance |
|
| |
 |
Security in the Software Life Cycle
( PDF 131KB)
by Joe Jarzombek and Karen Mercedes Goertzel
This article emphasizes how developers need to make additional, significant increases in their processes, by adding structure and repeatability to further the security and quality of their software. |
|
| |
|
When Computers Fly, It Has to Be Right: Using SPARK for Flight Control of Small Unmanned Aerial Vehicles
( PDF 271KB)
by Dr. Ricky E. Sward, Lt. Col Mark J. Gerken, Ph.D., and 2nd Lt. Dan Casey
This article describes how SPARK, an annotated subset of the Ada programming language, can help prove correctness of software implementations. |
|
| |
|
Application and Evaluation of Built-In-Test (BIT) Techniques in Building Safe Systems
( PDF 474KB)
by James A. Butler
This article presents some of the goals and uses of BIT, as well as the applications in providing a safe system. |
|
| |
|
Assessing Information Security Risks in the Software Development Life Cycle
( PDF 353KB)
by Dr. Douglas A. Ashbaugh
This article focuses on how to apply simple risk assessment techniques to the software development life cycle process. |
|
| |
|
Increasing the Likelihood of Success of a Software Assurance Program
( PDF 468KB)
by Steven F. Mattern
This article discusses how investing the resources in a software assurance program during the design, code, and test phases of a software development program will significantly reduce the likelihood of costly mishaps, failures, or system breeches during system operations and support. |
|
| |
| |
Departments |
|
| |
|
|
)
)
