Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 53 for “"Embedded Software"”.
-
Managing embedded software development in China
… have become smaller and cheaper, they are embedded in more and more non-computing products, such as washing machines, elevators, MP3 players and printers. It has been estimated that these products consumed 99% of the worldwide production of microprocessors. I In general, "Embedded system" …
-
Developing Embedded Software Using Compile-Time Virtualisation
The architectures of embedded systems are becoming increasingly non-standard and app\-lic\-a\-tion-specific. They frequently contain multiple heterogenous processing cores, non-uniform memory, complex interconnect or custom hardware elements such as DSP and SIMD cores. However, programming …
-
Constraint Based Program Synthesis for Embedded Software
… world that we live in today, we greatly rely on software in nearly every aspect of our lives. In many critical applications, such as in transportation and medical systems, catastrophic consequences could occur in case of buggy software. As the computational power and storage capacity of computer …
-
Testing and Security Related Considerations in Embedded Software
… continued increasing use of microprocessors in embedded systems has caused a proliferation of embedded software in small devices. In practice, many of these devices are difficult to update to fix security flaws and software errors. This brings an emphasis on ensuring the secure and reliable …
-
Design Techniques for Side-channel Resistant Embedded Software
… problems from the point of view of developing embedded software that is resistant to power based side channel attacks. Our first work is an evaluation of different software AES implementations, from the perspective of side channel resistance, that shows the effect of design choices on the …
-
Two concrete problems in timing analysis of embedded software
… analysis is crucial for the design of real-time embedded systems. Static analysis methods analyze a program statically to give an upper bound on the worst case execution time (WCET) of the program. The problem of determining WCET of a program by static analysis methods has to be solved at the …
-
An Investigation into Improving Test Effectiveness for Embedded Software
… on the investigation of the effectiveness of software testing on embedded systems. The aim was to improve confidence in the current methods employed or to find new methods which could improve the hit rate of defects found before software is sent to a customer. We investigate previous work into …
-
Embedded Software-Defined Radio Architectures for 6G Cellular Networks
… receivers. To support these requirements, software-defined radios (SDR) are becoming an essential building block of next-generation radio networks. This thesis presents a review of softwaredefined radio technology, examines its history, proposes the requirements of SDR units for 6G cellular …
-
A distributed embedded software architecture for multiple Unmanned Aerial Vehicles
… Aerial Vehicles (UAVs), we must first develop a software architecture that supports onboard computation and flexible communication. This thesis presents an Onboard Planning Module developed from an embedded PC/104 Linux-based computer that communicates directly with the UAV's autopilot to …
-
Design and development of reusable feature-based next-generation embedded software
The emergence of next-generation embedded systems, emphasized by their shortened life cycles, necessitates an urgent shift towards agile software design and development. The objective is to achieve timely product delivery while maintaining safety and quality standards. Anticipating that …
-
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software
… to satisfy rigorous reliability requirements of embedded software that is playing an increasingly important role in many safety critical applications. Automatic formal verification is a viable avenue for ensuring the reliability of such software. Recently, more and more formal verification …
-
Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal polychronous language used to guarantee certain safety properties and alleviate the burden of software development and testing. We propose real-time extensions …
-
Fault Attacks on Embedded Software: New Directions in Modeling, Design, and Mitigation
… an important class of hardware attacks against embedded software, which uses fault injection as a hacking tool. Fault attacks use well-chosen, targeted fault injection combined with clever system response analysis to break the security of a system. In case of a fault attack on embedded software, …
-
System controller hardware and embedded software for the Petite Amateur Navy Satellite (PANSAT)
… thesis documents the design of the hardware and embedded software of a digital computer that provides autonomous control of the PANSAT spacecraft. The system was designed for use during a two year mission in a low earth orbit. The computer uses an Intel M80C186XL running at 7.3728 MHz, 512 kbytes …
-
Managing the proliferation of digital technologies in the automotive industry : a systems engineering approach to embedded software
Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2003.
-
An Investigation into the Cost of Unit Testing on an Embedded System
The quality of embedded software is important, especially for life-critical and mission-critical embedded systems. And software testing is a key activity to ensure the quality of embedded software. Both system testing and unit testing are vital to test embedded software. Unit testing is probably …
-
Requirements engineering-driven collaborative software maintenance framework for embedded systems using continual learning
Embedded software post-deployment evolutions pose significant threats to the safety and reliability of embedded software if it is not adapted to software maintenance through requirements engineering. To solve this problem, we propose a collaborative framework that enables efficient requirements …
-
Hardware Fault Attack Detection Methods for Secure Embedded Systems
… life, we are increasingly putting our trust in embedded software applications, which run on a range of processor-based embedded systems from smartcards to pay-TV units. This trend expands the threat model of embedded applications from software into hardware. Over the last 20 years, fault attacks …
-
A hierarchical approach to the formal verification of embedded systems using MDGs
Embedded systems are finding widespread application including communication systems, factory automation, graphics and imaging systems, medical equipment and even household appliances. With the increasing emergence of mixed hardware/software systems, it is important to ensure the correctness of such …
-
Software Synthesis of SystemC Models
… are now large, complicated and involve both software and hardware components. The designs have to be modeled at a high level of abstraction before partitioning into hardware and software components for final implementation. SystemC is a system level modeling language useful for System On a …
Page 1 of 3