techniques to reduce the state-space of a real-time operating system kernel written in C++. We show how informal abstraction arguments could be formalized and improved upon within the framework of predicate abstraction, a technique based on abstract interpretation. We introduce some extensions to predicate

The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. This paper proposes a new technique for interclass testing, that is, the problem

Institute for Space Research (INPE) has been carrying out research on modeling and verifying real-time software, like a lot of other space agencies and research institutes. The main focus is to obtain a better balance between dependability, schedule, and cost. However, instead of creating one more brand

. The presented mecha-nisms have been implemented in ReSP, a transaction-level simulation platform especially targeted to multi-processor embedded architectures. In our methodology we allow the definition of the reconfigurable function-alities through scripted languages, therefore the switch-ing of any software

architecture introduces yet another complex de-sign space. This paper presents a high-level synthesis (HLS) design aid that generates parallel application-specific multi-scratchpad architectures including on-chip caches. Our pro-gram analysis identifies non-overlapping memory regions, supported by private

Ahtruct- This work involves developing representative mission-critical spacecraft software using the Real-Time Spec-ification for Java(RTSJ)[l]. Utilizing a real mission design, this work leverages the original flight code from NASA’s Deep Space l(DSl), which flew in 1998. However, instead

Abstract This paper introduce the modeling and simulation tool EcosimPro and the possibility in the new version 4 of using object orientation in its modeling language called EL (Ecosimpro Language ) which is the official language of The European Space Agency (ESA). Also shows the power

This paper covers the development of multi-satellite image data receiving software, which is a part of a remote sensing ground station. We applied modern software engi-neering techniques, object-oriented methodology, to the development process in order to achieve high portability and reliability

the antenna. This paper considers three multipath compensation techniques. All three techniques can be implemented in the GPS receiver software. Their effectiveness was verified on a GPS test facility consisting of a tilt table with two degrees of freedom supporting a baseline of 1 m in length with two

Abstract-When the task befalls you to devise a novel component-oriented approach for real-time embedded systems you first dutifully undertake a thorough scrutiny of the import and pitfalls of previous attempts. This is what we have done for the last couple of years, in the context of an initiative