This website uses cookies to ensure you have the best experience. Learn more

Runtime Instrumentation Of System C Essay

1654 words - 7 pages

1 Problem Statement and related work 1.1 Solar Orbiter Mission
Solar Orbiter [10] is a planned Sun-observing satellite, under development by ESA and is scheduled to be launched in January 2017 as baseline. At its closest point, the spacecraft will be closer to the Sun than any previous spacecraft, almost one-third of the Earth’s distance from the Sun. Because of the proximity of the Sun, the spacecraft must withstand powerful bursts of atomic particles coming from the solar atmosphere. From an on-board software designer perspective, it is essential to look out for permanent soft errors resulting from latch-up failures in SDRAM/EEPROM memories. The Space Research Group (SRG) of the University ...view middle of the document...

The classic approach for developing this kind of software has been to design the hardware, make a physical prototype, write the code, and then integrate the hardware and software. This methodology is nowadays too slow and calls for an alternative to the traditional software-after-hardware design flow in order to get started with software development and testing before the hardware is ready. To shortcut these issues the SRG has developed Leon2ViP, a LEON2 virtual platform with fault-injection capabilities, which has been built around SystemC/TLM2 interfaces given previous experiences with LEON3 systems [5]. The overall ICU hardware/software co-design is described in [30].
A key point of the proposed framework is that it enables the work of the design and verification teams to be decoupled. As a design principle, TLM2 code that implements system components like Instruction Set Simulators, memory modules or SpaceWire network interfaces should contain just functional code in order to emulate the behaviour of the component. All fault injection code employed to emulate memory stuck-at faults must be applied in TLM2 transaction interfaces and not embedded in the models code. This leads to the necessity of intercept TLM2 calls to the memory modules in order corrupt data read or written from/to memory or peripherals.

The interception library presented in this work is not intended to validate the Leon2ViP virtual platform itself. In fact, the library is part of the virtual platform and has been developed to help in the ICU boot software development and testing of the basic recovery mechanisms in those cases when nominal boot sequence is not possible. It has been also used in the co-design of the SpaceWire core used for communications from/to the spacecraft.
Although the interception library has been developed specifically for the Leon2ViP virtual platform, it can used as a separate instrument in order to insert wrappers in TLM2 designs. What these wrappers are used for is up to the library user. In section 4, shows an example of how the wrapping library has been used to insert a fault injection wrapper in order to simulate stuck-at zero faults in memory access. The goal is to verify the correctness, according to the specifications of the software that runs on the virtual platform.
1.2 Paper contribution
This paper presents the results of attempting to provide a generic framework that provides dynamic binary instrumentation to TLM2 models. The approach is based on the mechanism used by C++ to implement late binding in virtual method calls. Our targeted application is the Leon2ViP virtual platform.
1.
2.
1.3
To our knowledge, this is the first library using C++ virtual table hooking as dynamic binary instru- mentation technique in order to intercept TLM2 socket primitives. The basic idea was introduced in [31] and in order to to validate the approach a few code snippets specifically tailored for Microsoft VisualC++ compiler was given. This work presents a...

Find Another Essay On Runtime instrumentation of SystemC

Revolutionary Work of Art Essay

1890 words - 8 pages Walter Benjamin emphasizes in his essay, “The Work of Art in the Age of its Technological Reproducibility” that technology used to make an artwork has changed the way it was received, and its “aura”. Aura represents the originality and authenticity of a work of art that has not been reproduced. The Sistine Chapel in the Vatican is an example of a work that has been and truly a beacon of art. It has brought a benefit and enlightenment to the art

Enlightenment Thought in New Zealand Schools

1594 words - 6 pages In this essay I will be looking at how the political and intellectual ideas of the enlightenment have shaped New Zealand Education. I will also be discussing the perennial tension of local control versus central control of education, and how this has been affected by the political and intellectual ideas of the enlightenment. The enlightenment was an intellectual movement, which beginnings of were marked by the Glorious Revolution in Britain

Psychological Egoism Theory

2240 words - 9 pages The theory of psychological egoism is indeed plausible. The meaning of plausible in the context of this paper refers to the validity or the conceivability of the theory in question, to explain the nature and motivation of human behavior (Hinman, 2007). Human actions are motivated by the satisfaction obtained after completing a task that they are involved in. For example, Mother Teresa was satisfied by her benevolent actions and

How Celtic Folkore has Influenced My Family

1587 words - 6 pages Every family has a unique background that influences the way they live and interact with other people. My parents, who emigrated from Ireland to the States with my three brothers in 1989, brought over their own Celtic folklore and traditions that have helped shaped the way our family operates and lives. One aspect of folklore that has helped shape my family dynamic is the Celtic cross—both its background and what role it has played in our lives

Julia Margaret Cameron

