NDLI: Introspection-Based Verification and Validation

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

2014 IEEE International Conference on Space Mission Challenges for Information Technology

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology

Table of Contents

Message from the General Chairs

Welcome from the Steering Committee

Message from IEEE Computer Society Sponsors

An Exploration of Tiled Architectures for Space Applications

Time and Space Partitioning in Spacecraft Avionics

The Lunar Laser Communications Demonstration (LLCD)

Application of the Concatenation of Reed Solomon and Luby Transform Codes in Deep Communications

The Deep Impact Network Experiment Operations Center Monitor and Control System

Integrating Software Technologies in RAXEM2 - AI Meets Information Technology

Web 2.0 for Ground Resource Allocation

SKEYP: AI Applied to SOHO Keyhole Operations

A Workflow Model for Earth Observation Sensor Webs

Viewpoint-Based Test Analysis for Dependable Onboard Flight Software

Model Based Analysis and Test Generation for Flight Software

A Visual Brain Chip Based on Selective Attention for Robot Vision Application

Frequency Modulation Based Vibrotactile Device for Teleoperation

A Path Planning System based on 3D Occlusion Detection for Lunar Exploration Rovers

Prototype Implementation of a Goal-Based Software Health Management Service

Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning

Introspection-Based Verification and Validation

Motor Activity-Perception Based Approach for Improving Teleoperation Systems

An Autonomous System for the Locomotion of a Hexapod Exploration Robot

A Practical Comparison of Motion Planning Techniques for Robotic Legs in Environments with Obstacles

A Reusable Process Control System Framework for the Orbiting Carbon Observatory and NPP Sounder PEATE Missions

A Case for Database Filesystems

A Functional Implementation of the Asynchronous Message Service

Enhancing Collaboration among NASA Engineers through a Knowledge Sharing System

The MECA Project - Ontology-Based Data Portability for Space Missions

A Graphical Environment for the Semantic Validation of a Plan Execution Language

Automatic Extraction of Planetary Image Features

Extensible Simulation of Planets and Comets

Patterned Growth in Extreme Environments

Dshell++: A Component Based, Reusable Space System Simulation Framework

Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation

Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL

Automated Targeting for the MER Rovers

Autonomous Planning and Execution for a Future Titan Aerobot

Rapid Prototyping of Planning & Scheduling Tools

Integrated Information Architectures for Space Missions

Knowledge Management Guided by Economic Valuation Models

Earned Value Management Software Projects

Cost Reduction - Buzzwords and Their Real Use: Mission Families, Mission Planning, Mission Automation and Standardization

Increasing the Efficiency of Next-Generation Space Operations by Exploiting Predictability

Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software

A Fault-Tolerant Middleware Switch for Space Applications

Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber Using a Parity Space Approach

A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis

Continuing to Improve Telemetry Data Accessibility

Sequential Principal Component Analysis - A Hardware-Implementable Transform for Image Compression

The Mission Planning Lab: A Visualization and Analysis Tool

Policy-Based Design of Human-Machine Collaboration in Manned Space Missions

A Combinatorial Test Suite Generator for Gray-Box Testing

Generating Code Review Documentation for Auto-Generated Mission-Critical Software

Improving the Accuracy of Space Mission Software Anomaly Frequency Estimates

Publisher's Information

2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06)

Introspection-Based Verification and Validation

Content Provider	IEEE Xplore Digital Library
Author	Zima, H.P. James, M.L.
Copyright Year	2009
Abstract	Future missions of deep-space exploration will require an on-board computational capability that can support autonomy and enhanced science processing. The integration of emerging commodity multi-core technology into space-borne systems can provide the required performance; however, protecting such systems against faults has become a critical research issue. In this paper we present an approach to fault tolerance based on a newly developed introspection framework that supports runtime monitoring of program execution and feedback-oriented recovery. We discuss the relationship of this approach to traditional Verification and Validation (V&V) and propose methods for the automatic generation of assertions from static and dynamic analysis.
Starting Page	132
Ending Page	139
File Size	209328
Page Count	8
File Format	PDF
ISBN	9780769536378
DOI	10.1109/SMC-IT.2009.23
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-07-19
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Space vehicles Single event transient Fault tolerance Space technology Communication system control Computer architecture Control systems CMOS technology Application software Protection space-borne computing fault tolerance multi-core systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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