From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
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
Date: 2017-08-01T10:38:19+02:00 [thread overview]
Message-ID: <87wp6n8yys.fsf@jacob-sparre.dk> (raw)
In-Reply-To: olohpe$ri6$1@dont-email.me
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"
prev parent reply other threads:[~2017-08-01 8:38 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-01 0:25 What is the current language profile for concurrent, multi-core, safety-critical, hard real-time systems? Adam Jensen
2017-08-01 0:54 ` Dennis Lee Bieber
2017-08-01 1:45 ` Adam Jensen
2017-08-01 4:19 ` Dennis Lee Bieber
2017-08-01 7:12 ` Dmitry A. Kazakov
2017-08-01 8:38 ` Jacob Sparre Andersen [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox