发布求助
文献互助 智能选刊 最新文献

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology最新文献

筛选
英文 中文
Model Based Analysis and Test Generation for Flight Software 基于模型的飞行软件分析与测试生成
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.18
C. Pasareanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, Harmon Nine, S. Neema
{"title":"Model Based Analysis and Test Generation for Flight Software","authors":"C. Pasareanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, Harmon Nine, S. Neema","doi":"10.1109/SMC-IT.2009.18","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.18","url":null,"abstract":"We describe a framework for model-based analysis and test case generation in the context of a heterogeneous model-based development paradigm that uses and combines MathWorks and UML 2.0 models and the associated code generation tools. This paradigm poses novel challenges to analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common intermediate representation for different modeling formalisms and leverages and extends model checking and symbolic execution tools for model analysis and test case generation, respectively. We discuss the application of our framework to software models for a NASA flight mission.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129500415","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 39
Earned Value Management Software Projects 挣值管理软件项目
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.42
Robert A. Hanna
{"title":"Earned Value Management Software Projects","authors":"Robert A. Hanna","doi":"10.1109/SMC-IT.2009.42","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.42","url":null,"abstract":"JPL has been attempting to apply EVM techniques for the last 15 years with mixed success, especially when applied to software tasks. One of the main causes is that software presents particular challenges that were not considered during the genesis of EVM. A small number of tasks have been able to use EVM effectively and derive great benefits. This paper discusses challenges specific to software management and how they can be successfully addressed. Specifically, it details lessons learned from the $28 million dollar Next Generation Navigation Software Project that replaced NASA’s deep space navigation software for operations. The project was able to successfully use EVM techniques during a four year period, producing 12 releases on their promised delivery dates and projects actual costs that were within 0.3% of the planned budget (under), in contrast to performance before the techniques were put into practice.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121517070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Patterned Growth in Extreme Environments 极端环境下的模式生长
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.34
P. Boston, Jane Curnutt, E. Gomez, K. Schubert, Brian Strader
{"title":"Patterned Growth in Extreme Environments","authors":"P. Boston, Jane Curnutt, E. Gomez, K. Schubert, Brian Strader","doi":"10.1109/SMC-IT.2009.34","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.34","url":null,"abstract":"Abstract—In the search for life on Mars and other extraterrestrial bodies, one of the biggest problems facing us is, how do we recognize life or the remains of ancient life when we find it? We will need to recognize residual patterns left by life. One approach to recognizing these kinds of patterns is look at patterns created and left by life in extreme environments here on Earth.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133360980","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Rapid Prototyping of Planning & Scheduling Tools 快速原型的计划和调度工具
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.40
A. Cesta, S. Fratini, A. Donati, H. Oliveira, N. Policella
{"title":"Rapid Prototyping of Planning & Scheduling Tools","authors":"A. Cesta, S. Fratini, A. Donati, H. Oliveira, N. Policella","doi":"10.1109/SMC-IT.2009.40","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.40","url":null,"abstract":"The Advanced Planning and Scheduling Initiative, or APSI, is an ESA programme to design and implement an Artificial Intelligence (AI) software infrastructure for planning and scheduling that can generically support different types and classes of space mission operations. The goal of the APSI is twofold: (1)~creating a software framework to improve the cost-effectiveness and flexibility of mission planning support tool development; (2)~bridging the gap between AI planning and scheduling technology and the world of space mission planning. A key aspect of the success of this project is the presence of a flexible timeline representation module that allows to exploit alternatives in the modeling of mission features. This paper shows an example of such a flexibility by using a real problem in the space realm - the HERSCHEL Science Long Term Planning process.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133457487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Dshell++: A Component Based, Reusable Space System Simulation Framework 基于组件的可重用空间系统仿真框架
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.35
C. Lim, Abhinandan Jain
{"title":"Dshell++: A Component Based, Reusable Space System Simulation Framework","authors":"C. Lim, Abhinandan Jain","doi":"10.1109/SMC-IT.2009.35","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.35","url":null,"abstract":"This paper describes the multi-mission Dshell++ simulation framework for high fidelity, physics-based simulation of spacecraft, robotic manipulation and mobility systems. Dshell++ is a C++/Python library which uses modern script-driven object-oriented techniques to allow component reuse and a dynamic run-time interface for complex, high-fidelity simulation of spacecraft and robotic systems. The goal of the Dshell++ architecture is to manage the inherent complexity of physics-based simulations while supporting component model reuse across missions. The framework provides several features that support a large degree of simulation configurability and usability.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130896369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Integrated Information Architectures for Space Missions 空间任务集成信息体系结构
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.56
L. Hartman
{"title":"Integrated Information Architectures for Space Missions","authors":"L. Hartman","doi":"10.1109/SMC-IT.2009.56","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.56","url":null,"abstract":"Current information management solutions for space missions are heavily based on manual operations. An integrated information architecture that addresses challenges of mission development and operations can reduce this burden and allow people to maximize their contribution to the mission.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131381398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL 用ASSL对NASA旅行者任务的图像处理行为进行建模
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.37
Emil Vassev, M. Hinchey
{"title":"Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL","authors":"Emil Vassev, M. Hinchey","doi":"10.1109/SMC-IT.2009.37","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.37","url":null,"abstract":"NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. This paper presents initial results of long-term research targeted at the design and implementation of prototype models for future Voyager-like missions that rely on principles of autonomic computing. Here, we employ the Autonomic System Specification Language (ASSL) to build a formal model and to generate a prototype for the image-processing behavior of the NASA Voyager Mission. This helps to validate existing features and perform experiments through simulation. Moreover, this prototype lays the basis for future experiments whereby autonomic features are added in a stepwise manner.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124139595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
The Mission Planning Lab: A Visualization and Analysis Tool 任务规划实验室:一个可视化和分析工具
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.51
Sarah C. Daugherty, Benjamin W. Cervantes
{"title":"The Mission Planning Lab: A Visualization and Analysis Tool","authors":"Sarah C. Daugherty, Benjamin W. Cervantes","doi":"10.1109/SMC-IT.2009.51","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.51","url":null,"abstract":"Simulation and visualization are powerful decision making tools that are time-saving and cost-effective. Space missions pose testing and evaluation challenges that can be overcome through modeling, simulation, and visualization of mission parameters. The National Aeronautics and Space Administration’s (NASA) Wallops Flight Facility (WFF) capitalizes on the benefits of modeling, simulation, and visualization tools through a project initiative called The Mission Planning Lab (MPL).","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128981100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Workflow Model for Earth Observation Sensor Webs 对地观测传感器网的工作流模型
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.60
R. Morris, J. Dungan, P. Votava
{"title":"A Workflow Model for Earth Observation Sensor Webs","authors":"R. Morris, J. Dungan, P. Votava","doi":"10.1109/SMC-IT.2009.60","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.60","url":null,"abstract":"An Earth science sensor web consists of a distributed collection of sensors, Earth science models, human scientists and information technologists, and data archives. The scientific use of the sensor web consists broadly of seeking to improve the understanding of natural processes occurring on the Earth’s surface or in the atmosphere. Sensor measurements serve to quantify aspects of these processes that allow Earth science models to make predictions of scientific and social value. The management problem for sensor webs considered here is the problem of reconfiguring the sensor web in order to answer new science questions. The notion of reconfiguration is used broadly here to describe a set of actions for retargeting sensors, querying databases for image data, or executing functions for analyzing acquired data. This paper describes a workflow model and architecture for a workflow management system for reconfiguring sensor webs.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124415293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software 嵌入式实时软件的可靠高效并发同步
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.45
D. Dechev, B. Stroustrup
{"title":"Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software","authors":"D. Dechev, B. Stroustrup","doi":"10.1109/SMC-IT.2009.45","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.45","url":null,"abstract":"The high degree of autonomy and increased complexity of future robotic spacecraft pose significant challenges in assuring their reliability and efficiency. To achieve fast and safe concurrent interactions in mission critical code, we survey the practical state-of-the-art nonblocking programming techniques. We study in detail two nonblocking approaches: (1) CAS-based algorithms and (2) Software Transactional Memory. We evaluate the strengths and weaknesses of each approach by applying each methodology for engineering the design and implementation of a nonblocking shared vector. Our study investigates how the application of nonblocking synchronization can help eliminate the problems of deadlock, livelock, and priority inversion and at the same time deliver a performance improvement in embedded real-time software.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114999200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信