95,111 research outputs found
Validation and Verification of Aircraft Control Software for Control Improvement
Validation and Verification are important processes used to ensure software safety and reliability. The Cooper-Harper Aircraft Handling Qualities Rating is one of the techniques developed and used by NASA researchers to verify and validate control systems for aircrafts. Using the Validation and Verification result of controller software to improve controller\u27s performance will be one of the main objectives of this process. Real user feedback will be used to tune PI controller in order for it to perform better. The Cooper-Harper Aircraft Handling Qualities Rating can be used to justify the performance of the improved system
Recommended from our members
PHP/HTML design and build of a computer adaptive test to assess English fluency among native Spanish speakers
textThe following is a review of key findings from the implementation of a PHP/HTML web-based application to assess English fluency among native Spanish speakers. The scope of this professional report includes mainly the design, build, and implementation of a web based system accessible through www.babelous.com. This written portion is intended to briefly summarize initial results from the implementation of the successfully built application, provide information on how to replicate the application, and detail areas of focus for future development.Public AffairsBusiness Administratio
AFTI/F-16 digital flight control system experience
The Advanced Flighter Technology Integration (AFTI) F-16 program is investigating the integration of emerging technologies into an advanced fighter aircraft. The three major technologies involved are the triplex digital flight control system; decoupled aircraft flight control; and integration of avionics, pilot displays, and flight control. In addition to investigating improvements in fighter performance, the AFTI/F-16 program provides a look at generic problems facing highly integrated, flight-crucial digital controls. An overview of the AFTI/F-16 systems is followed by a summary of flight test experience and recommendations
Bayesian inference for a software reliability model using metrics information.
In this paper, we are concerned with predicting the number of faults N and the time to next failure of a piece of software. Information in the form of software metrics data is used to estimate the prior distribution of N via a Poisson regression model. Given failure time data, and a well known model for software failures, we show how to sample the posterior distribution using Gibbs sampling, as implemented in the package "WinBugs". The approach is illustrated with a practical example
BAYESIAN INFERENCE FOR A SOFTWARE RELIABILITY MODEL USING METRICS INFORMATION.
In this paper, we are concerned with predicting the number of faults N and the time to next failure of a piece of software. Information in the form of software metrics data is used to estimate the prior distribution of N via a Poisson regression model. Given failure time data, and a well known model for software failures, we show how to sample the posterior distribution using Gibbs sampling, as implemented in the package "WinBugs". The approach is illustrated with a practical example.
Fairness Testing: Testing Software for Discrimination
This paper defines software fairness and discrimination and develops a
testing-based method for measuring if and how much software discriminates,
focusing on causality in discriminatory behavior. Evidence of software
discrimination has been found in modern software systems that recommend
criminal sentences, grant access to financial products, and determine who is
allowed to participate in promotions. Our approach, Themis, generates efficient
test suites to measure discrimination. Given a schema describing valid system
inputs, Themis generates discrimination tests automatically and does not
require an oracle. We evaluate Themis on 20 software systems, 12 of which come
from prior work with explicit focus on avoiding discrimination. We find that
(1) Themis is effective at discovering software discrimination, (2)
state-of-the-art techniques for removing discrimination from algorithms fail in
many situations, at times discriminating against as much as 98% of an input
subdomain, (3) Themis optimizations are effective at producing efficient test
suites for measuring discrimination, and (4) Themis is more efficient on
systems that exhibit more discrimination. We thus demonstrate that fairness
testing is a critical aspect of the software development cycle in domains with
possible discrimination and provide initial tools for measuring software
discrimination.Comment: Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou. 2017. Fairness
Testing: Testing Software for Discrimination. In Proceedings of 2017 11th
Joint Meeting of the European Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE),
Paderborn, Germany, September 4-8, 2017 (ESEC/FSE'17).
https://doi.org/10.1145/3106237.3106277, ESEC/FSE, 201
Testing the structure and process of personality using ambulatory assessment data : an overview of within-person and person-specific techniques
In the present article, we discuss the potential of ambulatory assessment for an idiographic study of the structure and process of personality. To this end, we first review important methodological issues related to the design and implementation of an ambulatory assessment study in the personality domain, including methods of ambulatory assessment, frequency of measurement and duration of the study, ambulatory assessment scales and questionnaires, participant selection, training and motivation, and ambulatory assessment hard- and software. Next, we provide a detailed outline of available analytical approaches that can be used to analyze the intensive longitudinal data generated by an ambulatory assessment study. By doing this, we hope to familiarize personality scholars with these methods and to provide guidance for their use in the field of personality psychology and beyond
Psychometrics in Practice at RCEC
A broad range of topics is dealt with in this volume: from combining the psychometric generalizability and item response theories to the ideas for an integrated formative use of data-driven decision making, assessment for learning and diagnostic testing. A number of chapters pay attention to computerized (adaptive) and classification testing. Other chapters treat the quality of testing in a general sense, but for topics like maintaining standards or the testing of writing ability, the quality of testing is dealt with more specifically.\ud
All authors are connected to RCEC as researchers. They present one of their current research topics and provide some insight into the focus of RCEC. The selection of the topics and the editing intends that the book should be of special interest to educational researchers, psychometricians and practitioners in educational assessment
- …