Software Framework

The ATLAS detector at CERN's Large Hadron Collider (LHC) will be exposed to proton-proton collisions from beams crossing at 40 MHz. A three-level trigger system will select potentially interesting events in order to reduce the readout rate to about 200 Hz. The first trigger level is implemented in custom-built electronics and makes an initial fast selection based on detector data of coarse granularity. It has to reduce the rate by a factor of 10 4 to less than 100 kHz. The other two consecutive trigger levels are in software and run on PC farms. We present an overview of the first-level central trigger and the muon barrel trigger system and report on the current installation status. Moreover, we show analysis results of cosmicray data recorded in situ at the ATLAS experimental site with final or close-to-final hardware.

Several sources of uncertainty affect the assessmen t of xisting buildings, including uncertainties as sociated with the material properties and the displacement capaci ty of the elements. In engineering practice, Monte Carlo simulations of the nonlinear seismic response of st ructures lead often to excessive computational cost s and therefore rarely carried out. This paper proposes a simple logic tree approach, where a moment-matchin g technique is proposed to define the optimal sampling points a d combination weights to apply to its branches. As a more refined method, a novel application to structural e ngineering of a recently proposed Point Estimate Me thod (PEM), which aims at reducing the required number of simul ations further, is tested. Both methods are applied to a historical stone masonry building, which is modelle d by an equivalent frame approach. The methods are benchmarked against the results of a Monte Carlo si mulation and other approximate methods applied in t he l...

Abstract. We present an architecture that allows the seamless configuration of computer labs to work as dedicated computing clusters during periods of user inactivity. The operation of the cluster is fully automated by making use of differentiated network booting and a job management system. We have prepared it to be plugged to a larger computational grid. We provide some preliminary performance results obtained.

Liquid chromatography coupled with mass spectrometry is an established method in shotgun proteomics. A key step in the data processing pipeline is to transform the raw data acquired by the mass spectrometer into a list of features. In this context, a emph{feature} is defined as the two-dimensional integration with respect to retention time (RT) and mass-over-charge (m/z) of the eluting signal belonging to a single charge variant of a measurand (e.g., a peptide). Features are characterized by attributes like average mass-to-charge ratio, centroid retention time, intensity, and quality. We present a new algorithm for feature finding which has been developed as a part of a combined experimental and algorithmic approach to absolutely quantify proteins from complex samples with unprecedented precision. The method was applied to the analysis of myoglobin in human blood serum, which is an important diagnostic marker for myocardial infarction. Our approach was able to determine the absolute...

Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, precise mass analyzers and experimental protocols is a very active field of research. This leads to more complex experimental setups yielding ever increasing amounts of data. Consequently, analysis of the data is currently often the bottleneck for experimental studies. Although software tools for many data analysis tasks are available today, they are often hard to combine with each other or not flexible enough to allow for rapid prototyping of a new analysis workflow. We present OpenMS, a software framework for rapid application development in mass spectrometry. OpenMS has been designed to be portable, easy-to-use and robust while offering a rich functionality ranging from basic data structures to sophisticated algorithms for data analysis. This has already been demonstrated in several studies.

The common view of component centered development is one where applications are constructed by assembling interacting but non-overlapping software components. We are interested in the case where components do overlap, but that may still be developed independently, and deployed and executed in a distributed fashion. In our approach, applications are constructed by independently modeling and programming the functional roles that objects may play, and composing them only on-demand during run-time. An object's response to a message depends on the views currently attached to its core instance. We first present our model of view programming, and show how it is being supported in C++. Next, we show how view programming can be used to add features to existing applications by wrapping those features into view components, which facilitates software configuration and evolution. Finally, we look at the challenges and opportunities provided by view programming to distribute components in a safe, robust, and efficient manner.

