• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 311
Next 10 →

Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking

by Willem Visser, Seungjoon Park, John Penix - 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

by Vincenzo Martena, Alessandro Orso, Mauro Pezzè - 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

by Ro Gerlinger Romero, Mauricio Gonçalves, Vieira Ferreira
"... 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

by Giovanni Beltrame, Noordwijk The Nederlands, Luca Fossati, Donatella Sciuto
"... 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

by Felix Winterstein, Kermin Fleming, Hsin-jung Yang, Samuel Bayliss, George Constantinides
"... 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

by Edward G. Benowitz, Albert E Niessner - 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

by Alberto Jorrín César De Prada , Pedro Cobas
"... 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

by Wookhyun Choi, Dongseok Shin
"... 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

by Ro Pasetti, Luisella Giulicchi, Ro Pasetti, Luisella Giulicchi
"... 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

by Marco Panunzio , Tullio Vardanega
"... 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
Next 10 →
Results 1 - 10 of 311
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University