• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 141
  • 34
  • 22
  • 7
  • 4
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 232
  • 232
  • 232
  • 49
  • 44
  • 40
  • 38
  • 36
  • 36
  • 34
  • 32
  • 31
  • 31
  • 29
  • 28
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Machine code verification using the Bogor framework /

Edelman, Joseph R. January 2008 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2008. / Includes bibliographical references (p. 38-39).
22

Software frameworks and embedded control systems /

Pasetti, Alessandro. January 1900 (has links)
Thesis (doctoral) - Universität, Konstanz, 2001. / Includes bibliographical references (p. [285]-290) and index. Also available online.
23

Dynamic dead variable analysis /

Lewis, Micah S., January 2005 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2005. / Includes bibliographical references (p. 59-63).
24

Evaluating hardware/software partitioning and an embedded Linux port of the Virtex-II pro development system

Lin, Hsiang-Ling Jamie. January 2006 (has links) (PDF)
Thesis (M.S. in computer engineering)--Washington State University, May 2006. / Includes bibliographical references (p. 63-64).
25

Slicing and characterizing typical-case behavior for component-based embedded systems

Russell, Jeffry Thomas, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Vita. Includes bibliographical references.
26

A rule-based component parameterization technique for QoS trade-off reconfiguration /

Zhou, Jia. January 2007 (has links)
Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 220-230)
27

Embedded System Security: A Software-based Approach

Cui, Ang January 2015 (has links)
We present a body of work aimed at understanding and improving the security posture of embedded devices. We present results from several large-scale studies that measured the quantity and distribution of exploitable vulnerabilities within embedded devices in the world. We propose two host-based software defense techniques, Symbiote and Autotomic Binary Structure Randomization, that can be practically deployed to a wide spectrum of embedded devices in use today. These defenses are designed to overcome major challenges of securing legacy embedded devices. To be specific, our proposed algorithms are software- based solutions that operate at the firmware binary level. They do not require source-code, are agnostic to the operating-system environment of the devices they protect, and can work on all major ISAs like MIPS, ARM, PowerPC and X86. More importantly, our proposed defenses are capable of augmenting the functionality of embedded devices with a plethora of host-based defenses like dynamic firmware integrity attestation, binary structure randomization of code and data, and anomaly-based malcode detection. Furthermore, we demonstrate the safety and efficacy of the proposed defenses by applying them to a wide range of real- time embedded devices like enterprise networking equipment, telecommunication appliances and other commercial devices like network-based printers and IP phones. Lastly, we present a survey of promising directions for future research in the area of embedded security.
28

An investigation into the value of embedded software

Lynch, Valerie Barbara January 2014 (has links)
No description available.
29

Software development for embedded systems

Bapoo, Hansraj 14 July 2016 (has links)
A dissertation submitted to the Faculty of Engineering, University of the Witwatersrand, Johannesburg, in fulfilment of the requirements for the degree of Master of Science in Engineering. Johannesburg, 1996. / This report examines the major factors influencing the development of embedded systems. The discussion covers, among other aspects, features of embedded systems that are common to software development in general, the main characteristics of embedded systems, some of the current development strategies, the mlcrocontroller market, language issues and development tools. Following the assessment study and a practical embedded system development, the report concludes that although: I embedded systems are typified by relatively few lines of codes, their complex nature necessitates the application of a disciplined development approach. The report presents a riskbased hardware-software co-design development approach in an attempt to reconcile the existing formal development models to the technical realities of embedded systems. A practical embedded system case study is presented, It involves the development of a microcontroller-based system for the three-phase inverter of an uninterruptible power supply (UPS).
30

Software change management processes in the development of embedded software /

Mäkäräinen, Minna. January 2000 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2000. / Includes bibliographical references. Also available on the World Wide Web.

Page generated in 0.1367 seconds