As hardware advances continue to modify the supercomputing landscape, traditional scientific software development practices will become more outdated, ineffective, and inefficient. The process of rewriting/retooling existing software for new architectures is a Sisyphean task, and results in substantial hours of development time, effort, and money. Software libraries which provide an abstraction of the resources provided by such architectures are therefore essential if the computational engineering and science communities are to continue to flourish in this modern computing environment. The Multiphysics Object Oriented Simulation Environment (MOOSE) framework enables complex multiphysics analysis tools to be built rapidly by scientists, engineers, and domain specialists, while also allowing them to both take advantage of current HPC architectures, and efficiently prepare for future supercomputer designs. MOOSE employs a hybrid shared-memory and distributed-memory parallel model and provides a complete and consistent interface for creating multiphysics analysis tools. In this paper, a brief discussion of the mathematical algorithms underlying the framework and the internal object-oriented hybrid parallel design are given. Representative massively parallel results from several applications areas are presented, and a brief discussion of future areas of research for the framework are provided.

JDE is an ethology inspired architecture for designing applications both in autonomous and teleoperated robots. In this paper we will outline the JDE architecture, present some tools included in the JDE suite and show several examples of different applications built using it. Experiments carried out using this suite will be described and the obtained results

Geant4 is a Monte Carlo simulation toolkit that is used for the simulation of particles through matter. It was developed by a world wide collaboration of about 100 scientists. It has applications in high energy physics, astrophysics, medical physics, nuclear physics experiments, accelerator and space science studies. The Evaluated Nuclear Data File, ENDF/B-VII database is included in the simulation toolkit, making it feasible to use the Geant4 toolkit for low energy neutron-physics simulations. The ENDF/B-VII database stores evaluated nuclear reaction data files from the major evaluated libraries. In this presentation Geant4 was used to perform simple single event neutron scattering simulations on materials that are typical for a nuclear reactor. Some of the materials used are found in the SAFARI 1 reactor at Necsa, Pelindaba. These include Aluminium, Beryllium. This was done in order to validate the Geant4 implementation of primary processes relevant to reactor studies within the E...

Queremos agradecer muy especialmente a nuestro director de tesis el Ingeniero Enrique González Ph.D., quien nos guió durante todo este proceso, fomentó en nosotros el espíritu investigativo y nos enseñó muchas cosas, las cuales estamos seguros que aplicaremos a lo largo de nuestra vida profesional. También queremos agradecer a la universidad y a todos los profesores que dejaron huella en nosotros. Agradecemos también muy especialmente a todas las personas que nos apoyaron y nos animaron con sus palabras a seguir trabajando por esta meta, que hoy terminamos con mucha satisfacción. Gracias.

The development of a reusable collaborative software framework for the remote control of a large range of laboratory equipments is an interesting topic to teach information technologies in an engineering school. The design and implementation of this kind of framework, in fact, requires the ability to integrate skills about software engineering, computer networks, human-computer interaction, distributed architectures, and remote control of hardware devices (i.e., laboratory equipments). In the paper, we describe our experience in the development of a reusable framework for remote laboratories, which has been adopted as a case study in two different scenarios at our university.

System development of modem CIM structures involves integration of different robot systems. This integration can be very difficult and time consuming. The major problems involved in integrating new and existing robotics software applications result from differences in their hardware and software system. programming languages and differences in the applications themselves The purpose of the paper is to develop a design methodology for robot software that overcomes these problems. A multi-level software architecture is proposed. with well-defined functions at each level and a high degree of abstractization, thus allowing an almost complete transparency over specific hardware and software particularities

The digital revolution has brought about a massive increase in the availability and distribution of musicrelated documents of various modalities comprising textual, audio, as well as visual material. Therefore, the development of techniques and tools for organizing, structuring, retrieving, navigating, and presenting music-related data has become a major strand of research-the field is often referred to as Music Information Retrieval (MIR). Major challenges arise because of the richness and diversity of music in form and content leading to novel and exciting research problems. In this article, we give an overview of new developments in the MIR field with a focus on content-based music analysis tasks including audio retrieval, music synchronization, structure analysis, and performance analysis.

The Hartree-Fock equations describe atomic and molecular eletronic wave functions, based on the minimization of a functional of the energy. This can be formulated as a constrained global optimization problem involving nonconvex polynomials exhibiting many local minima. The traditional method of solving the Hartree-Fock problem does not provide a guarantee of global optimality and is very sensitive to the initial starting point. In this paper we show how to use a deterministic global optimization method to solve Hartree-Fock systems. The validity of the proposed approach was established by successfully computing the ground-state of the He and Be atoms.

Recently there has been much interest in electronic commerce applications that use data mining techniques to explore datasets in the social media context. However, most of the applications have already been developed in an ad hoc manner, mainly, due to the lack of adequate tools, yielding difficulties in customizing applications and requesting high time consuming for constructing and maintaining these applications. This work addresses these problems and proposes a software framework for building Web mining applications in the blog world. The architecture of the proposed framework combines the use of blog crawling and data mining algorithms, in order to provide a complete and flexible solution for building general-purpose Web mining applications. The framework flexibility allows some important customizations, such as the construction of adapters for reading text from different blogs, and the use of different pre-processing techniques and data mining algorithms. In order to improve the efficacy of information extraction from blogs, ontology is used in the blog's description. For this, there are software agents responsible for tracking and indexing blogs related to a specific tag and for mining blog datasets. Moreover, web services are used for encapsulating existing tools and maximize reuse. This framework has been instantiated in order to be applied for helping the blog users to effectively find out relevant information in the blog world. The focus of this paper is on describing the novel software architecture of the general framework (blog crawling and data mining) providing detailed information about the data mining sub-framework, which uses the semantic web services technology for automating service composition and consists on the main research contribution. A case study of an e-commerce application for analyzing the user's sentiment regarding specific products is reported and its results considers the effort reduction when creating a web mining application by using the proposed integrated frameworks and existing data mining tools, as well as a qualitative analysis related to quality aspects of the developed application, such as the evolution impact.

Abstract: A recent trend in the development of flood simulation algorithms shows the move toward fast simplified models instead of slow full hydrodynamic models. CADDIES is a research project that aims to develop a real/near-real time pluvial urban flood simulation model using the computational speed of cellular automata (CA) algorithms. This paper presents a component of the software framework that is part of the CADDIES project. Its objective is to simplify the development of CA algorithms and their acceleration using ...

In the last few years a significant number of ant colony optimization (ACO) algorithms have been proposed for tackling multi-objective optimization problems. In this paper, we propose a software framework that allows to instantiate the most prominent multiobjective ACO (MOACO) algorithms. More importantly, the flexibility of this MOACO framework allows the application of automatic algorithm configuration techniques. The experimental results presented in this paper show that such an automatic configuration of MOACO algorithms is highly desirable, given that our automatically configured algorithms clearly outperform the best performing MOACO algorithms that have been proposed in the literature. As far as we are aware, this paper is also the first to apply automatic algorithm configuration techniques to multi-objective stochastic local search algorithms.

This paper gives a survey of the infrastructure currently being developed in the MUSITECH project. The aim of this project is to conceptualize and implement a computational environment for navigation and interaction in internet-based musical applications. This comprises the development of data models, exchange formats, interface modules and a software framework. Our approach is to integrate different information and media types like MIDI, audio, text based codes and metadata and their relations, especially to provide means to describe arbitrary musical structures. We attempt to connect different musical domains to support cooperations and synergies. To establish platform independence Java, Extensible Markup Language (XML), and other open standards are used. The object model, a framework and various components for visualization, playback and other common tasks and the technical infrastructure are being developed and will be evaluated within the project.

