149 research outputs found
A run-time verification framework for smart grid applications implemented on simulation frameworks
Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation onto these frameworks which results in a deviation between the architecture and the code. On its turn this deviation makes it hard to verify behavioral constraints that are described at the architectural level. We have developed the ConArch toolset to support the automated verification of architecture-level behavioral constraints. A key feature of ConArch is programmable mapping for architecture to the implementation. Here, developers implement queries to identify the points in the target program that correspond to architectural interactions. ConArch generates runtime observers that monitor the flow of execution between these points and verifies whether this flow conforms to the behavioral constraints. We illustrate how the programmable mappings can be exploited for verifying behavioral constraints of a smart grid application that is implemented with two simulation frameworks. © 2013 IEEE
Feature-based rationale management system for supporting software architecture adaptation
Each software architecture design is the result of a broad set of design decisions and their justifications, that is, the design rationale. Capturing the design rationale is important for a variety of reasons such as enhancing communication, reuse and maintenance. Unfortunately, it appears that there is still a lack of appropriate methods and tools for effectively capturing and managing the architecture design rationale. In this paper we present a feature-based rationale management approach and the corresponding tool environment ArchiRationale for supporting software architecture adaptation. The approach takes as input an existing architecture and captures the design rationale for adapting the architecture for a given quality concern. For this we define a feature model that includes the possible set of architectural tactics to realize the quality concern. The presented approach captures the rationale for deciding on feature selections and for selecting the corresponding architecture design alternatives. ArchiRationale customizes and integrates the Eclipse plugin tools XFeature, ArchStudio and XQuery to provide tool support for capturing, storing and accessing the design rationale. We illustrate the approach for adapting a software architecture for fault tolerance. © 2012 World Scientific Publishing Company
A run-time verification framework for smart grid applications implemented on simulation frameworks
Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation onto these frameworks which results in a deviation between the architecture and the code. On its turn this deviation makes it hard to verify behavioral constraints that are described at the architectural level. We have developed the ConArch toolset to support the automated verification of architecture-level behavioral constraints. A key feature of ConArch is programmable mapping for architecture to the implementation. Here, developers implement queries to identify the points in the target program that correspond to architectural interactions. ConArch generates runtime observers that monitor the flow of execution between these points and verifies whether this flow conforms to the behavioral constraints. We illustrate how the programmable mappings can be exploited for verifying behavioral constraints of a smart grid application that is implemented with two simulation frameworks. © 2013 IEEE
Unconventional carrier-mediated ferromagnetism above room temperature in ion-implanted (Ga, Mn)P:C
Ion implantation of Mn ions into hole-doped GaP has been used to induce
ferromagnetic behavior above room temperature for optimized Mn concentrations
near 3 at.%. The magnetism is suppressed when the Mn dose is increased or
decreased away from the 3 at.% value, or when n-type GaP substrates are used.
At low temperatures the saturated moment is on the order of one Bohr magneton,
and the spin wave stiffness inferred from the Bloch-law T^3/2 dependence of the
magnetization provides an estimate Tc = 385K of the Curie temperature that
exceeds the experimental value, Tc = 270K. The presence of ferromagnetic
clusters and hysteresis to temperatures of at least 330K is attributed to
disorder and proximity to a metal-insulating transition.Comment: 4 pages, 4 figures (RevTex4
Presence of Amorphous Carbon Nanoparticles in Food Caramels
We report the finding of the presence of carbon nanoparticles (CNPs) in different carbohydrate based food caramels, viz. bread, jaggery, sugar caramel, corn flakes and biscuits, where the preparation involves heating of the starting material. The CNPs were amorphous in nature; the particles were spherical having sizes in the range of 4–30 nm, depending upon the source of extraction. The results also indicated that particles formed at higher temperature were smaller than those formed at lower temperature. Excitation tuneable photoluminescence was observed for all the samples with quantum yield (QY) 1.2, 0.55 and 0.63%, for CNPs from bread, jaggery and sugar caramels respectively. The present discovery suggests potential usefulness of CNPs for various biological applications, as the sources of extraction are regular food items, some of which have been consumed by humans for centuries, and thus they can be considered as safe
Optimizing decomposition of software architecture for local recovery
Cataloged from PDF version of article.The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, fault tolerance techniques have become more important. An essential element of fault tolerance is the recovery from failures. Local recovery is an effective approach whereby only the erroneous parts of the system are recovered while the other parts remain available. For achieving local recovery, the architecture needs to be decomposed into separate units that can be recovered in isolation. Usually, there are many different alternative ways to decompose the system into recoverable units. It appears that each of these decomposition alternatives performs differently with respect to availability and performance metrics. We propose a systematic approach dedicated to optimizing the decomposition of software architecture for local recovery. The approach provides systematic guidelines to depict the design space of the possible decomposition alternatives, to reduce the design space with respect to domain and stakeholder constraints and to balance the feasible alternatives with respect to availability and performance. The approach is supported by an integrated set of tools and illustrated for the open-source MPlayer software
A review of composite product data interoperability and product life-cycle management challenges in the composites industry
A review of composite product data interoperability and product life-cycle management challenges is presented, which addresses “Product Life-cycle Management”, developments in materials. The urgent need for this is illustrated by the life-cycle management issues faced in modern military aircraft, where in-service failure of composite parts is a problem, not just in terms of engineering understanding, but also in terms of the process for managing and maintaining the fleet. A demonstration of the use of ISO 10303-235 for a range of through-life composite product data is reported. The standardization of the digital representation of data can help businesses to automate data processing. With the development of new materials, the requirements for data information models for materials properties are evolving, and standardization drives transparency, improves the efficiency of data analysis, and enhances data accuracy. Current developments in Information Technology, such as big data analytics methodologies, have the potential to be highly transformative
Legumes as food ingredient: characterization, processing, and applications
Editores: Jiménez-López, José Carlos (CSIC); Clemente, Alfonso (CSIC
Gold Nanoparticles as a Direct and Rapid Sensor for Sensitive Analytical Detection of Biogenic Amines
Application of polymeric nanoparticles in food sector
Nanotechnology presents opportunities to create new and better products. Nano technology has huge impact in many applications including food industry. Product of nanotechnology, such as polymeric nanoparticle, can be utilized to improve food quality by extending food shelf life, increase food safety, lower the cost and enhance the nutritional benefits. This chapter provides an overview of the properties of polymeric nanoparticle, preparation techniques, as well as the role polymeric nano-particles in the food industr
- …