983 resultados para Software Fault Isolation


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Intelligent assistive technology can greatly improve the daily lives of people with severe paralysis, who have limited communication abilities. People with motion impairments often prefer camera-based communication interfaces, because these are customizable, comfortable, and do not require user-borne accessories that could draw attention to their disability. We present an overview of assistive software that we specifically designed for camera-based interfaces such as the Camera Mouse, which serves as a mouse-replacement input system. The applications include software for text-entry, web browsing, image editing, animation, and music therapy. Using this software, people with severe motion impairments can communicate with friends and family and have a medium to explore their creativity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In a probabilistic cellular automaton in which all local transitions have positive probability, the problem of keeping a bit of information for more than a constant number of steps is nontrivial, even in an infinite automaton. Still, there is a solution in 2 dimensions, and this solution can be used to construct a simple 3-dimensional discrete-time universal fault-tolerant cellular automaton. This technique does not help much to solve the following problems: remembering a bit of information in 1 dimension; computing in dimensions lower than 3; computing in any dimension with non-synchronized transitions. Our more complex technique organizes the cells in blocks that perform a reliable simulation of a second (generalized) cellular automaton. The cells of the latter automaton are also organized in blocks, simulating even more reliably a third automaton, etc. Since all this (a possibly infinite hierarchy) is organized in "software", it must be under repair all the time from damage caused by errors. A large part of the problem is essentially self-stabilization recovering from a mess of arbitrary-size and content caused by the faults. The present paper constructs an asynchronous one-dimensional fault-tolerant cellular automaton, with the further feature of "self-organization". The latter means that unless a large amount of input information must be given, the initial configuration can be chosen to be periodical with a small period.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The emergence of a sensor-networked world produces a clear and urgent need for well-planned, safe and secure software engineering. It is the role of universities to prepare graduates with the knowledge and experience to enter the work-force with a clear understanding of software design and its application to the future safety of computing. The snBench (Sensor Network WorkBench) project aims to provide support to the programming and deployment of Sensor Network Applications, enabling shared sensor embedded spaces to be easily tasked with various sensory applications by different users for simultaneous execution. In this report we discus our experience using the snBench research project as the foundation for semester-long project in a graduate level software engineering class at Boston University (CS511).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we introduce the Generalized Equality Classifier (GEC) for use as an unsupervised clustering algorithm in categorizing analog data. GEC is based on a formal definition of inexact equality originally developed for voting in fault tolerant software applications. GEC is defined using a metric space framework. The only parameter in GEC is a scalar threshold which defines the approximate equality of two patterns. Here, we compare the characteristics of GEC to the ART2-A algorithm (Carpenter, Grossberg, and Rosen, 1991). In particular, we show that GEC with the Hamming distance performs the same optimization as ART2. Moreover, GEC has lower computational requirements than AR12 on serial machines.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Since Wireless Sensor Networks (WSNs) are subject to failures, fault-tolerance becomes an important requirement for many WSN applications. Fault-tolerance can be enabled in different areas of WSN design and operation, including the Medium Access Control (MAC) layer and the initial topology design. To be robust to failures, a MAC protocol must be able to adapt to traffic fluctuations and topology dynamics. We design ER-MAC that can switch from energy-efficient operation in normal monitoring to reliable and fast delivery for emergency monitoring, and vice versa. It also can prioritise high priority packets and guarantee fair packet deliveries from all sensor nodes. Topology design supports fault-tolerance by ensuring that there are alternative acceptable routes to data sinks when failures occur. We provide solutions for four topology planning problems: Additional Relay Placement (ARP), Additional Backup Placement (ABP), Multiple Sink Placement (MSP), and Multiple Sink and Relay Placement (MSRP). Our solutions use a local search technique based on Greedy Randomized Adaptive Search Procedures (GRASP). GRASP-ARP deploys relays for (k,l)-sink-connectivity, where each sensor node must have k vertex-disjoint paths of length ≤ l. To count how many disjoint paths a node has, we propose Counting-Paths. GRASP-ABP deploys fewer relays than GRASP-ARP by focusing only on the most important nodes – those whose failure has the worst effect. To identify such nodes, we define Length-constrained Connectivity and Rerouting Centrality (l-CRC). Greedy-MSP and GRASP-MSP place minimal cost sinks to ensure that each sensor node in the network is double-covered, i.e. has two length-bounded paths to two sinks. Greedy-MSRP and GRASP-MSRP deploy sinks and relays with minimal cost to make the network double-covered and non-critical, i.e. all sensor nodes must have length-bounded alternative paths to sinks when an arbitrary sensor node fails. We then evaluate the fault-tolerance of each topology in data gathering simulations using ER-MAC.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis critically investigates the divergent international approaches to the legal regulation of the patentability of computer software inventions, with a view to identifying the reforms necessary for a certain, predictable and uniform inter-jurisdictional system of protection. Through a critical analysis of the traditional and contemporary US and European regulatory frameworks of protection for computer software inventions, this thesis demonstrates the confusion and legal uncertainty resulting from ill-defined patent laws and inconsistent patent practices as to the scope of the “patentable subject matter” requirement, further compounded by substantial flaws in the structural configuration of the decision-making procedures within which the patent systems operate. This damaging combination prevents the operation of an accessible and effective Intellectual Property (IP) legal framework of protection for computer software inventions, capable of securing adequate economic returns for inventors whilst preserving the necessary scope for innovation and competition in the field, to the ultimate benefit of society. In exploring the substantive and structural deficiencies in the European and US regulatory frameworks, this thesis develops to ultimately highlight that the best approach to the reform of the legal regulation of software patentability is two-tiered. It demonstrates that any reform to achieve international legal harmony first requires the legislature to individually clarify (Europe) or restate (US) the long-standing inadequate rules governing the scope of software “patentable subject matter”, together with the reorganisation of the unworkable structural configuration of the decision-making procedures. Informed by the critical analysis of the evolution of the “patentable subject matter” requirement for computer software in the US, this thesis particularly considers the potential of the reforms of the European patent system currently underway, to bring about certainty, predictability and uniformity in the legal treatment of computer software inventions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Vascular smooth muscle cells (VSMC) are one of the key players in the pathogenesis of cardiovascular diseases. The origin of neointimal VSMC has thus become a prime focus of research. VSMC originate from multiple progenitors cell types. In embryo the well-defined sources of VSMC include; neural crest cells, proepicardial cells and EPC. In adults, though progenitor cells from bone marrow (BM), circulation and tissues giving rise to SMC have been identified, no progress has been made in terms of isolating highly proliferative clonal population of adult stem cells with potential to differentiate into SMC. Smooth muscle like stem progenitor cells (SMSPC) were isolated from cardiopulmonary bypass filters of adult patients undergoing CABG. Rat SMSPC have previously been isolated by our group from the bone marrow of Fischer rats and also from the peripheral blood of monocrotaline induced pulmonary hypertension (MCT-PHTN) animal model. Characterization of novel SMSPC exhibited stem cell characteristics and machinery for differentiation into SMC. The expression of Isl-1 on SMSPC provided unique molecular identity to these circulating stem progenitor cells. The functional potential of SMSPC was determined by monitoring adoptive transfer of GFP+ SMSPC in rodent models of vascular injury; carotid injury and MCT-PHTN. The participation of SMSPC in vascular pathology was confirmed by quantifying the peripheral blood, and engrafted levels of SMSPC using RT-PCR. In terms of translating into clinical practice, SMSPC could be a good tool for detecting the atherosclerotic plaque burden. The current study demonstrates the existence of novel adult stem progenitor cells in circulation, with the potential role in vascular pathology.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The human gastrointestinal (GI) tract is colonized by a dense and diverse bacterial community, the commensal microbiota, which plays an important role in the overall health of individuals. This microbiota is relatively stable throughout adult life, but may fluctuate over time with aging and disease. The adaptation of the gut microbiota to our changing life-style is probably the reason for the large inter-individual variation observed among different people. Since the gut microbiota plays an essential role in interactions with host metabolism, it is of utmost importance to explore this relationship. The elderly intestinal microbiota has been the subject of a number of studies in recent years. The results presented in this thesis have further contributed to the expansion of knowledge related to gut microbiota research highlighting the combined effect of culture based and molecular methods as powerful tools for understanding the true impact of microbes. The degree of correlation between measurements from both methods suggested that a single method is capable of profiling intestinal Bifidobacterium spp., Lactobacillus spp. and Enterobacteriaceae populations. Bacteriocins have shown great promise as alternatives to traditional antibiotics. In this respect, the isolation and characterisation of bacteriocinogenic strains are important due to growing evidence indicating bacteriocin production as a potential probiotic trait by virtue of strain dominance and/or pathogen inhibition in the mammalian intestine. The selection pressure applied on the bacterial population during antibiotic usage is the driving force for the emergence of antibiotic resistant bacteria. Identification of antibiotic resistant isolates opens up the possibility of using such probiotics to offset the problems caused by antibiotics to the gut microbiota and to improve the intestinal microbial environment. Future work is required to explore the culture collection housing thousands of bacterial isolates as a valuable source of potential probiotics for use for the elderly Irish community.