From: Adam Jensen <hanzer@riseup.net>
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)
Date: 2017-08-01T00:25:18+00:00 [thread overview]
Message-ID: <olohpe$ri6$1@dont-email.me> (raw)
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?
next reply other threads:[~2017-08-01 0:25 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-01 0:25 Adam Jensen [this message]
2017-08-01 0:54 ` What is the current language profile for concurrent, multi-core, safety-critical, hard real-time systems? 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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox