Re: Curiosity rover on Mars

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Thu, 09 Aug 2012 07:23:47 +0200, Per Sandberg  
<per.sandberg@sandat.dyndns.org> a écrit:
> If the automated tool chain is:
>
>  "C -> Assembly -> MachineCode"
>  "Ada -> Assembly -> MachineCode"
>  "Ada -> C -> Assembly -> MachineCode"
>  "simulink -> C -> Assembly -> MachineCode"
>  "simulink -> Ada -> C -> Assembly -> MachineCode"
>
> All the above scenarios are possible so in what language is the system
> written in ??

Seems this was "MATLAB -> C -> …" and "Formal Modelling -> C -> …", which  
is not the same as C alone. But seems some part were written in C by hand,  
1/5 of the whole. The C compiler they used is probably highly trusted too,  
and even perhaps formally verified.

When high level techniques are used, the target language is not that  
important, except if the target is to be updated or tweaked by hand later  
(but that would probably brake the model, if formal techniques are not  
used).

Please, don't throw away that example to any one, most won't understand C  
as a target language and C as a main design language is not the same, and  
they would do biased comparison with Ada.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University