NDLI: Segment protection for embedded systems using run-time checks

Please wait, while we are loading the content...

Exploiting pipelining to relax register-file port constraints of instruction-set extensions

Anomalous path detection with hardware support

Compilation techniques for energy reduction in horizontally partitioned cache architectures

Optimizing stream programs using linear state space analysis

Architectural support for real-time task scheduling in SMT processors

The microarchitecture of FPGA-based soft processors

A second-generation sensor network processor with application-driven memory optimizations and out-of-order execution

Balancing register pressure and context-switching delays in ASTI systems

How compilers and tools differ for embedded systems

Exploring the design space of LUT-based transparent accelerators

Hardware support for code integrity in embedded processors

A post-compilation register reassignment technique for improving hamming distance code compression

Compiler-directed proactive power management for networks

Intra-task scenario-aware voltage scheduling

Virtual multiprocessor: an analyzable, high-performance architecture for real-time computing

A dual-processor solution for the MAC layer of a software defined radio terminal

Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers

Automating custom-precision function evaluation for embedded processors

Segment protection for embedded systems using run-time checks

Verifiable annotations for embedded java environments

Equivalence checking of arithmetic expressions using fast evaluation

Energy aware kernel for hard real-time systems

An Esterel processor with full preemption support and its worst case reaction time analysis

Instruction set extensions for software defined radio on a multithreaded processor

Micro embedded monitoring for security in application specific instruction-set processors

Energy management for commodity short-bit-width microcontrollers

SECA: security-enhanced communication architecture

Memory allocation for embedded systems with a compile-time-unknown scratch-pad size

Single appearance schedule with dynamic loop count for minimum data buffer from synchronous dataflow graphs

MTSS: multi task stack sharing for embedded systems

Fast and fair: data-stream quality of service

Software-directed power-aware interconnection networks

Segment protection for embedded systems using run-time checks

Content Provider	ACM Digital Library
Author	Barua, Rajeev Middha, Bhuvan Simpson, Matthew
Abstract	The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to memory access violations, stemming from programmer error, whose results can be dangerous and catastrophic in safety-critical systems. The traditional method of testing embedded software before its deployment is an insufficient means of detecting and debugging all software errors, and the reliance on this practice is a severe gamble when the reliable performance of the embedded device is critical. Additionally, the use of safe languages and programming semantic restrictions as prevention mechanisms is often infeasible when considering the adoptability and compatibility of these languages since most embedded applications are written in C and C++.This work improves system reliability by providing a completely automatic software technique for guaranteeing segment protection for embedded systems lacking virtual memory. This is done by inserting optimized run-time checks before memory accesses that detect segmentation violations in cases in which there would otherwise be no error, enabling remedial action before system failure or corruption. This feature is invaluable for safety-critical embedded systems. Other advantages of our method include its low overhead, lack of any programming language or semantic restrictions, and ease of implementation. Our compile-time analysis, known as intended segment analysis, is a uniquely structured analysis that allows for the realization of optimizations used to reduce the number of required run-time checks and foster our technique into a truly viable solution for providing segment protection in embedded systems lacking virtual memory.Our experimental results show that these optimizations are effective at reducing the performance overheads associated with providing software segment protection to low, and in many cases, negligible levels. For the eight evaluated embedded benchmarks, the average increase in run-time is 0.72%, the average increase in energy consumption is 0.44%, and the average increase in code size is 3.60%.
Starting Page	66
Ending Page	77
Page Count	12
File Format	PDF
ISBN	159593149X
DOI	10.1145/1086297.1086307
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2005-09-24
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Mpu Ewmbedded systems Mmu Segmentation violations Segment protection Virtual memory Safe languages Run-time checks Memory safety Reliability Compilers
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

ABSTRACT Segment Protection for Embedded Systems Using Run-time Checks

MemMON: run-time off-chip detection for memory access violation in embedded systems

Memory overflow protection for embedded systems using run-time checks, reuse and compression

A run-time detector for violated memory access in embedded systems

Memory overflow protection for embedded systems using run-time checks, reuse, and compression

Memory Overflow Protection for Embedded Systems using Run-time Checks, Reuse and Compression (2004)

Memory safety without runtime checks or garbage collection

A hardware/software approach to detect memory corruptions in embedded systems

Memory overflow protection for embedded systems using run-time checks, reuse and compression (2004)

Segment protection for embedded systems using run-time checks

Similar Documents

ABSTRACT Segment Protection for Embedded Systems Using Run-time Checks

MemMON: run-time off-chip detection for memory access violation in embedded systems

Memory overflow protection for embedded systems using run-time checks, reuse and compression

A run-time detector for violated memory access in embedded systems

Memory overflow protection for embedded systems using run-time checks, reuse, and compression

Memory Overflow Protection for Embedded Systems using Run-time Checks, Reuse and Compression (2004)

Memory safety without runtime checks or garbage collection

A hardware/software approach to detect memory corruptions in embedded systems

Memory overflow protection for embedded systems using run-time checks, reuse and compression (2004)

Segment protection for embedded systems using run-time checks