1406 words - 6 pages At a time when women were looked upon as being homemakers, wives, mothers and such the late 1850's presented a change in pace for one woman in specific. Photography was discovered in 1826 and soon after the phenomenon of photography was being experimented with and in turn brought new and different ways of photo taking not only as documenting real time, but also conceptualizing a scene in which an image would be taken. Julia Margaret Cameron will

Evaluation of School Improvement

1403 words - 6 pages climate of the organization. Dr. Hunter indicated the learning environment should be positive, inviting, friendly, clean, and safe. Visitors should feel welcomed as they enter the school building. Dr. Hunter noted positive learning environment celebrates the diversity of the school population. The positive learning environment reflects the culture, belief, and values of the community, which is woven into the fabric of the school curriculum

Case Study: The Benefits of Animal Testing

1757 words - 7 pages Nine year old Amy has already had a rough start in life. She was born with an abnormal heart that hinders her everyday activities. Amy is unable to keep up with kids her own age because she often tires out easily. As a consequence, she has very little friends and is often alone. Amy is forced to take different medications everyday just to survive. Amy’s life consists of medicine, doctors, and constant hospital visits. However, Amy is due for a

Myth and Magic: Realism in "One Hundred Years of Solitude"

1531 words - 6 pages “He enjoyed his grandmother's unique way of telling stories. No matter how fantastic or improbable her statements, she always delivered them as if they were the irrefutable truth” (Wikipedia, 2011). Experiences are particular instances of one personally encountering or undergoing something and in these moments of time life changes for the best or the worst and memories are formed. These recollections such as riding your first bicycle, going to

Adiponectin: a Novel Indicator of Malnutrition and Inflammation in Hemodialysis Patients

2384 words - 10 pages Objective Protein-Energy malnutrition (PEM) and inflammation are common and overlapping conditions in hemodialysis patients which are associated with increased risk of morbidity and mortality. Adiponectin is an adipocytokine which is exclusively produced by adipose tissue. Few studies in hemodialysis patients have demonstrated that serum levels of adiponectin were significantly higher in malnourished patients compared to well-nourished ones. The

The Congo Free State: A Legacy of Apathy, Exploitation and Brutality

2298 words - 9 pages brutally exploited the inhabitants of the Congo, while at the same time robbed Congo of wealth, as the rubber was “sold” to the Europeans at prices far below what the rubber was actually worth. Only when others, specifically the British and the Americans, revealed the horrible conditions of the Congo, did the Belgian government reluctantly take over control of Congo, but the damage was done. Scholars, such as Martin Meredith, state that Leopold

Selective Exposition in The Lottery, by Shirley Jackson

1073 words - 4 pages Usually when someone hears the word “lottery” the first thing that comes to mind is a large sum of cash that people compete against highly impractical odds to win. Shirley Jackson’s story The Lottery might imply a similar conception based on the title alone, but the story is filled with unknowns never revealing exactly when and where the story takes place, or why the lottery exists; even what the lottery is isn’t revealed until the very end. Yet

Similar Essays

Java Dynamic Race Detector Essay

3535 words - 15 pages & Interpretation of Results 4. Conclusions and Future Work Appendices Appendix A: Requirements Specification Document 1. Introduction 2. Requirements 2.1. Requirement 1. Usage 2.2. Requirement 2. Algorithm 2.3. Requirement 3. Instrumentation 2.3. Requirement 4. Output 3. Use Cases 3.1 Use Case: Configuring JDRD 3.2 Use Case: Run JDRD as an Agent 3.3 Use Case: Modify and test a jar file with JDRD 4.1

Red Hat Linux Vs. Windows 2000

5256 words - 21 pages separate components of a path, and Windows uses a backslash, you can determine these characters at runtime via the file.separator system property. A File object can represent either a directory name or a file name. The File class has methods for listing the contents of a directory, deleting and renaming files, requesting file attributes such as size, time last modified, and a user's read and write permissions, and for navigating directories. Below

When The Bubble Burst Essay

1539 words - 6 pages By the time I arrived state side from my second tour in the Middle East the housing bubble had already burst. I noticed a drastic change in the way that many of my friends and family were living. Several of my friends that worked in real estate had sold their boats and seconds houses. My own stock portfolio had lost a third of its value. My sister and her husband had defaulted on their home mortgage leaving them scrambling for a place to live. I

Phase Diagram Essay

4456 words - 18 pages Introduction: Chemical equilibrium is a crucial topic in Chemistry. To represent and model equilibrium, the thermodynamic concept of Free energy is usually used. For a multi-component system the Gibbs free energy is a function of Pressure, Temperature and quantity (mass, moles) of each component. If one of these parameters is changed, a state change to a more energetically favorable state will occur. This state has the lowest free energy