2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology最新文献

Building a Safety Case for a Safety-Critical NASA Space Vehicle Software System 建立一个安全关键的NASA空间飞行器软件系统的安全案例

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.17

M. Feather, L. Markosian

引用次数: 12

A DTN-Based Multiple Access Fast Forward Service for the NASA Space Network NASA空间网络基于dtn的多址快进服务

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.19

D. Israel, Faith A. Davis, J. Marquart

引用次数: 4

Intelligent Systems Technologies for Human Space Exploration Mission Operations 用于人类空间探索任务操作的智能系统技术

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.12

Ernest E. Smith, D. Korsmeyer

引用次数: 5

Integrated Software and Sensor Health Management for Small Spacecraft 小型航天器集成软件与传感器健康管理

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.25

J. Schumann, O. Mengshoel, Timmy Mbaya

{"title":"Integrated Software and Sensor Health Management for Small Spacecraft","authors":"J. Schumann, O. Mengshoel, Timmy Mbaya","doi":"10.1109/SMC-IT.2011.25","DOIUrl":"https://doi.org/10.1109/SMC-IT.2011.25","url":null,"abstract":"Despite their size, small spacecraft have highly complex architectures with many sensors and computer-controlled actuators. At the same time, size, weight, and budget constraints often dictate that small spacecraft are designed as single-string systems, which means that there are no or few redundant systems. Thus, all components, including software, must operate as reliably. Faults, if present, must be detected as early as possible to enable (usually limited) forms of mitigation. Telemetry bandwidth for such spacecraft is usually very limited. Therefore, fault detection and diagnosis must be performed on-board. Further restrictions include low computational power and small memory. In this paper, we discuss the use of Bayesian networks (BNs) to monitor the health of on-board software and sensor systems, and to perform advanced on-board diagnostic reasoning. Advanced compilation techniques are used to obtain a compact SSHM (Software and Sensor Health Management) system with a powerful reasoning engine, which can run in an embedded software environment and is amenable to V&V. We successfully demonstrate our approach using an OSEK-compliant operating system kernel, and discuss in detail several nominal and fault scenarios for a small satellite simulation with a simple bang-bang controller.","PeriodicalId":403272,"journal":{"name":"2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114227328","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}

引用次数: 36

A Planning and Scheduling Service for the ULISSE Platform ULISSE平台的计划和调度服务

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.26

A. Cesta, S. Fratini, R. Rasconi, Andrea Orlandini

引用次数: 2

System-Software Co-Engineering: Dependability and Safety Perspective 系统-软件协同工程:可靠性和安全性的观点

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.16

Y. Yushtein, M. Bozzano, A. Cimatti, J. Katoen, V. Y. Nguyen, T. Noll, X. Olive, M. Roveri

引用次数: 13

NASA Technology Transfer System NASA技术转移系统

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1007/978-3-642-22732-5_7

D. Maluf, T. Okimura, M. Gurram

引用次数: 1

The Case for Software Health Management 软件健康管理案例

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.14

A. Srivastava, J. Schumann

{"title":"The Case for Software Health Management","authors":"A. Srivastava, J. Schumann","doi":"10.1109/SMC-IT.2011.14","DOIUrl":"https://doi.org/10.1109/SMC-IT.2011.14","url":null,"abstract":"Software Health Management (SWHM) is a new field that is concerned with the development of tools and technologies to enable automated detection, diagnosis, prediction, and mitigation of adverse events due to software anomalies. Significant effort has been expended in the last several decades in the development of verification and validation (VV) methods for software intensive systems, but it is becoming increasingly more apparent that this is not enough to guarantee that a complex software system meets all safety and reliability requirements. %Moreover, error handling techniques are usually concerned with the detection %and isolation of these faults when they occur. Modern software systems can exhibit a variety of failure modes which can go undetected in a verification and validation process. While standard techniques for error handling, fault detection and isolation can have significant benefits for many systems, it is becoming increasingly evident that new technologies and methods are necessary for the development of techniques to detect, diagnose, predict, and then mitigate the adverse events due to software that has {em already undergone} significant verification and validation procedures. These software faults often arise due to the interaction between the software and the operating environment. Unanticipated environmental changes lead to software anomalies that may have significant impact on the overall success of the mission. Because software is ubiquitous, it is not sufficient that errors are detected only after they occur. Rather, software must be instrumented and monitored for failures before they happen. This prognostic capability will yield safer and more dependable systems for the future. This paper addresses the motivation, needs, and requirements of software health management as a new discipline.","PeriodicalId":403272,"journal":{"name":"2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125380740","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}

引用次数: 31

Toward a CSP-Based Approach for Energy Management in Rovers 基于csp的漫游者能量管理方法研究

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.24

Daniel Díaz, M. R-Moreno, A. Cesta, A. Oddi, R. Rasconi

引用次数: 4

Software Productivity of Field Experiments Using the Mobile Agents Open Architecture with Workflow Interoperability 基于工作流互操作性的移动agent开放体系结构的现场实验软件生产力研究

2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Pub Date : 2011-08-02 DOI: 10.1109/SMC-IT.2011.10

W. Clancey, Michael Lowry, Robert A. Nado, M. Sierhuis

引用次数: 5