Results 1 - 10
of
311
Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking
- In Proceedings of the 3rd ACM SIGSOFT Workshop on Formal Methods in Software Practice
"... While it is becoming more common to see model checking applied to software requirements specifications, it is seldom applied to software implementations. The Automated Software Engineering group at NASA Ames is currently investigating the use of model checking for actual source code, with the eventu ..."
Abstract
-
Cited by 24 (4 self)
- Add to MetaCart
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
Interclass Testing of Object Oriented Software
- IN PROC. OF THE IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS
, 2002
"... 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 of derivi ..."
Abstract
-
Cited by 13 (0 self)
- Add to MetaCart
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
An Approach to Model-Driven Architecture Applied to Space Real-Time Software
"... Real-time systems are commonplace in satellites. In this system type, software has become a crucial factor to satellite’s success projects because its complexity quickly increases, along with cost. Some factors that contribute to increase complexity of software are: it interacts with different kind ..."
Abstract
- Add to MetaCart
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
European Space Agency
"... This paper presents a novel methodology for mod-eling partially dynamic reconfigurable hardware at transaction-level. We cover the lack of tools and mech-anisms for the design of reconfigurable logic at system-level and for the exploration of the different configu-rations of such architectures. The ..."
Abstract
- Add to MetaCart
. 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
European Space Agency
"... Memory-intensive implementations often require access to an external, off-chip memory which can substantially slow down an FPGA accelerator due to memory bandwidth lim-itations. Buffering frequently reused data on chip is a com-mon approach to address this problem and the optimization of the cache a ..."
Abstract
- Add to MetaCart
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
Experiences in adopting real-time java for flight-like software
- OTM 2003 Workshops
, 2003
"... 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 of perfor ..."
Abstract
-
Cited by 12 (0 self)
- Add to MetaCart
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
EcosimPro and its EL Object-Oriented Modeling Language
"... 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 that the use ..."
Abstract
- Add to MetaCart
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
DEVELOPMENT OF MULTI-SATELLITE IMAGE DATA RECEIVING SOFTWARE USING OBJECT-ORIENTED METHODOLOGY
"... 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 of ..."
Abstract
- Add to MetaCart
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
European Space Agency, ESA-Estec
"... Theoretical analyses supported by simulation and test results indicate that GPS-based attitude determination can yield accuracy of 0.5 to 1 deg. The limiting factor in the achievable accuracy is the multipath error, which arises when the GPS signal is reflected or diffracted by surfaces around the a ..."
Abstract
- Add to MetaCart
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
Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions
"... 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 ..."
Abstract
- Add to MetaCart
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
Results 1 - 10
of
311