From: Shark8 <onewingedshark@gmail.com>
Subject: Reducing the cost of real-time software through a cyclic task abstraction for Ada
Date: Sun, 4 Feb 2018 16:27:55 -0800 (PST)
Date: 2018-02-04T16:27:55-08:00 [thread overview]
Message-ID: <40a33f37-7a25-4587-a80e-2ef5f7528264@googlegroups.com> (raw)
Has anybody read the Patrick Bernardi thesis "Reducing the cost of real-time software through a cyclic task abstraction for Ada"?
(See https://openresearch-repository.anu.edu.au/handle/1885/112723 for the PDF.)
It seems really interesting to me, and for what appears to be some relatively minor refinements to the language (via aspects, mainly; only one keyword [which might not be ABSOLUTELY needed]) provides some rather large advances in both usability and analyzability/provability of tasks.
next reply other threads:[~2018-02-05 0:27 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-05 0:27 Shark8 [this message]
2018-02-06 14:13 ` Reducing the cost of real-time software through a cyclic task abstraction for Ada guyclaude.burger
2018-02-07 22:04 ` Simon Wright
2018-02-08 10:25 ` Mark Lorenzen
2018-02-09 21:03 ` Shark8
2018-02-07 18:25 ` Lucretia
2018-02-07 19:12 ` Shark8
2018-02-07 21:25 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox