Employing software defect measurement for improvement at JPL
Explore the source record for details and available documents.
defects metrics↗
Engineering topics
Powell, J. D.
Publications and source records attributed to Powell, J. D..
Modeling defect trends for iterative development
The Employment of Defects (EoD) approach to measuring and analyzing defects seeks to identify and capture trends and phenomena that are critical to managing software quality in the iterative software development lifecycle at JPL.
modeling defects metrics↗
Modeling defect trends for iterative development at JPL
Explore the source record for details and available documents.
defects metrics↗
Model checking for software security properties
This paper describes the use of the Flexible Modeling Framework (FMF) for model checking (MC) to perform and search for vulnerabilities in the Secure Socket Layer (SSL) communication protocol.
model checking formal methods software security↗
Advances in software security assessment and verification research
Explore the source record for details and available documents.
security software networking↗
An early look at COQUALMO in the JPL environment
This paper will describe the initial efforts to validate and calibrate the COQUALMO model within the JPL environment.
COQUALMO defects estimation prediction↗
Security system property decomposition for model checking with the flexible modeling framework (FMF)
This paper discusses proposed improvements to the Flexible Modeling Framework (FMF) approach to model checking.
model checking format methods security software ne↗
Model checking for software security properties
Explore the source record for details and available documents.
security model checking software formal methods↗
Component based approach to modeling for model checking
This paper presents a portion of an overall research project on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
security toolset model checking security safety fo↗
Integrating a flexible modeling framework (FMF) with the network security assessment instrument to reduce software security risk
This paper presents a portion of an overall research project on the generation of the network security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
security model checking formal methods↗
Formal assessment instrument for ensuring the security of NASA's networks, systems and software
To address the problem of security for NASA's networks, systems and software, NASA has funded the Jet Propulsion Lab in conjunction with UC Davis to begin work on developing a software security assessment instrument for use in the software development and maintenance life cycle.
software security security toolset vulnerability m↗
Reducing software security risk through an integrated approach
This paper presents research on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
security verification↗
Reducing software security risk through an integrated approach
Explore the source record for details and available documents.
model checking security verification↗
Model checking for network security requirements via a flexible modeling framework
Explore the source record for details and available documents.
model checking formal methods network security↗
Development of a software security assessment instrument to reduce software security risk
This paper discusses the development of a security assessment instrument for the software development and maintenance life cycle.
specification checking security verification↗
Development of a software security assessment instrument to reduce software security risk
This paper discusses development of a security assessment instrument for the software development and maintenance life cycle. The assessment instrument is a collection of tools and procedures to support development of secure software.
security toolset vulnerability matrix property-bas↗
Formal assessment of network security risks with an integrated assessment instrument
Explore the source record for details and available documents.
checking security verification↗
Precision attitude control for tethered satellites
Tethered spacecraft are particularly well suited to serve as isolation platforms for space-borne observatories. It has previously been shown that, due to the relatively large tether force, conventional means of performing attitude control for tethered satellites are inefficient for any mission with pointing requirements more stringent than about 1 deg. A particularly effective method of implementing attitude control for tethered satellites is to use the tether tension force to generate control moments by moving the tether attach point relative to the subsatellite center of mass. This paper presents the development of a precision pointing control algorithm for tethered satellites and the simulation of the control system with laboratory hardware. The control algorithm consists of a linear quadratic regulator feedback law and a Kalman filter. The control algorithm has been shown to regulate the vehicle orientation to within 0.60 arcsec rms. This level of precision was achieved only after including a mass center estimator and accurately modeling the effects of the nonlinear attach point motion actuator.
Kline-Schoder, Robert J.↗