r******7
发帖数: 58 | 1 我是EE出身，有statistics, signal process方面背景。在工业界。我们组是做
embedded system software的，很多人是CS本科的。目前觉得这行用不到我在数学上的
背景，所以动手还不如本科的。老板只是用PhD做literature review, market
research。其实专业知识用到点皮毛而己。我想向safety critical software发展,
such as SIL 4 software developing。看了点书。好象这方面还要算算代码的可靠性
之类的。有点意思。转起来也比较自然。
请问有谁是做这方面的？这个career path前景如何？最好不是青春饭。收入如何。 |
g*******e
发帖数: 1706 | 2 很多这方面的工作要求security clearance.
【在 r******7 的大作中提到】
: 我是EE出身，有statistics, signal process方面背景。在工业界。我们组是做
: embedded system software的，很多人是CS本科的。目前觉得这行用不到我在数学上的
: 背景，所以动手还不如本科的。老板只是用PhD做literature review, market
: research。其实专业知识用到点皮毛而己。我想向safety critical software发展,
: such as SIL 4 software developing。看了点书。好象这方面还要算算代码的可靠性
: 之类的。有点意思。转起来也比较自然。
: 请问有谁是做这方面的？这个career path前景如何？最好不是青春饭。收入如何。
|
r******7
发帖数: 58 | 3 多谢
你说的是做飞控软件吗？好象汽车和火车上也用啊。这两个方向大概不要clearance吧
。 |
O*******d
发帖数: 20343 | 4 供应商不需要security clearance. 软件有很多层次，写driver的不需要
知道军工机密。 我以前在一个写driver的公司工作，给F-35提供显示
driver。 公司的人都没有security clearance.
【在 g*******e 的大作中提到】
: 很多这方面的工作要求security clearance.
|
O*******d
发帖数: 20343 | 5 Safety critical software的百分之八十的费用是用在testing上。 理论根据一般是
Equivalence class。还有一些utilities， 来跟踪试验的结果。 一般是每一个branch
都需要被试验，就是说，每一个condition test的所有true, false的组合都需要试验
。 软件中不能有任何undefined的东西，不能有任何不能被试验的东西。 比如说 C语
言的printf, sprintf, fprintf就属于不能用试验来验证其行为的函数，所以很多
package不包括这些函数。 |
O*******d
发帖数: 20343 | 6 做Safety critical software的软件很烦人。 任何优化都要进行很多讨论，写的code
要有无数的试验。 |
