From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Adam Jensen <hanzer@riseup.net>
Newsgroups: comp.lang.ada
Subject: Getting started with bare-board development
Date: Fri, 11 Nov 2016 17:19:33 -0500
Organization: A noiseless patient Spider
Message-ID: <o05g4n$q11$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 11 Nov 2016 22:19:03 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="bb0de6f17fe206de7a196edb3c6841e7";
	logging-data="26657"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+DXfhP9F2TB/jpH8lH0P7m"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
Cancel-Lock: sha1:jkY2w8O9AzJrV1b60D+rMHr3zCw=
Xref: news.eternal-september.org comp.lang.ada:32283
Date: 2016-11-11T17:19:33-05:00
List-Id: <comp.lang.ada>

Hi, I've recently began to have a serious look at Ada-2012 and
Spark-2014, and using GNAT for the development of real-time software in
embedded systems. What is a good way to get started? I am currently
reading an ebook of "Concurrent and Real-Time Programming in Ada"[1] and
I've recently ordered a paper copy of "Analysable Real-Time Systems:
Programmed in Ada"[2]; I also have the LRM and I come from a VHDL
background.

[1]:
https://www.amazon.com/Concurrent-Real-Time-Programming-Alan-Burns/dp/0521866979/
[2]:
https://www.amazon.com/Analysable-Real-Time-Systems-Programmed-Ada/dp/1530265509/

So I guess my question has more to do with sorting out the tool-chain
and a methodology than anything else. For example, would it be essential
(or especially convenient) to have a hardware development kit or is it
common to develop this kind of software using an emulator of some kind?
Adacore has an example for the STM32F4-Discovery[3], and more elaborate
documentation is available for the Nucleo[4], but both of those kits
seem to have very limited memory. How much can be done with that?

[3]:
http://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ugx/arm-elf_topics_and_tutorial.html
[4]: http://www.inspirel.com/articles/Ada_On_Cortex.html

Also, do ARM processors make sense for safety critical systems? If not,
would it make more sense to target a different platform from the beginning?