- Subscribe to this page:
- RSS
- Email Alert
embedded systems
(889 results)-
White Papers
Design-Time Optimization Techniques for Middleware QoS Configuration in Distributed Real-Time Systems
Oct 2008
In component-based Distributed, Real-time, and Embedded (DRE) systems, the deployment of application components and configuration of the middleware play an important role in determining the...
Provided by Vanderbilt University
-
White Papers
Metaprogrammable Middleware Deployment and Configuration for Distributed Real-Time and Embedded Systems
Aug 2007
Modern Distributed Real-time and Embedded (DRE) systems, such as Intelligent Transportation Systems (ITS) or smart power distribution, comprise multiple collaborating services with different...
Provided by Vanderbilt University
-
White Papers
Model-Driven QoS Provisioning for Distributed Real-Time and Embedded Systems
Apr 2008
Distributed Real-time and Embedded (DRE) systems are composed of applications with diverse CPU utilization requirements. These applications participate in many end-to-end application flows with...
Provided by Vanderbilt University
-
White Papers
Supporting Component-Based Failover Units in Middleware for Distributed Real-Time and Embedded Systems
Nov 2009
Although component middleware is increasingly used to develop Distributed, Real-time and Embedded (DRE) systems, it poses new fault-tolerance challenges, such as the need for efficient...
Provided by Vanderbilt University
-
White Papers
Modularizing Variability and Scalability Concerns in Distributed Real-Time and Embedded Systems With Modeling Tools and Component Middleware: A Case Study
Jan 2011
Developing real-time software for large-scale Distributed Real-time and Embedded (DRE) systems is hard due to variabilities that arise from integration with various subsystems based on different...
Provided by Vanderbilt University
-
White Papers
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems
Sep 2007
Service Oriented Architecture (SOA) design principles are increasingly being adopted to develop Distributed Real-time and Embedded (DRE) systems, such as avionics mission computing, due to the...
Provided by Vanderbilt University
-
White Papers
Towards Middleware for Fault-Tolerance in Distributed Real-Time and Embedded Systems
Jan 2008
Distributed Real-time and Embedded (DRE) systems often require support for multiple simultaneous Quality of Service (QoS) properties, such as real-timeliness and fault tolerance, that operate...
Provided by Vanderbilt University
-
White Papers
Correctness Proofs for Device Drivers in Embedded Systems
Aug 2010
Computer systems do not exist in isolation: they must interact with the world through I/O devices. The authors' work, which focuses on constrained embedded systems, provides a framework for...
Provided by University of Utah
-
White Papers
T-Check: Bug Finding for Sensor Networks
Apr 2010
Sensor nodes are resource poor and failure-prone. Sensor networks are composed of many such nodes that are often hard to physically reach and that are connected by unreliable wireless links....
Provided by Association for Computing Machinery
-
White Papers
Offline Compression for On-Chip RAM
Jun 2007
The authors present offline RAM compression, an automated source-to-source transformation that reduces a program's data size. Statically allocated scalars, pointers, structures, and arrays are...
Provided by Association for Computing Machinery
-
White Papers
Caches and Predictors for Real-Time, Unobtrusive, and Cost-Effective Program Tracing in Embedded Systems
May 2010
The increasing complexity of modern embedded computer systems makes software development and system verification the most critical steps in the system development. To expedite verification and...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Intel Atom Pineview-Based Platforms From WIN Enterprises
Mar 2011
The Atom processor is a striking success for Intel. Without detracting from their efforts in the high-end of the microprocessor market, the company has been able to develop a significant presence...
Provided by WIN Enterprises
-
White Papers
Using a Low-Cost SoC Computer and a Commercial RTOS in an Embedded Systems Design Course
Aug 2008
This paper describes the author's experiences using a low-cost System-on-a-Chip (SoC) embedded computer system and a commercial Real-Time Operating System (RTOS) in the laboratory component of an...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
DESH: Overhead Reduction Algorithms for Deferrable Scheduling
Aug 2009
Although the deferrable scheduling algorithm for fixed priority transactions (DS-FP) has been shown to be a very effective approach for minimizing realtime update transaction workload, it suffers...
Provided by Springer Science+Business Media
-
White Papers
Scavenger Hunt: An Embedded Wireless System Approach
Mar 2010
Recent statistics have shown the decline in the number of students choosing computer science as an undergraduate degree in the United States of America. This problem is pressing as the supply of...
Provided by Clemson University
-
White Papers
Fault Tolerance in Real Time Multiprocessors - Embedded Systems
Jan 2010
All real time tasks which are termed as critical tasks by nature have to complete its execution before its deadline, even in presence of faults. The most popularly used real time task assignment...
Provided by Cornell University
-
White Papers
The Embedding Capacity of Information Flows Under Renewal Traffic
Mar 2011
Given two independent point processes and a certain rule for matching points between them, what is the fraction of matched points over infinitely long streams? In many application contexts, e.g.,...
Provided by Cornell University
-
White Papers
A Game-Theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
Nov 2010
In this paper, the authors present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system,...
Provided by Technische Universitat Munchen
-
White Papers
A Framework to Experiment Optimizations for Real-Time and Embedded Software
Nov 2010
Typical constraints on embedded systems include code size limits, upper bounds on energy consumption and hard or soft deadlines. To meet these requirements, it may be necessary to improve the...
Provided by Université européenne de Bretagne
-
White Papers
Equivalence Checking in Embedded Systems Design Verification
Oct 2010
In this paper the authors focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems. These models...
Provided by Cornell University
-
White Papers
Efficient Remote Profiling for Resource-Constrained Devices
Jan 2011
The widespread use of ubiquitous, mobile, and continuously-connected computing agents has inspired software developers to change the way they test, debug, and optimize software. Users now play an...
Provided by University of California
-
White Papers
Towards Understanding Architectural Tradeoffs in MEMS Closed-Loop Feedback Control
Oct 2007
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of microns. However, the...
Provided by Association for Computing Machinery
-
White Papers
Managing Security in FPGA-Based Embedded Systems
Dec 2008
FPGAs combine the programmability of processors with the performance of custom hardware. As they become more common in critical embedded systems, new techniques are necessary to manage security in...
Provided by University of California
-
White Papers
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems
Oct 2008
Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements. In particular, the...
Provided by University of California
-
White Papers
A Computational Model to Disentangle Semantic Information Embedded in Word Association Norms
Dec 2008
Understanding the structure of semantic knowledge is an open challenge of fundamental importance in cognitive science. Along the most powerful computational probabilistic approaches to this...
Provided by Cornell University
-
White Papers
Statistical Analysis of Second Order Differential Power Analysis
Dec 2010
Second Order Differential Power Analysis (2ODPA) is a powerful side channel attack that allows an attacker to bypass the widely used masking countermeasure. To thwart 2ODPA, higher order masking...
Provided by University of Luxembourg
-
White Papers
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
May 2009
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this context is to...
Provided by TECHNICAL UNIVERSITY OF MUNICH
-
White Papers
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems With Finiteness
Oct 2009
The complexity of distributed real-time systems is growing rapidly; model-based development tools are used to accelerate the development process and increase the quality of the produced code. In...
Provided by TECHNICAL UNIVERSITY OF MUNICH
-
White Papers
Tunable and Energy Efficient Bus Encoding Techniques
Aug 2009
Off-Chip buses constitute a significant portion of the total system power in embedded systems. Many research works have focused on reducing power consumption in the off-chip buses. While numerous...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Power Optimized Programmable Embedded Controller
Jul 2010
Now days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functionality....
Provided by Sipnas college of Engineering & Technology
-
White Papers
Optimized Image Steganalysis Through Feature Selection Using MBEGA
Jul 2010
Feature based steganalysis, an emerging branch in information forensics, aims at identifying the presence of a covert communication by employing the statistical features of the cover and stego...
Provided by Thiagarajar College of Engineering
-
White Papers
Dynamic Focusing of Awareness in Fuzzy Control Systems
Apr 2011
Adaptive fuzzy logic control systems with Gaussian membership functions are described. A systematic simulation study of 'Dynamic focusing of awareness' in fuzzy logic control systems is provided....
Provided by University of Texas
-
White Papers
A Generic Model of Contracts for Embedded Systems
Jun 2007
The authors present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "Speculative...
Provided by INRIA
-
White Papers
Attacking and Defending Networked Embedded Devices
Aug 2007
Currently, work on malware attack and defense focuses primarily on PCs. However, as lightweight computing devices with embedded operating systems become more ubiquitous, they present a new and...
Provided by Dartmouth College
-
White Papers
SMT-Based BoundedModel Checking for Embedded ANSI-C Software
Jul 2009
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the...
Provided by University of Southampton
-
White Papers
Model Based System Engineering Approach of a Lightweight Embedded TCP/IP
Apr 2011
The use of embedded software is growing very rapidly. Accessing the internet is a necessary service which has large range of applications in many fields. The Internet is based on TCP/IP which is a...
Provided by Mansoura University
-
White Papers
A Novel Embedded Statistical Scheduler for Realising High System-QoS
Dec 2010
Development of schedulers for real-time embedded systems is an emerging area of research as it addresses timely scheduling issues like co-operative scheduling, pre-emptive scheduling, micro-kernel...
Provided by Haldia Institute of Technology
-
White Papers
Harnessing Parallelism in Multicore Clusters With the All-Pairs, Wavefront, and Make Flow Abstractions
Nov 2009
Both distributed systems and multicore systems are difficult programming environments. Although the expert programmer may be able to carefully tune these systems to achieve high performance, the...
Provided by University of Notre Dame
-
White Papers
Complex Instruction and Software Library Mapping for Embedded Software Using Symbolic Algebra
Jan 2011
With growing demand for embedded multimedia applications, time to market of embedded software has become a crucial issue. As a result, embedded software designers often use libraries that have...
Provided by Stanford University
-
White Papers
Energy Efficient Design of Battery Powered Embedded Systems
Sep 2009
Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. The authors present a modular approach for enhancing instruction level simulators with...
Provided by UC Regents
-
White Papers
Formal Logic Based Configuration Modeling and Verification for Dynamic Component Systems
Jul 2011
Reconfigurable networked systems have often been developed via dynamically deployed software components that are executing on top of interconnected heterogenous hardware nodes. The challenges...
Provided by IARIA
-
White Papers
Pervasive Computing in Embedded Systems: Designing Cooperative Applications for Real Environments
Nov 2011
The dramatic growth of the amount of information that is made available through computer systems and the increasing need to access relevant information anywhere at any time are more and more...
Provided by IARIA
-
White Papers
HyRA: A Software-Defined Radio Architecture for Wireless Embedded Systems
Jul 2011
Traditional Software-Defined Radio (SDR) architectures cannot go with the requirements of embedded systems, specially in terms of performance and power consumption. Low-power FPGAs now reaching...
Provided by IARIA
-
White Papers
Comparison of the Fully-Differential and Single-Ended Solutions of the Frequency Filter With Current Followers and Adjustable Current Amplifier
Feb 2012
Two solutions of universal and adjustable current-mode filters are presented in this contribution. The first of them is able to process Single-Ended (S-E) signals in communications and the other...
Provided by IARIA
-
White Papers
Edola: A Domain Modeling and Verification Language for PLC Systems
Oct 2011
Formal modeling and verification of PLC systems become paramount in engineering applications. The paper presents a novel PLC domain-specific modeling language Edola. Important characteristics of...
Provided by IARIA
-
White Papers
On Generating Security Implementations From Models of Embedded Systems
Oct 2011
Designing secure embedded systems is a challenging task. Many of the challenges unique to embedded systems in this regard are due to the constraints that these systems have and thus impacts that...
Provided by IARIA
-
White Papers
Adding Support for Hardware Devices to Component Models for Embedded Systems
Oct 2011
Component-based development promises many improvements in developing software for embedded systems, e.g., greater reuse of once written software, less error-prone development process, greater...
Provided by IARIA
-
White Papers
A Hybrid VOX System Using Emulated Hardware Behaviors
Apr 2012
This paper analyzes two well-known but complementary speech detection algorithms, and combines them to create a robust, low complexity method of speech detection. Software emulation of behaviors...
Provided by IARIA
-
White Papers
Wireless Multi-Sensor Embedded System for Agro-Industrial Monitoring and Control
Mar 2011
The paper presents a development of the multi sensor embedded system for measuring up to eight sensor parameters optimized by appropriate algorithms. Since, most of the industrial applications use...
Provided by IARIA
-
White Papers
SAFER: System-Level Architecture for Failure Evasion in Real-Time Applications
Mar 2012
The authors propose a layer called SAFER (System-level Architecture for Failure Evasion in Real-time applications) to incorporate configurable task-level fault-tolerance features such as Hot...
Provided by Carnegie Mellon University
-
White Papers
Effect of Thread Level Parallelism on the Performance of Optimum Architecture for Embedded Applications
Mar 2012
According to the increasing complexity of network application and internet traffic, network processor as a subset of embedded processors have to process more computation intensive tasks. By...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Drop the Phone and Talk to the Physical World: Programming the Internet of Things With Erlang
Mar 2012
The authors present ELIOT, an Erlang-based development framework expressly conceived for heterogeneous and massively decentralized sensing/actuation systems: a vision commonly regarded as the...
Provided by Politecnico di Milano
-
White Papers
Fault-Tolerant Distributed Deployment of Embedded Control Software
May 2008
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the control laws to be...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Composing Heterogeneous Reactive Systems
Jul 2008
The authors present a compositional theory of heterogeneous reactive systems. The approach is based on the concept of tags marking the events of the signals of a system. Tags can be used for...
Provided by Association for Computing Machinery
-
White Papers
A Case Study in Distributed Deployment of Embedded Software for Camera Networks
Apr 2009
The authors present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. They analyze a series of alternative decompositions of the...
Provided by Economic Development Association of Alabama
-
White Papers
A Heterogeneous Parallel System Running Open MPI on a Broadband Network of Embedded Set-Top Devices
May 2010
The authors present a heterogeneous parallel computing system that combines a traditional computer cluster with a broadband network of embedded Set-Top Box (STB) devices. As Multiple Service...
Provided by Association for Computing Machinery
-
White Papers
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
Feb 2010
AADL is a standard for modeling embedded systems that is widely used in avionics and other safety-critical applications. However, the AADL standard lacks at present a formal semantics, and this...
Provided by University of Oslo
-
White Papers
Stagnant Memory and Timing Investigation of Embedded Systems Code
Jan 2012
Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the...
Provided by International Journal of Computer Science and Information Technologies
-
White Papers
A Study on the Design of Coaxial Isolator With Filter Circuit
Dec 2011
In this paper, the detailed design of the 1.8 GHz band Y-junction stripline circulator with the low pass filter circuit in the center conductor in order to higher attenuations below value of -30...
Provided by Dongguk University
-
White Papers
A Component-Based Approach to Verification of Embedded Control Systems Using TLA+
Nov 2008
Software running in embedded systems necessary acquires some properties of the physical world. Usually, these properties form a part of non-functional aspects in system requirements. To model...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Real-Time Support in Adaptable Middleware for Heterogeneous Sensor Networks
Nov 2008
The use of sensor networks in different kinds of sophisticated applications is emerging due to several advances in sensor/embedded system technologies. However, the integration and coordination of...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Real Time Behavior of Data in Distributed Embedded Systems
Nov 2008
Nowadays, most embedded systems become distributed systems structured as a set of communicating components. Therefore, they display a less deterministic global behavior than centralized systems...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Developing Self-Managing Embedded Systems With ASSL
Oct 2009
The authors present a new formal approach to the implementation of embedded systems, arrived at by introducing self-management capabilities to the same. They use the ASSL (Autonomic System...
Provided by University College Dublin
-
White Papers
Framework to Port Linux Kernel on Powerpc Based Embedded System Used for Telecom Application - Ipbts
Oct 2011
The tremendous growth of telecom applications running on specific customized hardware known as an embedded system which necessitates analyzing and designing a frame work to port Linux kernel on...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Application of UML in Real-Time Embedded Systems
Mar 2012
The UML was designed as a graphical notation for use with object-oriented systems and applications. Because of its popularity, now it is emerging in the field of embedded systems design as a...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
A Review on Elliptic Curve Cryptography for Embedded Systems
Jun 2011
Importance of Elliptic Curves in Cryptography was independently proposed by Neal Koblitz and Victor Miller in 1985. Since then, Elliptic curve cryptography or ECC has evolved as a vast field for...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Implementation of a Server Architecture for Secure Reconfiguration of Embedded Systems
Dec 2011
Field reconfigurable logic finds an increased integration in both industrial and consumer applications. A need for secure reconfiguration techniques on these devices arises as live firmware...
Provided by ARPN Journal of Systems and Software
-
White Papers
Engineering Dependability to Embedded Systems Software Via Tactics
Oct 2011
Embedded systems are used in many critical applications of the people daily life. The increased complexity of embedded systems and the tightened safety regulations posed on them and the scope of...
Provided by Science and Engineering Research Support soCiety
-
White Papers
A Compiler Integrated Assistance for Optimum Data Allocation in Banked Memory Embedded Processors
Jan 2012
Bank switching in embedded processors having partitioned memory architecture results in code size as well as run time overhead. An algorithm and its application to assist the compiler in...
Provided by Cochin University of Science & Technology
-
White Papers
Runtime CPU Scheduler Customization Framework for Real Time Operating System
Mar 2012
Most of the embedded systems have real-time requirements about the use of Real-Time Operating Systems able of satisfying the embedded system requirements. So, in embedded application where the...
Provided by International Journal of Computer Technology and Applications
-
White Papers
Blocking Misbehaving Users In Anonymizying Networks- Embedded Based
Mar 2012
Anonymizing networks such as Tor allow users to access Internet services privately by using a series of routers to hide the client's IP address from the server. The success of such networks,...
Provided by International Journal of Power Control Signal and Computation (IJPCSC)
-
White Papers
Survey of NoC and Programming Models Proposals for MPSoC
Mar 2012
The aim of this paper is to give briefing of the concept of network-on-chip and programming model topics on multiprocessors System-on-Chip world, an attractive and relatively new field for...
Provided by International Journal of Computer Science Issues
-
White Papers
Digital Logic Embedding Using Single Row
Dec 2011
The authors present a technique to improve embedding capacity of Image using digital logic in this paper. They have applied digital logic operations on two equal halves of an image row to derive...
Provided by Engg Journals Publications
-
White Papers
Identification of Highly Jittered Radar Emitters: Issues on Low Cost Embedded Design
Feb 2012
This paper presents efforts toward design of radar identification system for highly jittered radar emitters. The paper first provides a mathematical background of clustering techniques, and then...
Provided by The Second International Conference on Communications and Information Technology
-
White Papers
Implementing Real-Time Image Resizing for Live Video Streaming on an Embedded System
Feb 2012
Live video streaming is a popular network application that involves real-time acquisition, transmission and display of a sequence of image frames. However, the large amount of data involved and...
Provided by The Second International Conference on Communications and Information Technology
-
White Papers
Internet Based Remote Monitoring and Control System
Mar 2012
With the growing popularity of internet and development of embedded technology, Web technology has been extended to the development and application of embedded system. It is the end of the network...
Provided by International Journal of Advances in Engineering & Technology (IJAET)
-
White Papers
Implementation and Control Different Multilevel Inverter Topologies for Current Waveform Improvement
Mar 2012
Multilevel converters offer advantages in terms of the output waveform quality due to the increased number of levels used in the output voltage modulation. This advantage is particularly true for...
Provided by International Journal of Advances in Engineering & Technology (IJAET)
-
White Papers
Improved Direct Torque Control of Induction Motor Using Fuzzy Logic Based Duty Ratio Controller
Nov 2011
Classical DTC has inherent disadvantages such as: problems during starting resulting from the null states, the compulsory requirement of torque and flux estimators, and torque ripple. In this...
Provided by International Journal of Advances in Engineering & Technology (IJAET)
-
White Papers
Design and Simulation of an Intelligent Traffic Control System
Nov 2011
This paper described the authors' research experiences of building an intelligent system to monitor and control road traffic in a Nigerian city. A hybrid methodology obtained by the crossing of...
Provided by International Journal of Advances in Engineering & Technology (IJAET)
-
White Papers
Multi-Protocol Gateway for Embedded Systems
Sep 2011
The embedded systems are highly optimized to perform limited duties of particular needs. They can be control, Process, medical, signal, and image processing applications. The challenges faced by...
Provided by International Journal of Advances in Engineering & Technology (IJAET)
-
White Papers
Equivalence Checking in Embedded Systems Design Verification
Oct 2010
In this paper the authors focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems. These models...
Provided by Cornell University
-
White Papers
Efficient Remote Profiling for Resource-Constrained Devices
Jan 2011
The widespread use of ubiquitous, mobile, and continuously-connected computing agents has inspired software developers to change the way they test, debug, and optimize software. Users now play an...
Provided by University of California
-
White Papers
Towards Understanding Architectural Tradeoffs in MEMS Closed-Loop Feedback Control
Oct 2007
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of microns. However, the...
Provided by Association for Computing Machinery
-
White Papers
Managing Security in FPGA-Based Embedded Systems
Dec 2008
FPGAs combine the programmability of processors with the performance of custom hardware. As they become more common in critical embedded systems, new techniques are necessary to manage security in...
Provided by University of California
-
White Papers
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems
Oct 2008
Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements. In particular, the...
Provided by University of California
-
White Papers
A Computational Model to Disentangle Semantic Information Embedded in Word Association Norms
Dec 2008
Understanding the structure of semantic knowledge is an open challenge of fundamental importance in cognitive science. Along the most powerful computational probabilistic approaches to this...
Provided by Cornell University
-
White Papers
Statistical Analysis of Second Order Differential Power Analysis
Dec 2010
Second Order Differential Power Analysis (2ODPA) is a powerful side channel attack that allows an attacker to bypass the widely used masking countermeasure. To thwart 2ODPA, higher order masking...
Provided by University of Luxembourg
-
White Papers
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
May 2009
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this context is to...
Provided by TECHNICAL UNIVERSITY OF MUNICH
-
White Papers
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems With Finiteness
Oct 2009
The complexity of distributed real-time systems is growing rapidly; model-based development tools are used to accelerate the development process and increase the quality of the produced code. In...
Provided by TECHNICAL UNIVERSITY OF MUNICH
-
White Papers
Tunable and Energy Efficient Bus Encoding Techniques
Aug 2009
Off-Chip buses constitute a significant portion of the total system power in embedded systems. Many research works have focused on reducing power consumption in the off-chip buses. While numerous...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Power Optimized Programmable Embedded Controller
Jul 2010
Now days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functionality....
Provided by Sipnas college of Engineering & Technology
-
White Papers
Optimized Image Steganalysis Through Feature Selection Using MBEGA
Jul 2010
Feature based steganalysis, an emerging branch in information forensics, aims at identifying the presence of a covert communication by employing the statistical features of the cover and stego...
Provided by Thiagarajar College of Engineering
-
White Papers
Dynamic Focusing of Awareness in Fuzzy Control Systems
Apr 2011
Adaptive fuzzy logic control systems with Gaussian membership functions are described. A systematic simulation study of 'Dynamic focusing of awareness' in fuzzy logic control systems is provided....
Provided by University of Texas
-
White Papers
A Generic Model of Contracts for Embedded Systems
Jun 2007
The authors present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "Speculative...
Provided by INRIA
-
White Papers
Attacking and Defending Networked Embedded Devices
Aug 2007
Currently, work on malware attack and defense focuses primarily on PCs. However, as lightweight computing devices with embedded operating systems become more ubiquitous, they present a new and...
Provided by Dartmouth College
-
White Papers
SMT-Based BoundedModel Checking for Embedded ANSI-C Software
Jul 2009
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the...
Provided by University of Southampton
-
White Papers
Model Based System Engineering Approach of a Lightweight Embedded TCP/IP
Apr 2011
The use of embedded software is growing very rapidly. Accessing the internet is a necessary service which has large range of applications in many fields. The Internet is based on TCP/IP which is a...
Provided by Mansoura University
-
White Papers
A Novel Embedded Statistical Scheduler for Realising High System-QoS
Dec 2010
Development of schedulers for real-time embedded systems is an emerging area of research as it addresses timely scheduling issues like co-operative scheduling, pre-emptive scheduling, micro-kernel...
Provided by Haldia Institute of Technology
-
White Papers
Harnessing Parallelism in Multicore Clusters With the All-Pairs, Wavefront, and Make Flow Abstractions
Nov 2009
Both distributed systems and multicore systems are difficult programming environments. Although the expert programmer may be able to carefully tune these systems to achieve high performance, the...
Provided by University of Notre Dame
-
White Papers
Complex Instruction and Software Library Mapping for Embedded Software Using Symbolic Algebra
Jan 2011
With growing demand for embedded multimedia applications, time to market of embedded software has become a crucial issue. As a result, embedded software designers often use libraries that have...
Provided by Stanford University
-
White Papers
Energy Efficient Design of Battery Powered Embedded Systems
Sep 2009
Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. The authors present a modular approach for enhancing instruction level simulators with...
Provided by UC Regents
-
White Papers
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems
Sep 2009
This paper presents a methodology for cycle-accurate simulation of energy dissipation in embedded systems. The ARM Ltd instruction-level cycle-accurate simulator is extended with energy models for...
Provided by Stanford University
-
White Papers
Integrated Code and Data Placement in Two-Dimensional Mesh Based Chip Multiprocessors
Jul 2008
As transistor sizes continue to shrink and the number of transistors per chip keeps increasing, Chip MultiProcessors (CMPs) are becoming a promising alternative to remain on the current...
Provided by Pennsylvania State University
-
White Papers
SPM Management Using Markov Chain Based Data Access Prediction
Jul 2008
Leveraging the power of ScratchPad Memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular accesses like scalar...
Provided by Syracuse University
-
White Papers
Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time and Embedded Systems
Aug 2009
Distributed Real-time and Embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools and techniques...
Provided by Washington University in St. Louis
-
White Papers
Optimized Test Scheduling With Reduced Wrapper Cell for Embedded Core Testing
Mar 2011
The increasing Design for Test (DfT) area overhead and potential performance degradation is caused due to wrapping all the embedded cores for modular System-on-Chip (SoC) testing. This paper...
Provided by JATIT
-
White Papers
Guest Editors' Introduction: Security and Trust in Embedded-Systems Design
Nov 2007
SECURITY AND TRUST have become important considerations in the design of virtually all modern embedded systems, such as mobile phones, multimedia players, game consoles, automotive electronics,...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Slicing Up a Perfect Hardware Masking Scheme
Jul 2008
Masking is a side-channel countermeasure that randomizes side-channel leakage, such as the power dissipation of a circuit. Masking is only effective on the condition that the internal random mask...
Provided by Virginia Polytechnic Institute and State University
-
White Papers
Turning Liabilities Into Assets: Exploiting Deep Submicron CMOS Technology to Design Secure Embedded Circuits
Oct 2007
This paper explores an unexpected link between system-level security considerations and deep-submicron CMOS circuits. Many deep-submicron effects including increased leakage power, process...
Provided by Virginia Tech
-
White Papers
Side-Channel Leakage in Masked Circuits Caused by Higher-Order Circuit Effects
Jun 2009
Hardware masking is a well-known countermeasure against Side-Channel Attacks (SCA). Like many other countermeasures, the side-channel resistance of masked circuits is susceptible to low-level...
Provided by Springer Science+Business Media
-
White Papers
Demand Code Paging for NAND Flash in MMU-Less Embedded Systems
Dec 2010
NAND flash is preferred for code and data storage in embedded devices due to its high density and low cost. However, NAND flash requires code to be copied to main memory for execution. In...
Provided by University of Pittsburgh
-
White Papers
Characterizing and Modeling User Activity on Smartphones: Summary
Jun 2010
In this paper, the authors present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. The goal is to study the high-level...
Provided by Association for Computing Machinery
-
White Papers
Ruler: High-Speed Packet Matching and Rewriting on NPUs
Dec 2007
Programming specialized Network Processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide most of the...
Provided by Association for Computing Machinery
-
White Papers
On Optimal Priority Assignment for Response Time Analysis of Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Hard Real-Time Systems
Apr 2010
This paper investigates the problem of optimal priority assignment in multiprocessor real-time systems using global fixed task-priority pre-emptive scheduling. Previous work in this area showed...
Provided by University of York
-
White Papers
FPZL Schedulability Analysis
Jun 2010
This paper presents the FPZL scheduling algorithm for multiprocessor real-time systems. FPZL is similar to global fixed priority pre-emptive scheduling; however, whenever a task reaches a state of...
Provided by University of York
-
White Papers
Sensitivity Analysis for Real-Time Systems
Mar 2009
The correctness of a real-time system depends on not only the running results but also on the time at which results are produced. A hard real-time system is required to complete the operations...
Provided by University of York
-
White Papers
Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems
May 2009
This paper addresses the problem of priority assignment in multiprocessor real-time systems using global fixed task-priority pre-emptive scheduling. In this paper, the authors prove that Audsley's...
Provided by University of York
-
White Papers
Towards Bandwidth Optimal Temporal Partitioning
Aug 2009
In real-time systems the available processing time is partitioned in order to enforce separation of concerns of concurrent application components. This is a necessary step to prevent possible side...
Provided by University of York
-
White Papers
A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems
Nov 2009
This survey covers hard real-time scheduling algorithms and schedulability analysis techniques for homogeneous multiprocessor systems. It reviews the key results in this field from its origins in...
Provided by University of York
-
White Papers
Schedulability Analysis for Real-Time Systems With EDF Scheduling
Feb 2008
Real-time scheduling is the theoretical basis of real-time systems engineering. Earliest Deadline First (EDF) is an optimal scheduling algorithm for uniprocessor real-time systems. The existing...
Provided by University of York
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
