立即注册

扫一扫,访问微社区

micropython-microbit 中文社区

查看: 422|回复: 0

MicroPython时事通讯第3期

    [复制链接]
  • TA的每日心情
    奋斗
    2019-3-28 11:17
  • 签到天数: 7 天

    [LV.3]偶尔看看II

    发表于 2018-7-18 11:28:00 | 显示全部楼层 |阅读模式

    马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

    您需要 登录 才可以下载或查看,没有帐号?立即注册

    x
    原文请见:https://forum.micropython.org/viewtopic.php?f=19&t=5007

    在第三期MicroPython时事通讯中,我们想向您介绍有关在空间应用中使用MicroPython的一些细节。

    太空资格和OBCP

    在过去一年左右的时间里,我们一直与一家名为Spacebel的比利时公司合作,帮助他们定制MicroPython作为机载控制程序(OBCP)引擎用于太空中使用。这是基于我们之前为欧洲航天局所做的工作,使MicroPython在运行在LEON系统上SPARC处理器中。

    OBCP是程序或脚本,即使在发射后也可以在航天器上动态加载和执行。它们可用于在任务期间改变或扩展航天器的功能。使用MicroPython作为OBCP引擎将使操作员能够在Python中编写这样的控制脚本,允许他们使用熟悉的语言编写富有表现力和简洁的代码。将MicroPython作为OBCP引擎集成的主要挑战之一是确保它在系统中完全隔离,并且如果出现问题,它不会对航天器系统的其他部分造成风险。这需要MicroPython软件的认证过程,以确保它适合飞行。

    资格认证需要对代码进行深度静态和动态分析,以建立正确的信任并证明它极不可能失败。对于任何复杂的软件,几乎不可能证明它是完美的并且始终表现正确(甚至定义这个概念都很难),因此努力遵循既定的工程原则,并尽可能严格地进行测试和检查并再次测试代码。作为使用Spacebel完成的工作的一部分,许多新测试都是针对MicroPython编写的,并且发现的错误已得到修复。绝大多数这些改进已经在主要的公共代码库中提供。核心运行时和虚拟机上的代码覆盖率(py /目录中的代码)现在超过99.2%,只有总共15540行中的大约125行还未涉及。

    Spacebel的工作于今年5月在航空航天会议的数据系统上公布。如果您有兴趣了解更多OBCP的详细信息以及MicroPython如何适应这张图片,那么请查看演示文稿并阅读论文

    我们非常兴奋MicroPython已经集成到OBCP空间系统中。除此之外,它意味着MicroPython对每个人来说都变得更加强健,并且表明它可以在关键系统中使用。它有可能在未来用于控制真实的太空任务!

    活动

    上周在德克萨斯州奥斯汀(美国)的SciPy期间,Roberto Colistete Jr.举办了MicroPython研讨会和Sprint,以吸引新开发人员为科学MicroPython模块做出贡献。

    墨尔本MicroPython聚会!墨尔本(澳大利亚)每月举行一次MicroPython聚会,您可以阅读相关博客:https://melbournemicropythonmeetup.github.io 。如果您在该地区,请务必前往。下次聚会定于7月25日举行。

    来自Damien和MicroPython团队。



    手机扫码浏览
    回复

    使用道具 举报

    游客
    回复
    您需要登录后才可以回帖 登录 | 立即注册

    关闭

    站长推荐上一条 /3 下一条

    Archiver|手机版|小黑屋|micropython-microbit 中文社区 ( 鄂ICP备17012469号 )

    GMT+8, 2019-4-19 16:47 , Processed in 0.123911 second(s), 21 queries .

    Powered by Discuz! X3.4

    © 2001-2013 Comsenz Inc.

    快速回复 返回顶部 返回列表