104,695 research outputs found
Functional Testing Approaches for "BIFST-able" tlm_fifo
No full textEvolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of functional units. This paper explores different functional testing approaches for the implementation of Built-in Functional Self Test facilities in the TLM primitive channel tlm_fifo. In particular, it focuses on three different test approaches based on a finite state machine model of tlm_fifo, functional fault models, and march tests respectivel
Data-driven resiliency assessment of medical cyber-physical systems
No full textAdvances in computing, networking, and sensing technologies have resulted in the ubiquitous deployment of medical cyber-physical systems in various clinical and personalized settings. The increasing complexity and connectivity of such systems, the tight coupling between their cyber and physical components, and the inevitable involvement of human operators in supervision and control have introduced major challenges in ensuring system reliability, safety, and security.
This dissertation takes a data-driven approach to resiliency assessment of medical cyber-physical systems. Driven by large-scale studies of real safety incidents involving medical devices, we develop techniques and tools for (i) deeper understanding of incident causes and measurement of their impacts, (ii) validation of system safety mechanisms in the presence of realistic hazard scenarios, and (iii) preemptive real-time detection of safety hazards to mitigate adverse impacts on patients.
We present a framework for automated analysis of structured and unstructured data from public FDA databases on medical device recalls and adverse events. This framework allows characterization of the safety issues originated from computer failures in terms of fault classes, failure modes, and recovery actions. We develop an approach for constructing ontology models that enable automated extraction of safety-related features from unstructured text. The proposed ontology model is defined based on device-specific human-in-the-loop control structures in order to facilitate the systems-theoretic causality analysis of adverse events. Our large-scale analysis of FDA data shows that medical devices are often recalled because of failure to identify all potential safety hazards, use of safety mechanisms that have not been rigorously validated, and limited capability in real-time detection and automated mitigation of hazards.
To address those problems, we develop a safety hazard injection framework for experimental validation of safety mechanisms in the presence of accidental failures and malicious attacks. To reduce the test space for safety validation, this framework uses systems-theoretic accident causality models in order to identify the critical locations within the system to target software fault injection.
For mitigation of safety hazards at run time, we present a model-based analysis framework that estimates the consequences of control commands sent from the software to the physical system through real-time computation of the system’s dynamics, and preemptively detects if a command is unsafe before its adverse consequences manifest in the physical system.
The proposed techniques are evaluated on a real-world cyber-physical system for robot-assisted minimally invasive surgery and are shown to be more effective than existing methods in identifying system vulnerabilities and deficiencies in safety mechanisms as well as in preemptive detection of safety hazards caused by malicious attacks.Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2016-07-07 without embargo termsThe student, Homa Alemzadeh, accepted the attached license on 2016-04-18 at 16:08.The student, Homa Alemzadeh, submitted this Dissertation for approval on 2016-04-18 at 18:29.This Dissertation was approved for publication on 2016-04-19 at 09:10.DSpace SAF Submission Ingestion Package generated from Vireo submission #9303 on 2016-07-07 at 13:31:07Made available in DSpace on 2016-07-07T19:54:08Z (GMT). No. of bitstreams: 4
ALEMZADEH-DISSERTATION-2016.pdf: 5993718 bytes, checksum: 61e99d726c4eb0c3cc72cb01bfa2b642 (MD5)
Homa_Alemzadeh_2016.docx: 37850916 bytes, checksum: 42c7c5000ba9c89a4d41115a1d17eb91 (MD5)
LICENSE.txt: 4211 bytes, checksum: 6298a4df728ba581e2752c942ad093cf (MD5)
PROQUEST_LICENSE.txt: 4557 bytes, checksum: 46354ac3ba0da7477667a863ed415b3b (MD5)
Previous issue date: 2016-04-1
Plug & Test at System Level via Testable TLM Primitives
No full textWith the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of testing capabilities at the transaction level by definition of testable TLM primitives. The use of testable TLM primitives should help designers to easily get testable transaction level descriptions implementing what we call a "Plug & Test" design methodology. The proposed approach is intended to work both with hardware and software implementations. In particular, in this paper we will focus on the design of a testable FIFO communication channel to show how designers are given the freedom of trading-off complexity, testability levels, and cos
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Appropriate Similarity Measures for Author Cocitation Analysis
No full textWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Dispelling the Myths Behind First-author Citation Counts
No full textWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
The construction of Karen Karnak: The multi-author-function
No full textThis thesis is situated within the comparatively recent developments of Web 2.0 and the emergence of interactive WikiMedia, and explores the mode of authorship within a Read/Write culture compared to that of a Read/Only tradition. The hypothesis of this study is that the role of the audience has become merged with the author, and as such, represents new functions and attributes, distinct from a more conventional concept of authorship, in which the roles of audience and author are more separate. Read/Write and participatory culture, as defined by this study, is focused on collaboration, and includes the influences of D.I.Y. culture, Open-Source practices and the production of text by multiple authors. Multi-authorship presents a re-thinking of several concepts which support the notion of the individual author, since the focus of multi-authorship is not on attribution and ownership of a finished text, but on the continued malleability of a text. Modes of multi-authorship, demonstrated in the use of the pseudonyms Alan Smithee and Karen Eliot, represent declarative authors whose names signify multiple origins, whilst concurrently indicating a distinct body of work. The function of these names form an important context to this study, since primary research involves the construction of an experimental mode of multi-authorship utilising WikiMedia technology and the interaction of thirty nine participants, who are invited to create a body of work under the collective pseudonym Karen Karnak. The data generated by this experiment is analysed using aspects of Michel Foucault's author-function to identify and determine power structures inherent in the WikiMedia context. The interplay of power structures, including concepts such as identity, ownership and the body of work, affect the resulting mode of authorship and contribute to the construction of Karen Karnak, suggesting further areas of research into the emerging multi-author
- …
