Verification and validation of autonomous systems

NASA is working on complex future missions that require cooperation between multiple satellites or rovers. To implement these systems, developers are proposing and using intelligent and autonomous systems. These autonomous missions are new to NASA, and the software development community is just learning to develop such systems. With these new systems, new verification and validation techniques must be used. Current techniques have been developed based on large monolithic systems. These techniques have worked well and reliably, but do not translate to the new autonomous systems that are highly parallel and nondeterministic.

Applying a Systems Approach to the Analysis of the Benefits of Conversion to Organic Production

Although the current level of organic production in industrialised countries amounts to little more than 1-2 percent, it is recognised that one of the major issues shaping agricultural output over the next several decades will be the demand for organic produce (Dixon et al. 2001). In Australia, the issues of healthy food and environmental concern contribute to increasing demand and market volumes for organic produce. However, in Indonesia, using more economical inputs for organic production is a supply-side factor driving organic production. For individual growers and processors, conversion from conventional to organic agriculture is often a challenging step, entailing a thorough revision of established practices and heightened market insecurity. This paper examines the potential for a systems approach to the analysis of the conversion process, to yield insights for household and community decisions. A framework for applying farming systems research to investigate the benefits of organic production in both Australia and Indonesia is discussed. The framework incorporates scope for farmer participation, crucial to the understanding of farming systems; analysis of production; and relationships to resources, technologies, markets, services, policies and institutions in their local cultural context. A systems approach offers the potential to internalise the external effects that may be constraining decisions to convert to organic production, and for the design of decision-making tools to assist households and the community. Systems models can guide policy design and serve as a mechanism for predicting the impact of changes to the policy and market environments. The increasing emphasis of farming systems research on community and environment in recent years is in keeping with the proposed application to organic production, processing and marketing issues. The approach will also facilitate the analysis of critical aspects of the Australian production, marketing and policy environment, and the investigation of these same features in an Indonesian context.

Towards a Modeling Environment for Earth Systems Simulations

The developments of models in Earth Sciences, e.g. for earthquake prediction and for the simulation of mantel convection, are fare from being finalized. Therefore there is a need for a modelling environment that allows scientist to implement and test new models in an easy but flexible way. After been verified, the models should be easy to apply within its scope, typically by setting input parameters through a GUI or web services. It should be possible to link certain parameters to external data sources, such as databases and other simulation codes. Moreover, as typically large-scale meshes have to be used to achieve appropriate resolutions, the computational efficiency of the underlying numerical methods is important. Conceptional this leads to a software system with three major layers: the application layer, the mathematical layer, and the numerical algorithm layer. The latter is implemented as a C/C++ library to solve a basic, computational intensive linear problem, such as a linear partial differential equation. The mathematical layer allows the model developer to define his model and to implement high level solution algorithms (e.g. Newton-Raphson scheme, Crank-Nicholson scheme) or choose these algorithms form an algorithm library. The kernels of the model are generic, typically linear, solvers provided through the numerical algorithm layer. Finally, to provide an easy-to-use application environment, a web interface is (semi-automatically) built to edit the XML input file for the modelling code. In the talk, we will discuss the advantages and disadvantages of this concept in more details. We will also present the modelling environment escript which is a prototype implementation toward such a software system in Python (see www.python.org). Key components of escript are the Data class and the PDE class. Objects of the Data class allow generating, holding, accessing, and manipulating data, in such a way that the actual, in the particular context best, representation is transparent to the user. They are also the key to establish connections with external data sources. PDE class objects are describing (linear) partial differential equation objects to be solved by a numerical library. The current implementation of escript has been linked to the finite element code Finley to solve general linear partial differential equations. We will give a few simple examples which will illustrate the usage escript. Moreover, we show the usage of escript together with Finley for the modelling of interacting fault systems and for the simulation of mantel convection.