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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.109.56.128.158.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: What is the current language profile for concurrent, multi-core,
 safety-critical, hard real-time systems?
Date: Tue, 01 Aug 2017 10:38:19 +0200
Organization: JSA Research & Innovation
Message-ID: <87wp6n8yys.fsf@jacob-sparre.dk>
References: <olohpe$ri6$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.56.128.158.mobile.3.dk:109.56.128.158";
	logging-data="3183"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:AvZee7VWIXjR/LZh/i55dLkfftU=
Xref: news.eternal-september.org comp.lang.ada:47547
Date: 2017-08-01T10:38:19+02:00
List-Id: <comp.lang.ada>

Adam Jensen wrote:

> I am surveying the software engineering/technology landscape. This
> document on the SPARK Ravenscar Profile, RavenSPARK[1], is dated 2010
> - well before Ada-2012 and Spark-2014.
>
> [1]: http://docs.adacore.com/sparkdocs-docs/Examiner_Ravenscar.htm
>
> What is the current Ada language profile for concurrent, multi-core,
> safety-critical, hard real-time systems?

The Ravenscar profile is still _the_ profile for safety-critical, hard
real-time tasking.  AdaCore has done work on an extension to the
Ravenscar profile (the Vienna profile?), but I'm not sure it has been
formalised yet.

The most recent release of the SPARK 2014 tools include support for
tasking.  (I haven't looked into the details yet.)

As it has already been mentioned, multi-core, caches and shared caches
are all features which aren't understood well enough for practical use
in safety-critical hard real-time systems. - But there's lots of
research in the area.

Greetings,

Jacob
-- 
"The generation of random numbers is too important to be left to chance"