Development of NASA/DOE NTP System Performance Models

A critical enabling technology in the evolutionary development of Nuclear Thermal Propulsion (NTP) is the ability to predict the system performance under a variety of operating conditions. The ability to predict the system performance is critical for mission analysis and for control subsystem testing, as well as for the modeling of various failure modes. Performance must be accurately predicted during steady-state and transient operation, such as start-up, shut-down and after-cooling. The development and application of verified and validated system models has the potential to reduce testing, cost and time required for the technology to again reach flight-ready status. An integrated NASA/DOE team was formed in late 1991 to develop and implement a strategy for modeling NTP systems. It is the intent of the interagency team to develop several levels of computer programs, which vary in detail, to simulate NTP systems based on either prismatic, particle or advanced fuel forms. This paper presents an overview of the models under development by the interagency team. In addition, the status of the development and validation efforts for the Level 1 steady-state parametric model is discussed

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing abstraction levels: during requirements engineering component models are rather abstract high-level and underspecified, while during implementation the component models are rather concrete and fully specified in order to enable code generation. An important issue that arises is assuring that the concrete models correspond to abstract models. In this paper, we propose a method to assure that concrete models for system components refine more abstract models for the same components. In particular we advocate a framework for reusing testcases at different abstraction levels. Our approach, even if it cannot completely prove the refinement, can be used to ensure confidence in the development process. In particular we are targeting the refinement of requirements which are represented as very abstract models. Besides a formal model of our approach, we discuss our experiences with the development of an Adaptive Cruise Control (ACC) system in a model driven development process. This uses extensions which we implemented for our model-based development tool and which are briefly presented in this paper.Comment: In Proceedings MBT 2012, arXiv:1202.582

IDF-Autoware: Integrated Development Framework for ROS-Based Self-Driving Systems Using MATLAB/Simulink

This paper proposes an integrated development framework that enables co-simulation and operation of a Robot Operating System (ROS)-based self-driving system using MATLAB/Simulink (IDF-Autoware). The management of self-driving systems is becoming more complex as the development of self-driving technology progresses. One approach to the development of self-driving systems is the use of ROS; however, the system used in the automotive industry is typically designed using MATLAB/Simulink, which can simulate and evaluate the models used for self-driving. These models are incompatible with ROS-based systems. To allow the two to be used in tandem, it is necessary to rewrite the C++ code and incorporate them into the ROS-based system, which makes development inefficient. Therefore, the proposed framework allows models created using MATLAB/Simulink to be used in a ROS-based self-driving system, thereby improving development efficiency. Furthermore, our evaluations of the proposed framework demonstrated its practical potential

Cross-platform validation of notional baseline architecture models of naval electric ship power systems

To support efforts in assessing the relative merit of alternative power system architectures for future naval combatants, the Electric Ship Research and Development Consortium (ESRDC) has developed notional baseline models for each of the primary candidate architectures currently considered, medium-voltage DC (MVDC), conventional 60 Hz medium-voltage (MVAC), and high-frequency medium-voltage (HFAC). Initial efforts have focused on the development of a consistent set of component models, of which the system models can be comprised, and the basic definition of the system models. The broader objectives of the consortium, however, go beyond the definition of the baseline models. The focus is on the process by which the models are implemented in software and validated, the process by which the performance of the disparate system models are objectively and quantitatively assessed and compared, and, ultimately, the process by which the relative merits of the architectures may be assessed. This paper focuses specifically on cross-platform component validation.Center for Electromechanic

Lightweight and static verification of UML executable models

Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote a complete and fine-grained specification of the system behaviour. In this context, where models are the basis of the whole development process, the quality of the models has a high impact on the final quality of software systems derived from them. Therefore, the existence of methods to verify the correctness of executable models is crucial. Otherwise, the quality of the executable models (and in turn the quality of the final system generated from them) will be compromised. In this paper a lightweight and static verification method to assess the correctness of executable models is proposed. This method allows us to check whether the operations defined as part of the behavioural model are able to be executed without breaking the integrity of the structural model and returns a meaningful feedback that helps repairing the detected inconsistencies.Peer ReviewedPostprint (author's final draft

Fit for planning? An evaluation of the application of development viability appraisal models in the UK planning system

The aim of this paper is to critically examine the application of development appraisal to viability assessment in the planning system. This evaluation is of development appraisal models in general and also their use in particular applications associated with estimating planning obligation capacity. The paper is organised into four themes: · The context and conceptual basis for development viability appraisal · A review of development viability appraisal methods · A discussion of selected key inputs into a development viability appraisal · A discussion of the applications of development viability appraisals in the planning system It is assumed that readers are familiar with the basic models and information needs of development viability appraisal rather than at the cutting edge of practice and/or academ

Developing system models to help Great Britain's railways embrace innovative technologies with confidence

Railways are under pressure to become more efficient and cut their costs; innovation has a part to play in achieving these goals. The railway is, however, a complex and closely coupled system, making it difficult in the early stages of development, to be clear what the system-wide impact of innovation will be. The research covered in this paper stems from the idea that computer-based models of existing systems can help overcome this problem, by providing a baseline framework against which the impact of innovation can be identified. The paper describes development of a repeatable modelling methodology, which elicits\ud objective system data from Railway Group Standards and integrates it using CORE®, a powerful system modelling tool, to create system models. The ability of such models to help identify impacts is verified, using as an example the introduction of RailBAM (a new technology that acoustically monitors the health of rolling stock axle bearings) into the existing hot axle bearing detection system

A development of logistics management models for the Space Transportation System

A new analytic queueing approach was described which relates stockage levels, repair level decisions, and the project network schedule of prelaunch operations directly to the probability distribution of the space transportation system launch delay. Finite source population and limited repair capability were additional factors included in this logistics management model developed specifically for STS maintenance requirements. Data presently available to support logistics decisions were based on a comparability study of heavy aircraft components. A two-phase program is recommended by which NASA would implement an integrated data collection system, assemble logistics data from previous STS flights, revise extant logistics planning and resource requirement parameters using Bayes-Lin techniques, and adjust for uncertainty surrounding logistics systems performance parameters. The implementation of these recommendations can be expected to deliver more cost-effective logistics support