Matching Items (206)
Filtering by
- All Subjects: Computer Engineering
- All Subjects: Education
- Genre: Masters Thesis
- Status: Published
Description
As the complexity of robotic systems and applications grows rapidly, development of high-performance, easy to use, and fully integrated development environments for those systems is inevitable. Model-Based Design (MBD) of dynamic systems using engineering software such as Simulink® from MathWorks®, SciCos from Metalau team and SystemModeler® from Wolfram® is quite popular nowadays. They provide tools for modeling, simulation, verification and in some cases automatic code generation for desktop applications, embedded systems and robots. For real-world implementation of models on the actual hardware, those models should be converted into compilable machine code either manually or automatically. Due to the complexity of robotic systems, manual code translation from model to code is not a feasible optimal solution so we need to move towards automated code generation for such systems. MathWorks® offers code generation facilities called Coder® products for this purpose. However in order to fully exploit the power of model-based design and code generation tools for robotic applications, we need to enhance those software systems by adding and modifying toolboxes, files and other artifacts as well as developing guidelines and procedures. In this thesis, an effort has been made to propose a guideline as well as a Simulink® library, StateFlow® interface API and a C/C++ interface API to complete this toolchain for NAO humanoid robots. Thus the model of the hierarchical control architecture can be easily and properly converted to code and built for implementation.
ContributorsRaji Kermani, Ramtin (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Sarjoughian, Hessam S. (Committee member) / Arizona State University (Publisher)
Created2013
Description
With increasing transistor volume and reducing feature size, it has become a major design constraint to reduce power consumption also. This has given rise to aggressive architectural changes for on-chip power management and rapid development to energy efficient hardware accelerators. Accordingly, the objective of this research work is to facilitate software developers to leverage these hardware techniques and improve energy efficiency of the system. To achieve this, I propose two solutions for Linux kernel: Optimal use of these architectural enhancements to achieve greater energy efficiency requires accurate modeling of processor power consumption. Though there are many models available in literature to model processor power consumption, there is a lack of such models to capture power consumption at the task-level. Task-level energy models are a requirement for an operating system (OS) to perform real-time power management as OS time multiplexes tasks to enable sharing of hardware resources. I propose a detailed design methodology for constructing an architecture agnostic task-level power model and incorporating it into a modern operating system to build an online task-level power profiler. The profiler is implemented inside the latest Linux kernel and validated for Intel Sandy Bridge processor. It has a negligible overhead of less than 1\% hardware resource consumption. The profiler power prediction was demonstrated for various application benchmarks from SPEC to PARSEC with less than 4\% error. I also demonstrate the importance of the proposed profiler for emerging architectural techniques through use case scenarios, which include heterogeneous computing and fine grained per-core DVFS. Along with architectural enhancement in general purpose processors to improve energy efficiency, hardware accelerators like Coarse Grain reconfigurable architecture (CGRA) are gaining popularity. Unlike vector processors, which rely on data parallelism, CGRA can provide greater flexibility and compiler level control making it more suitable for present SoC environment. To provide streamline development environment for CGRA, I propose a flexible framework in Linux to do design space exploration for CGRA. With accurate and flexible hardware models, fine grained integration with accurate architectural simulator, and Linux memory management and DMA support, a user can carry out limitless experiments on CGRA in full system environment.
ContributorsDesai, Digant Pareshkumar (Author) / Vrudhula, Sarma (Thesis advisor) / Chakrabarti, Chaitali (Committee member) / Wu, Carole-Jean (Committee member) / Arizona State University (Publisher)
Created2013
Description
Smart home system (SHS) is a kind of information system aiming at realizing home automation. The SHS can connect with almost any kind of electronic/electric device used in a home so that they can be controlled and monitored centrally. Today's technology also allows the home owners to control and monitor the SHS installed in their homes remotely. This is typically realized by giving the SHS network access ability. Although the SHS's network access ability brings a lot of conveniences to the home owners, it also makes the SHS facing more security threats than ever before. As a result, when designing a SHS, the security threats it might face should be given careful considerations. System security threats can be solved properly by understanding them and knowing the parts in the system that should be protected against them first. This leads to the idea of solving the security threats a SHS might face from the requirements engineering level. Following this idea, this paper proposes a systematic approach to generate the security requirements specifications for the SHS. It can be viewed as the first step toward the complete SHS security requirements engineering process.
ContributorsXu, Rongcao (Author) / Ghazarian, Arbi (Thesis advisor) / Bansal, Ajay (Committee member) / Lindquist, Timothy (Committee member) / Arizona State University (Publisher)
Created2013
Description
This study investigates the effectiveness of the use of Concept-Based Instruction (CBI) to facilitate the acquisition of Spanish mood distinctions by second semester second language learners of Spanish. The study focuses on the development of Spanish mood choice and the types of explanations (Rule-of-Thumb vs. Concept-based) used by five students before and after being exposed to Concept-Based Instruction regarding the choice of Spanish mood following various modalities .The students in this study were presented with a pedagogical treatment on Spanish mood choice that included general theoretical concepts based on Gal'perin's (1969, 1992) didactic models and acts of verbalization, which form part of a Concept-Based pedagogical approach. In order to ascertain the effectiveness of the use of concept-based tools to promote the ability to use Spanish mood appropriately over time, a pre and post-test was administered to the group in which students were asked to respond to prompts containing modalities that elicit the indicative and subjunctive moods, indicate their level of confidence in their response, and verbalize in writing a reason for their choice. The development of these abilities in learners exposed to CBI was assessed by comparing pre and post-test scores examining both forms and explanations for the indicative and subjunctive modality prompts given. Results showed that students continued to rely on Rule-of-Thumb explanations of mood choice but they did expand their use of conceptually-based reasoning. Although the quantitative and qualitative analyses of the results indicate that most students did improve their ability to make appropriate mood choices (forms and explanations) after the CBI treatment, the increased use of conceptually-based explanations for their mood choices led to both correct and incorrect responses.
ContributorsBeus, Eric (Author) / Lafford, Barbara (Thesis advisor) / Beas, Omar (Committee member) / Cerron-Palomino, Alvaro (Committee member) / Arizona State University (Publisher)
Created2013
Description
Motion capture using cost-effective sensing technology is challenging and the huge success of Microsoft Kinect has been attracting researchers to uncover the potential of using this technology into computer vision applications. In this thesis, an upper-body motion analysis in a home-based system for stroke rehabilitation using novel RGB-D camera - Kinect is presented. We address this problem by first conducting a systematic analysis of the usability of Kinect for motion analysis in stroke rehabilitation. Then a hybrid upper body tracking approach is proposed which combines off-the-shelf skeleton tracking with a novel depth-fused mean shift tracking method. We proposed several kinematic features reliably extracted from the proposed inexpensive and portable motion capture system and classifiers that correlate torso movement to clinical measures of unimpaired and impaired. Experiment results show that the proposed sensing and analysis works reliably on measuring torso movement quality and is promising for end-point tracking. The system is currently being deployed for large-scale evaluations.
ContributorsDu, Tingfang (Author) / Turaga, Pavan (Thesis advisor) / Spanias, Andreas (Committee member) / Rikakis, Thanassis (Committee member) / Arizona State University (Publisher)
Created2012
Description
This thesis introduces the Model-Based Development of Multi-iRobot Toolbox (MBDMIRT), a Simulink-based toolbox designed to provide the means to acquire and practice the Model-Based Development (MBD) skills necessary to design real-time embedded system. The toolbox was developed in the Cyber-Physical System Laboratory at Arizona State University. The MBDMIRT toolbox runs under MATLAB/Simulink to simulate the movements of multiple iRobots and to control, after verification by simulation, multiple physical iRobots accordingly. It adopts the Simulink/Stateflow, which exemplifies an approach to MBD, to program the behaviors of the iRobots. The MBDMIRT toolbox reuses and augments the open-source MATLAB-Based Simulator for the iRobot Create from Cornell University to run the simulation. Regarding the mechanism of iRobot control, the MBDMIRT toolbox applies the MATLAB Toolbox for the iRobot Create (MTIC) from United States Naval Academy to command the physical iRobots. The MBDMIRT toolbox supports a timer in both the simulation and the control, which is based on the local clock of the PC running the toolbox. In addition to the build-in sensors of an iRobot, the toolbox can simulate four user-added sensors, which are overhead localization system (OLS), sonar sensors, a camera, and Light Detection And Ranging (LIDAR). While controlling a physical iRobot, the toolbox supports the StarGazer OLS manufactured by HAGISONIC, Inc.
ContributorsSu, Shih-Kai (Author) / Fainekos, Georgios E (Thesis advisor) / Sarjoughian, Hessam S. (Committee member) / Artemiadis, Panagiotis K (Committee member) / Arizona State University (Publisher)
Created2012
Description
Time adolescents spend in organized or informal skill based activities after school is associated with a variety of positive developmental outcomes. Little is known about how siblings might shape adolescents' motivation to participate in after-school activities. The current study applied the expectancy value model and ecological theory to understand if sibling behaviors were related to adolescents' after-school activities for 34 Mexican origin families. Qualitative and quantitative results suggested siblings engaged in five promoting behaviors (i.e., support, provider of information, role modeling, comparison, co-participation) and three inhibiting behaviors (i.e., babysitting, transportation, and negativity) towards adolescent activity participation. Furthermore, sibling behaviors differed by adolescent characteristics (i.e., cultural orientation, familism, and neighborhood) and sibling characteristics (i.e., gender, age). The results provide evidence of the various promoting and inhibiting socialization behaviors sibling might use to influence adolescents' activity motivation.
ContributorsPrice, Chara Dale (Author) / Simpkins, Sandra (Thesis advisor) / Updegraff, Kimberly (Committee member) / Menjivar, Cecilia (Committee member) / Arizona State University (Publisher)
Created2012
Description
This study was designed to influence consumer habits, specifically those relating to purchases of fruits, vegetables, and junk food. Previous studies have clearly shown the ineffectiveness of simply describing the health benefits of eating more fruits and vegetables (F/V). In contrast, this study aimed to change the result by changing the message: providing participants with insight into the hidden agendas of food companies and grocery stores, provide useful tips on how to include children when selecting F/V, and emphasizing the importance of parental modeling in regard to food purchases. Participants of this study were separated into two groups, the tour group and the education group. The tour group was guided through a grocery store where they learned about sales tactics and manipulations used by grocery stores and food companies to influence purchases. Education group participants were provided with an education session focusing on USDA and FDA handouts displaying current educational suggestions for increasing F/V consumption. Grocery store receipts were collected and analyzed to track the progress of both groups. The goal of the study was to identify a method of informing consumers that will produce a significant change in behavior. Increasing F/V consumption, even in relatively small amounts, would be an important step forward in improving the diet and overall health of Americans. This study was the first of its kind to measure purchasing patterns objectively (through analysis of purchase receipts, rather than personal opinion/evaluation surveys) and in a wide-scope retail environment that includes all grocery store purchases by participants. Significant increases or decreases in the amount of money spent on F/V, or the amount (pounds) of F/V purchased were not seen, however a small correlation (r = 0.133) exists when comparing the weight of F/V purchased pre/post intervention. Data from Food Frequency Questionnaires shows participants consuming significantly higher amounts of F/V post intervention (p=0.043). The tour group and education group experienced an average increase of 0.7 servings per day. Future interventions might benefit by extending their scope to include cooking demonstrations, in-home interventions, and education on healthy eating outside of the home.
ContributorsKinsfather, Diana (Author) / Johnston, Carol (Thesis advisor) / Hekler, Eric (Committee member) / Tetreault, Colin (Committee member) / Arizona State University (Publisher)
Created2013
Description
With the growth of IT products and sophisticated software in various operating systems, I observe that security risks in systems are skyrocketing constantly. Consequently, Security Assessment is now considered as one of primary security mechanisms to measure assurance of systems since systems that are not compliant with security requirements may lead adversaries to access critical information by circumventing security practices. In order to ensure security, considerable efforts have been spent to develop security regulations by facilitating security best-practices. Applying shared security standards to the system is critical to understand vulnerabilities and prevent well-known threats from exploiting vulnerabilities. However, many end users tend to change configurations of their systems without paying attention to the security. Hence, it is not straightforward to protect systems from being changed by unconscious users in a timely manner. Detecting the installation of harmful applications is not sufficient since attackers may exploit risky software as well as commonly used software. In addition, checking the assurance of security configurations periodically is disadvantageous in terms of time and cost due to zero-day attacks and the timing attacks that can leverage the window between each security checks. Therefore, event-driven monitoring approach is critical to continuously assess security of a target system without ignoring a particular window between security checks and lessen the burden of exhausted task to inspect the entire configurations in the system. Furthermore, the system should be able to generate a vulnerability report for any change initiated by a user if such changes refer to the requirements in the standards and turn out to be vulnerable. Assessing various systems in distributed environments also requires to consistently applying standards to each environment. Such a uniformed consistent assessment is important because the way of assessment approach for detecting security vulnerabilities may vary across applications and operating systems. In this thesis, I introduce an automated event-driven security assessment framework to overcome and accommodate the aforementioned issues. I also discuss the implementation details that are based on the commercial-off-the-self technologies and testbed being established to evaluate approach. Besides, I describe evaluation results that demonstrate the effectiveness and practicality of the approaches.
ContributorsSeo, Jeong-Jin (Author) / Ahn, Gail-Joon (Thesis advisor) / Yau, Stephen S. (Committee member) / Lee, Joohyung (Committee member) / Arizona State University (Publisher)
Created2014
Description
Access control is necessary for information assurance in many of today's applications such as banking and electronic health record. Access control breaches are critical security problems that can result from unintended and improper implementation of security policies. Security testing can help identify security vulnerabilities early and avoid unexpected expensive cost in handling breaches for security architects and security engineers. The process of security testing which involves creating tests that effectively examine vulnerabilities is a challenging task. Role-Based Access Control (RBAC) has been widely adopted to support fine-grained access control. However, in practice, due to its complexity including role management, role hierarchy with hundreds of roles, and their associated privileges and users, systematically testing RBAC systems is crucial to ensure the security in various domains ranging from cyber-infrastructure to mission-critical applications. In this thesis, we introduce i) a security testing technique for RBAC systems considering the principle of maximum privileges, the structure of the role hierarchy, and a new security test coverage criterion; ii) a MTBDD (Multi-Terminal Binary Decision Diagram) based representation of RBAC security policy including RHMTBDD (Role Hierarchy MTBDD) to efficiently generate effective positive and negative security test cases; and iii) a security testing framework which takes an XACML-based RBAC security policy as an input, parses it into a RHMTBDD representation and then generates positive and negative test cases. We also demonstrate the efficacy of our approach through case studies.
ContributorsGupta, Poonam (Author) / Ahn, Gail-Joon (Thesis advisor) / Collofello, James (Committee member) / Huang, Dijiang (Committee member) / Arizona State University (Publisher)
Created2014