Many databases in molecular biology face the problem that the ever increasing rate of data production can no longer be handled by traditional methods, especially human curation. Therefore, a number of projects are currently investigating methods for automated sequence annotation. This paper describes the EBI's approach to this problem for protein sequences by integration of arbitrary analysis programs into a distributed and highly flexible environment. Our software framework allows an individual treatment of sequences depending on their particular properties, which is achieved through a high-level description of the preconditions and capabilities of analysing modules. This not only improves the overall performance of the annotation process, as unnecessary steps are avoided, but also enhances its quality since dependencies between different modules are taken into account. We have implemented a prototype and use it in the production of TrEMBL releases.

There are several ongoing efforts to develop a software framework for integrated fusion simulations in the US (SWIM and CPES) the EU (ITM-TF) and Japan (BPSI). The European and Japanese efforts emphasize a standardization of the interfaces to codes within each subgroup (transport, equilibrium, linear stability, MHD, RF, turbulence, et cetera). The US efforts emphasize pairwise coupling of specific codes.

Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which allows a program's execution to be intercepted and controlled by a separate software layer. SDT has been used to build many useful applications, including software security checkers that check for code vulnerabilities, dynamic code optimizers, and program introspection tools. While these systems use program instrumentation, the instrumentation is usually tailored to a specific application and infrastructure. What is missing is a single scalable and flexible instrumentation framework that can be used in different self-managed SDT infrastructures. In this paper, we describe such a framework, called "FIST," that can be used and targeted by different algorithms and tools to enable instrumentation applications that are portable across SDTs and machine platforms. Our interface supports multiple levels of granularity from source level constructs to the instruction and machine level. We describe and evaluate FIST's capabilities in the Strata system for the SPARC and the Jikes Research Virtual Machine for Java on the Intel x86.

