5,298 research outputs found
Study of a contractors capabilities center and the technology transfer process Final report, 15 Mar. 1966 - 30 Jun. 1968
Feasibility of NASA Contractors Capabilities Center, and approaches to technology utilizatio
Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics
The usage of complex Microcontroller Units (MCUs) in avionic systems
constitutes a challenge in assuring their safety. They are not developed
according to the development requirements accepted by the aerospace industry.
These Commercial off-the-shelf (COTS) hardware components usually target other
domains like the telecommunication branch. In the last years MCUs developed in
compliance to the ISO 26262 have been released on the market for safety-related
automotive applications. The avionic assurance process could profit from these
safety MCUs. In this paper we present evaluation results based on the current
assurance practice that demonstrates expected assurance activities benefit from
ISO 26262 compliant MCUs.Comment: Submitted to SafeComp 2018: http://www.es.mdh.se/safecomp2018
Recommended from our members
Visual analytics of flight trajectories for uncovering decision making strategies
In air traffic management and control, movement data describing actual and planned flights are used for planning, monitoring and post-operation analysis purposes with the goal of increased efficient utilization of air space capacities (in terms of delay reduction or flight efficiency), without compromising the safety of passengers and cargo, nor timeliness of flights. From flight data, it is possible to extract valuable information concerning preferences and decision making of airlines (e.g. route choice) and air traffic managers and controllers (e.g. flight rerouting or optimizing flight times), features whose understanding is intended as a key driver for bringing operational performance benefits. In this paper, we propose a suite of visual analytics techniques for supporting assessment of flight data quality and data analysis workflows centred on revealing decision making preferences
A prescriptive approach to qualify and quantify customer value for value-based requirements engineering
Recently, customer-based product development is becoming a popular paradigm. Customer expectations and needs can be identified and transformed into requirements for product design with the help of various methods and tools. However, in many cases, these models fail to focus on the perceived value that is crucial when customers make the decision of purchasing a product. In this paper, a prescriptive approach to support value-based requirements engineering (RE) is proposed, describing the foundations, procedures and initial applications in the context of RE for commercial aircraft. An integrated set of techniques, such as means-ends analysis, part-whole analysis and multi-attribute utility theory is introduced in order to understand customer values in depth and width. Technically, this enables identifying the implicit value, structuring logically collected statements of customer expectations and performing value modelling and simulation. Additionally, it helps to put in place a system to measure customer satisfaction that is derived from the proposed approach. The approach offers significant potential to develop effective value creation strategies for the development of new product
Measurement of performance using acceleration control and pulse control in simulated spacecraft docking operations
Nine commercial airline pilots served as test subjects in a study to compare acceleration control with pulse control in simulated spacecraft maneuvers. Simulated remote dockings of an orbital maneuvering vehicle (OMV) to a space station were initiated from 50, 100, and 150 meters along the station's -V-bar (minus velocity vector). All unsuccessful missions were reflown. Five way mixed analysis of variance (ANOVA) with one between factor, first mode, and four within factors (mode, bloch, range, and trial) were performed on the data. Recorded performance measures included mission duration and fuel consumption along each of the three coordinate axes. Mission duration was lower with pulse mode, while delta V (fuel consumption) was lower with acceleration mode. Subjects used more fuel to travel faster with pulse mode than with acceleration mode. Mission duration, delta V, X delta V, Y delta V., and Z delta V all increased with range. Subjects commanded the OMV to 'fly' at faster rates from further distances. These higher average velocities were paid for with increased fuel consumption. Asymmetrical transfer was found in that the mode transitions could not be predicted solely from the mission duration main effect. More testing is advised to understand the manual control aspects of spaceflight maneuvers better
Make-or-buy configurational approaches in product-service ecosystems and performance
This research examines firm boundary configurations for manufacturers' product-service offerings. We argue that the building of a product-service ecosystem through collaboration with service providers in certain types of business services can increase performance as a result of the superior knowledge-based resources coming from specialized partners. By using fuzzy set qualitative analysis on a sample of 370 multinational manufacturing enterprises (MMNEs), the results reveal that effective servitization is heterogeneous across manufacturing industries and across business service offerings. The findings indicate that most industries achieve their highest performance through collaborations with value-added service providers in two out of three of the service continuum stages (Base and Intermediate services); while keeping the development of Advanced services in-house. The results help to contextualize the best practices for implementing service business models in MMNEs by detailing which service capabilities should be retained in-house and which should be outsourced to specialized partners in various industrial contexts.Peer ReviewedPreprin
Report by the Aerospace Safety Advisory Panel
The process of preparation for the first two shuttle flights was observed and information from both flights was gathered in order to confirm the concept and performance of the major elements of the space transportation system. To achieve truly operational operating safety, regularity, and minimum practical cost, the organization of efforts between the R&D community and any transportation service organization should be clearly separated with the latter organization assuming responsibilities for marketing its services; planning and acquiring prime hardware and spares; maintainance; certification of procedures; training; and creation of requirements for future development. A technical audit of the application of redundancy concepts to shuttle systems is suggested. The state of the art of space transportation hardware suggests that a number of concept changes may improve reliability, costs, and operational safety. For the remaining R&D flights, it is suggested that a redline audit be made of limits that should not be exceeded for ready to launch
Grand Challenges of Traceability: The Next Ten Years
In 2007, the software and systems traceability community met at the first
Natural Bridge symposium on the Grand Challenges of Traceability to establish
and address research goals for achieving effective, trustworthy, and ubiquitous
traceability. Ten years later, in 2017, the community came together to evaluate
a decade of progress towards achieving these goals. These proceedings document
some of that progress. They include a series of short position papers,
representing current work in the community organized across four process axes
of traceability practice. The sessions covered topics from Trace Strategizing,
Trace Link Creation and Evolution, Trace Link Usage, real-world applications of
Traceability, and Traceability Datasets and benchmarks. Two breakout groups
focused on the importance of creating and sharing traceability datasets within
the research community, and discussed challenges related to the adoption of
tracing techniques in industrial practice. Members of the research community
are engaged in many active, ongoing, and impactful research projects. Our hope
is that ten years from now we will be able to look back at a productive decade
of research and claim that we have achieved the overarching Grand Challenge of
Traceability, which seeks for traceability to be always present, built into the
engineering process, and for it to have "effectively disappeared without a
trace". We hope that others will see the potential that traceability has for
empowering software and systems engineers to develop higher-quality products at
increasing levels of complexity and scale, and that they will join the active
community of Software and Systems traceability researchers as we move forward
into the next decade of research
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project
Safety critical avionics software is a natural application area for formal
verification. This is reflected in the formal method's inclusion into the
certification guideline DO-178C and its formal methods supplement DO-333.
Airbus and Dassault-Aviation, for example, have conducted studies in using
formal verification. A large German national research project, Verisoft XT,
also examined the application of formal methods in the avionics domain.
However, formal methods are not yet mainstream, and it is questionable if
formal verification, especially formal deduction, can be integrated into the
software development processes of a resource constrained small or medium
enterprise (SME). ESG, a Munich based medium sized company, has conducted a
small experimental study on the application of formal verification on a small
portion of a real avionics project. The low level specification of a software
function was formalized with ACSL, and the corresponding source code was
partially verified using Frama-C and the WP plugin, with Alt-Ergo as automated
prover.
We established a couple of criteria which a method should meet to be fit for
purpose for industrial use in SME, and evaluated these criteria with the
experience gathered by using ACSL with Frama-C on a real world example. The
paper reports on the results of this study but also highlights some issues
regarding the method in general which, in our view, will typically arise when
using the method in the domain of embedded real-time programming.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338
Advanced manned space flight simulation and training: An investigation of simulation host computer system concepts
The findings of a preliminary investigation by Southwest Research Institute (SwRI) in simulation host computer concepts is presented. It is designed to aid NASA in evaluating simulation technologies for use in spaceflight training. The focus of the investigation is on the next generation of space simulation systems that will be utilized in training personnel for Space Station Freedom operations. SwRI concludes that NASA should pursue a distributed simulation host computer system architecture for the Space Station Training Facility (SSTF) rather than a centralized mainframe based arrangement. A distributed system offers many advantages and is seen by SwRI as the only architecture that will allow NASA to achieve established functional goals and operational objectives over the life of the Space Station Freedom program. Several distributed, parallel computing systems are available today that offer real-time capabilities for time critical, man-in-the-loop simulation. These systems are flexible in terms of connectivity and configurability, and are easily scaled to meet increasing demands for more computing power
- …