C. Pasareanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, Harmon Nine, S. Neema
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.
{"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}
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.
{"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}
P. Boston, Jane Curnutt, E. Gomez, K. Schubert, Brian Strader
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.
{"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}
A. Cesta, S. Fratini, A. Donati, H. Oliveira, N. Policella
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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).
{"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}
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.
{"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}
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：