Michael Schuerig wrote:
> Heinrich Apfelmus wrote:
>>
>> I have absolutely no experience with real time system, but if I were
>> tasked to write with these coding standards, I would refuse and
>> instead create a small DSL in Haskell that compiles to the requested
>> subset of C.
>
> That suggesti
> Perhaps it's just my lack of imagination that was driving my original
> question. I'm just having a hard time imagining how to write reasonably
> interesting algorithms that way.
Very likely they have very specific functionality and hopefully a precise
specification about what to do if the me
On Jun 8, 2010, at 14:22 , Michael Schuerig wrote:
On Tuesday 08 June 2010, Heinrich Apfelmus wrote:
I have absolutely no experience with real time system, but if I were
tasked to write with these coding standards, I would refuse and
instead create a small DSL in Haskell that compiles to the req
On Tuesday 08 June 2010, Hans van Thiel wrote:
> Now, what Gerard Holzmann told me in the interview, is that NASA is
> very conservative in it's use of software tools. They don't use C++,
> just C, and a well defined version of the GNU C compiler at that.
> The coding standards, which even prohibit
That's interesting, writing a DSL that compiles to C. I've actually
inerviewed Gerard Holzamann twice, the first time when he received the
ACM Software System Award in 2002 [1] and in 2008 after he moved to JPL
[2]. What they use to test distributed software is the Process Meta
Language (Promela) w
On Tuesday 08 June 2010, Heinrich Apfelmus wrote:
> Michael Schuerig wrote:
> > I was dumbfounded, although I have known all this. I have no
> > personal experience with either embedded or real time software,
> > but I've been aware that C still is the most popular language for
> > that purpose and
Michael Schuerig wrote:
> I was dumbfounded, although I have known all this. I have no personal
> experience with either embedded or real time software, but I've been
> aware that C still is the most popular language for that purpose and
> that coding standards are very restrictive.
>
> The rea
