我说个火星探测器的来龙去脉吧

x
xiaoju
楼主 (未名空间)

这个问题的英文原文贴网上,就会搜到排行第一个stackexchange的讨论

上面讨论的是2010年jhu的一个讲座内容,内部提到火星探测器有350万行C,其中超过
100万行手写

有人关心非手写的那一部分是怎么生成的,有猜simulink的,有暗示DSL的,有猜xml用python转换的,答主从JPL直接得到的信息是
I do not work at JPL, so I cannot provide any detail that is not in the
video, with one exception. I've heard that the autogenerated C code is
written by Python scripts, and the amount of autocoding in a project varies greatly depending on who the FSW lead is.

基本上这两天,参与这个话题的所有人讲的都是这个帖子相关的东西,除了netghost一直没找到。。。

n
netghost

蠢货,我说得是flight software, nasa正式报告里面说的300K c/c++ code. 你最好把狗眼擦亮点。而不是见到一根救命稻草就开始窜。

【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
: 标 题: 我说个火星探测器的来龙去脉吧
: 发信站: BBS 未名空间站 (Tue May 19 20:28:49 2020, 美东)
:
: 这个问题的英文原文贴网上,就会搜到排行第一个stackexchange的讨论
:
: 上面讨论的是2010年jhu的一个讲座内容,内部提到火星探测器有350万行C,其中超过
: 100万行手写
:
: 有人关心非手写的那一部分是怎么生成的,有猜simulink的,有暗示DSL的,有猜xml用
: python转换的,答主从JPL直接得到的信息是
: I do not work at JPL, so I cannot provide any detail that is not in the
: video, with one exception. I've heard that the autogenerated C code is
: written by Python scripts, and the amount of autocoding in a project
varies
: greatly depending on who the FSW lead is.
:
: 基本上这两天,参与这个话题的所有人讲的都是这个帖子相关的东西,除了netghost一
: 直没找到。。。
:
: --
:
n
netghost

就拿你这个350万行,你的英文报告呢?
难道就是这么一个stack exchange 上面的回答?老子n年前就知道了。

还有,别他妈的扭扭捏捏的,把你的link贴全了:https://softwareengineering.stackexchange.com/questions/159637/what-is-the-
mars-
curiosity-rovers-software-built-in?noredirect=1&lq=1

里面只有两个地方说道python, 一个地方说的用来写test的,所以你想说明啥?python可以generate c test code?

另外一个人明确说自己不清楚,只是听来的。

Someone on Hacker News asked "Not sure what means that most of the C code is auto generated. From what?"

I'm not 100% sure, although there probably is a separate presentation in
that year or a different year that describes their auto-generation process. I know that it was a popular topic in general at the FSW-11 conference.

恩,这事情到你小菊花这里,就变成了公开英文报告飞控软件都是python生成的了,你还能更不要脸一些吗?

【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
: 标 题: 我说个火星探测器的来龙去脉吧
: 发信站: BBS 未名空间站 (Tue May 19 20:28:49 2020, 美东)
:
: 这个问题的英文原文贴网上,就会搜到排行第一个stackexchange的讨论
:
: 上面讨论的是2010年jhu的一个讲座内容,内部提到火星探测器有350万行C,其中超过
: 100万行手写
:
: 有人关心非手写的那一部分是怎么生成的,有猜simulink的,有暗示DSL的,有猜xml用
: python转换的,答主从JPL直接得到的信息是
: I do not work at JPL, so I cannot provide any detail that is not in the
: video, with one exception. I've heard that the autogenerated C code is
: written by Python scripts, and the amount of autocoding in a project
varies
: greatly depending on who the FSW lead is.
:
: 基本上这两天,参与这个话题的所有人讲的都是这个帖子相关的东西,除了netghost一
: 直没找到。。。
:
: --
:
T
TeacherWei

这个人极可能一辈子混地下室的,跟他较劲不值得。

从他的发言来看,这辈子从来没用过正版MSDN,就敢言之凿凿指责别人在用盗版。

一个MSDN的发言,就能看出此人对于OS license,dev tool license, runtime
license根本一窍不通。魔幻到blur幻想和现实的界限。成天生活在一个delusional的
状态。

老顾和我本人都做出独立的判断了,这个人应该是有病。如果没病的话,能无耻到这种地步,简直不能算人了。

【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 就拿你这个350万行,你的英文报告呢?
: 难道就是这么一个stack exchange 上面的回答?老子n年前就知道了。
: 还有,别他妈的扭扭捏捏的,把你的link贴全了:
: https://softwareengineering.stackexchange.com/questions/159637/what-is-the-
: mars-
: curiosity-rovers-software-built-in?noredirect=1&lq=1
: 里面只有两个地方说道python, 一个地方说的用来写test的,所以你想说明啥?
python
: 可以generate c test code?
: 另外一个人明确说自己不清楚,只是听来的。
: Someone on Hacker News asked "Not sure what means that most of the C code is
: ...................

n
netghost

我早就知道这厮会这样,it的贴我一般都自动跳过。今天就是给大家live demo以下这
厮到底有多无耻。
【 在 TeacherWei (TW) 的大作中提到: 】
: 这个人极可能一辈子混地下室的,跟他较劲不值得。
: 从他的发言来看,这辈子从来没用过正版MSDN,就敢言之凿凿指责别人在用盗版。
: 一个MSDN的发言,就能看出此人对于OS license,dev tool license, runtime
: license根本一窍不通。魔幻到blur幻想和现实的界限。成天生活在一个delusional的
: 状态。
: 老顾和我本人都做出独立的判断了,这个人应该是有病。如果没病的话,能无耻到这种
: 地步,简直不能算人了。
: python
: is

x
xiaoju

在买买提混,思路最好跟上大家,否则就是自取其辱

这个贴子本版所有人都知道了,大家只是抓住其中一个话题讲,只有你彻底蒙在鼓里,难怪有人误以为你是不懂英文的台湾人。。。

【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 蠢货,我说得是flight software, nasa正式报告里面说的300K c/c++ code. 你最好把
: 狗眼擦亮点。而不是见到一根救命稻草就开始窜。
: varies

x
xiaoju

这个报告有名有姓有页数,虽然过了10年link死了我也懒得深入搜,你有兴趣可以找正主要啊

我认为这个引用足够了

【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 就拿你这个350万行,你的英文报告呢?
: 难道就是这么一个stack exchange 上面的回答?老子n年前就知道了。
: 还有,别他妈的扭扭捏捏的,把你的link贴全了:
: https://softwareengineering.stackexchange.com/questions/159637/what-is-the-
: mars-
: curiosity-rovers-software-built-in?noredirect=1&lq=1
: 里面只有两个地方说道python, 一个地方说的用来写test的,所以你想说明啥?
python
: 可以generate c test code?
: 另外一个人明确说自己不清楚,只是听来的。
: Someone on Hacker News asked "Not sure what means that most of the C code is
: ...................

x
xiaoju

你参加beta program的时候没见到一个ms的人?

【 在 TeacherWei (TW) 的大作中提到: 】
: 这个人极可能一辈子混地下室的,跟他较劲不值得。
: 从他的发言来看,这辈子从来没用过正版MSDN,就敢言之凿凿指责别人在用盗版。
: 一个MSDN的发言,就能看出此人对于OS license,dev tool license, runtime
: license根本一窍不通。魔幻到blur幻想和现实的界限。成天生活在一个delusional的
: 状态。
: 老顾和我本人都做出独立的判断了,这个人应该是有病。如果没病的话,能无耻到这种
: 地步,简直不能算人了。
: python
: is