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: What is the current language profile for concurrent, multi-core,
 safety-critical, hard real-time systems?
Date: Tue, 1 Aug 2017 00:25:18 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <olohpe$ri6$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 1 Aug 2017 00:25:18 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="871748ef578d3d4d5922c569353607a5";
	logging-data="28230"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19e5S+nFMcEc8gAOhyfEd9O"
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508
 git://git.gnome.org/pan2)
Cancel-Lock: sha1:Ukt2M8X54lgS6hcjD2QgEWDIU8c=
Xref: news.eternal-september.org comp.lang.ada:47533
Date: 2017-08-01T00:25:18+00:00
List-Id: <comp.lang.ada>

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?