Learning (TEAL) Project at MIT has developed a broad range of 3D visualizations and simulations to foster student intuition about electromagnetic fields and phenomena (see http://web.mit.edu/8.02t/www/802TEAL3D/). In this talk we discuss the software approaches we use to create these simulations, including Macromedia Shockwave and Java 3D applets for interactive visualization, passive animations created with 3ds max, and the Dynamic Line Integral Convolution (DLIC) method for constructing time dependent representations of the electromagnetic field at close to the resolution of the computer display (Sundquist, 2003). The DLIC method, in particular, is far superior in delineating the spatial and temporal structure of fields as compared to e.g. field line displays or vector field grids. We also report on the use of these visualizations in instruction at the freshmen level. Our strong opinion is that for effective student learning, such visualizations must be embedded in a software framework for their interactive delivery. This "guided inquiry" framework is essential to influence and optimize what students take away from the visualizations. In our current research, we are delivering our visualizations using a commercial package, Addison Wesley's MasteringPhysics (MP), although any guided inquiry delivery system such as MP will be able to interact with our simulation software. We have released our Java 3D simulation software as open source with a liberal open source license (see http://jlearn.mit.edu/tealsim/), with support from the Davis Educational Foundation.

This paper presents the architecture of the VHD++ real-time development framework that after several years of intensive research, design, and development effort has been released and enters its validation phase. This paper discusses the key aspects involved in architectural structure, design and practical implementation of an efficient, flexible and extendible real-time software framework based on the modern 3D game-engine design principles. This framework supports researchers and application developers with rapid, component based development of VR/AR systems featuring advanced virtual character simulation technologies. The discussion covers motivation, main concepts, survey of related work, the main functional and design requirements, design principles and key architectural elements. It concludes with the initial validation results including overview of existing VHD++ based VR/AR virtual character simulation applications

Scripts can be executed within the radiation treatment planning software framework to reduce human error, increase treatment planning efficiency, reduce confusion, and promote consistency within an institution or even among institutions. Scripting is versatile, and one application is an automatic 3D beam-naming system that describes the position of the beam relative to the patient in 3D space. The naming system meets the need for nomenclature that is conducive for clear and accurate communication of beam entry relative to patient anatomy. In radiation oncology in particular, where miscommunication can cause significant harm to patients, a system that minimizes error is essential. Frequent sharing of radiation treatment information occurs not only among members within a department but also between different treatment centers. Descriptions of treatment beams are perhaps the most commonly shared information about a patient's course of treatment in radiation oncology. Automating the naming system by the use of a script reduces the potential for human error, improves efficiency, enforces consistency, and would allow an institution to convert to a new naming system with greater ease. This script has been implemented in the Department of Radiation Oncology at the University of Washington Medical Center since December 2009. It is currently part of the dosimetry protocol and is accessible by medical dosimetrists, radiation oncologists, and medical physicists. This paper highlights the advantages of using an automatic 3D beam-naming script to flawlessly and quickly identify treatment beams with unique names. Scripting in radiation treatment planning software has many uses and great potential for improving clinical care.

The center of Cloud processing incorporates virtualization of equipment assets, for example, stockpiling, system and memory gave through virtual machines. The live relocation of these VMs is acquainted with get different advantages which chiefly incorporate high accessibility, equipment support, blame takeover and outstanding task at hand adjusting. Other than different offices of the virtual machine relocation, it is powerless to extreme safety dangers amid movement process because of which the business is reluctant to acknowledge it. The exploration done till date is on the execution of movement process; while the safety perspectives in relocation are not completely investigated. We have completed a broad review to research the vulnerabilities, dangers and conceivable assaults on the live virtual machine migration. Besides, we have recognized security necessities for safe virtual machine relocation and exhibited a nitty gritty examination of current arrangements based on these sec...

The operation logbook system of KEKB linac and ring has been developed and operated with the relational database composed of MS-SQL and MS-Access on PCs. The operator interface to the system is provided through the Web or MS-Access with Visual Basic. The operation of the logbook system started in 1995 at the linac. It was also introduced to KEKB ring and PF-AR in 2002 with a little restructuring. Operators put accelerator information through MS-Access in Japanese language. The accelerator status record is stored automatically through the control system when it changes. The number of such logging items per day is about 500. With introduction of this system, accelerator experts can monitor real-time information anytime, anywhere through a web browser. And they often find and resolve problems remotely from offices or homes.

Successful resource discovery across heterogeneous repositories is strongly dependent on the semantic and syntactic homogeneity of the associated resource descriptions. Ideally, resource descriptions are easily extracted from pre-existing standardized sources, expressed using standard syntactic and semantic structures, and managed and accessed within a distributed, flexible, and scaleable software framework. The Object Oriented Data Technology task has developed a standard resource description scheme that can be used across domains to describe any resource. It uses a small set of generally accepted, broad scope descriptors while also providing a mechanism for the inclusion of domain specific descriptors. In addition this standard description scheme can be used to capture hierarchical, relational, and recursive relationships between resources. In this paper we will present a intelligent resource discovery framework that consists of separate data and technology architectures, the standard resource description scheme, and illustrate the concept using a case study.

An application of OSCAR-a generalized robotic software framework-for kinematic control of hyper-redundant, self-reconfigurable systems is presented. OSCAR includes generalized kinematics, dynamics, device interfacing and criteria-based decision-making. The developed application allows an operator to interactively reconfigure modular chains into parallel mechanisms, gait structures and multi-arm systems while maintaining full kinematic control of each chain. Examples using spatial systems with various geometries are presented with application pseudo-code to illustrate high-level program development using OSCAR.

An application of OSCAR-a generalized robotic software framework-for kinematic control of hyper-redundant, self-reconfigurable systems is presented. OSCAR includes generalized kinematics, dynamics, device interfacing and criteria-based decision-making. The developed application allows an operator to interactively reconfigure modular chains into parallel mechanisms, gait structures and multi-arm systems while maintaining full kinematic control of each chain. Examples using spatial systems with various geometries are presented with application pseudo-code to illustrate high-level program development using OSCAR.

Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result is usually a special-purpose code which is not usable outside of the framework. In this paper, we propose an alternative to that model-a framework that requires little hand-modification of the programs which use it. Our proposed framework is compilerbased, mesh-aware, numerics-aware, and physics-aware. Descriptions of the codes and the system make it possible to semi-automatically generate interfacing code, while the internal parallelization, communication and numerical solution methods are left intact. We report on some preliminary experiments with an automatic load balancing framework that demonstrate the feasibility of this approach.

Geodynamics simulations are characterized by rheological nonlinearity, localization, three-dimensional effects, and separate but interacting length scales. These features represent a challenge for computational science. We discuss how a leading software framework for advanced scientific computing (the Portable Extensible Toolkit for Scientific Computation, PETSc) can facilitate the development of geodynamics simulations. To illustrate our use of PETSc, we describe simulations of (i) steady-state, non-Newtonian passive flow and thermal structure beneath a mid-ocean ridge, (ii) magmatic solitary waves in the mantle, and (iii) the formation of localized bands

Unified testing of multiple heterogeneous robotic software components is a challenging problem and many robotic systems rely on vendor-specific tools for testing and evaluation of individual subsystems. The consequence is often the unexpected interactions between components that arise during system integration. OpenRTM-aist is a distributed software framework that standardises the development of robotic systems while encouraging software reuse and improving the efficiency of the system integration process. The problem is the lack of a well-integrated simulation tool that provides a safe, virtual test environment for evaluating OpenRTMaist components. This paper presents a simulation environment for OpenRTMaist. As opposed to creating a built-in simulation tool tied to the OpenRTM-aist architecture, we use an existing general purpose robot simulator, namely Gazebo, because of its modular design and framework independent architecture. We show that by creating an interface layer to Gazebo, robotic systems developed using OpenRTM-aist can be tested in Gazebo simulation without modifications to the underlying software code. In addition, we demonstrate the interoperability between OpenRTM-aist component-based robot systems and Player client programs in achieving a global robot task in the same simulation context.

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs "radio-hybrid" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluoresence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request.

In this paper, the modeling and design of the depth control systems using Neural Network Predictive Control (NNPC) for a small unmanned underwater vehicle (UUV) will be described. Underwater vehicles consist of robotic vehicles that have been developed to reduce the risks of human life and to carry out tasks that would be impractical with a manned mission. The design of a depth control of an UUV is described in this paper. The main purpose of the underwater vehicle is that the vehicle must be stable over the entire range of operation. These techniques have the purpose of ensuring zero steady state error and minimum error in response to step commands in the desired depth. The depth performance for NNPC is discussed in terms of error and execution time. This NNPC will be compared with conventional controller such as PD controller and also by using the Fuzzy Logic Controller (FLC). For the comparison of computational time between this controllers, it can be observed that Fuzzy Logic is faster and neural network predictive controller is the slowest between them. It has been shown that the neural network predictive controller improved the transient response and error measure which shows the effectiveness of the designed controller.

The balanced traveling salesman problem (BTSP) is a variant of the traveling salesman problem, in which one seeks a tour that minimizes the difference between the largest and smallest edge costs in the tour. The BTSP, which is obviously NP-hard, was first investigated by Larusic and Punnen in 2011 [9]. They proposed several heuristics based on the double-threshold framework, which converge to good-quality solutions though not always optimal (e.g. 27 provably optimal solutions were found among 65 TSPLIB instances of at most 500 vertices). In this paper, we design a special-purpose branch-and-cut algorithm for solving exactly the BTSP. In contrast with the classical TSP, due to the BTSP's objective function, the efficiency of algorithms for solving the BTSP depends heavily on determining correctly the largest and smallest edge costs in the tour. In the proposed branch-and-cut algorithm, we develop several mechanisms based on local cutting planes, edge elimination, and variable fixing to locate more and more precisely those edge costs. Other important ingredients of our algorithm are heuristics for improving the lower and upper bounds of the branch-and-bound tree. Experiments on the same TSPLIB instances show that our algorithm was able to solve to optimality 63 out of 65 instances.

Applying subsurface simulation codes to understand heterogeneous flow and transport problems is a complex process potentially involving multiple models, multiple scales, and spanning multiple scientific disciplines. A typical end-to-end process involves many tools, scripts and data sources usually shared only though informal channels. Additionally, the process contains many sub-processes that are repeated frequently and could be automated and shared. Finally, keeping records of the models, processes, and correlation between inputs and outputs is currently manual, time consuming and error prone. We are developing a software framework that integrates a workflow execution environment, shared data repository, and analysis and visualization tools to support development and use of new hybrid subsurface simulation codes. We are taking advantage of recent advances in scientific process automation using the Kepler system and advances in data services based on content management. Extensibility and flexibility are key underlying design considerations to support the constantly changing set of tools, scripts, and models available. We describe the architecture and components of this system with early examples of applying it to a continuum subsurface model.

Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which allows a program's execution to be intercepted and controlled by a separate software layer. SDT has been used to build many useful applications, including software security checkers that check for code vulnerabilities, dynamic code optimizers, and program introspection tools. While these systems use program instrumentation, the instrumentation is usually tailored to a specific application and infrastructure. What is missing is a single scalable and flexible instrumentation framework that can be used in different self-managed SDT infrastructures. In this paper, we describe such a framework, called "FIST," that can be used and targeted by different algorithms and tools to enable instrumentation applications that are portable across SDTs and machine platforms. Our interface supports multiple levels of granularity from source level constructs to the instruction and machine level. We describe and evaluate FIST's capabilities in the Strata system for the SPARC and the Jikes Research Virtual Machine for Java on the Intel x86.

Editor's note: This article presents a software framework for communication infrastructure synthesis of distributed systems, which is critical for overall system performance in communication-based design. Particular emphasis is given to on-chip interconnect synthesis of multicore designs.

Preface VII but I suspect that full appreciation of the solutions it offers requires at least a passing acquaintance with embedded control systems. Class diagrams are in standard UML and pseudo-code examples are written using C++ syntax with the addition of the interface construct from Java which I find simply too useful to ignore. Finally, I wish to thank Wolfgang Pree and Kai Koskimies who reviewed the first draft of this book and Jean-Loup Terraillon, Ton van Overbeek, Richard Creasey, and David Soo who, in various capacities, supported the satellite framework project.

This paper presents a new evolution rules application algorithm to a multiset of objects to use in the P system implementation in digital devices. In each step of this algorithm two main actions are carried out eliminating, at least, an evolution rule to the set of active rules. Therefore, ...

A framework for optimization of process parameters in material processing and production is described. The framework is designed for effective set up and solution of optimization problems as part of process design, as well as to support development of numerical models by inverse identification of model parameters. The general framework is outlined, which has been supplemented by a neural networks module in order to enable real time decision support. Simulator based on meshless method with radial basis functions (RBF) has been utilized.

Long space missions, where mission duration can exceed the 50% reliability limit of constituent components, can make active, N-multiple redundant systems less reliable than simplex systems. To extend a control system lifetime beyond the 50% reliability limits requires ...

We present in detail some of the challenges in developing reusable robotic software. We base that on our experience in developing the CLARAty robotics software, which is a generic object-oriented framework used for the integration of new algorithms in the areas of motion control, vision, manipulation, locomotion, navigation, localization, planning and execution. CLARAty was adapted to a number of heterogeneous robots with different mechanisms and hardware control architectures. In this paper, we also describe how we addressed some of these challenges in the development of the CLARAty software.

The paper presents a remotely accessible laboratory realised for didactic aims at the University of Sannio, Italy. The laboratory is based on a software framework, with modularity characteristics that allows the insertion of new applications or the modification of the realised ones. Thanking to its implementation in Java and C++ with a CORBA communication layer, some instruments have been made available to the students of electronic measurement courses through a simple web browser in the form of Virtual Instruments (VIs).