首页> 外文学位 >文献详情
【6h】

An exploration of formal methods and tools applied to a small satellite software system.

机译:探索适用于小型卫星软件系统的正式方法和工具。

获取原文
获取原文并翻译 | 示例
¥30

摘要

Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in an unambiguous manner. The second tool is a graphical modeling language that allows a designer to create a model using traditional block diagram descriptions. These block diagrams can be translated to the formal descriptions using the layer created as part of this thesis work. The software of a small satellite, and the additions made to it as part of this thesis work, is also described. Approaches to modeling this software formally are discussed, as are the problems that were encountered that led to expansions of the formal description library to allow better system description.
机译:多年来,形式化系统建模一直是研究界关注的话题。对系统进行建模有助于工程师更好地理解它,并使他们能够检查系统的不同方面,以确保没有不希望的或意外的行为,并且可以按照设计的目的进行操作。本论文采用了两个现有的工具,这些工具被用来辅助航天器系统的设计,并创建了一个将它们连接在一起并允许它们一起使用的层。第一个工具是形式描述库,用于以明确的方式指定航天器的行为。第二个工具是图形建模语言,允许设计人员使用传统框图描述创建模型。使用本论文工作的一部分,可以将这些框图转换为形式描述。还描述了小型卫星的软件,以及作为本论文工作一部分而添加的软件。正式讨论了对该软件进行建模的方法,以及遇到的导致正式描述库扩展以允许更好的系统描述的问题。

著录项

  • 作者

    Grover, Russell J.;

  • 作者单位

    Utah State University.;

  • 授予单位 Utah State University.;
  • 学科 Engineering, Computer.Engineering, Aerospace.
  • 学位 M.S.
  • 年度 2010
  • 页码 134 p.
  • 总页数 134
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 ;
  • 原文服务方 国家工程技术数字图书馆
  • 关键词

    ;

相似文献

  • 外文文献
站内服务
  • 论文查重
  • 论文收录引证报告
  • 文档翻译
  • 文档转换
获取原文

联系方式:18141920177 (微信同号)

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号