# HRT-HOOD and new design methods for hard real-time systems in Ada

**URL:** https://forum.ada-lang.io/t/hrt-hood-and-new-design-methods-for-hard-real-time-systems-in-ada/4498
**Category:** General
**Tags:** embedded, ada
**Created:** [June 10, 2026, 8:38pm UTC](https://forum.ada-lang.io/t/hrt-hood-and-new-design-methods-for-hard-real-time-systems-in-ada/4498 "2026-06-10T20:38:48Z")
**Posts on this page:** 4
**Page:** 1

<div class="post-metadata">

### Author: ![BottCode](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/bottcode/32/823_2.png) [@BottCode](https://forum.ada-lang.io/u/BottCode)
#### Post date: [June 10, 2026, 8:38pm UTC](https://forum.ada-lang.io/t/hrt-hood-and-new-design-methods-for-hard-real-time-systems-in-ada/4498/1 "2026-06-10T20:38:48Z")

</div>

[HRT-HOOD](https://link.springer.com/article/10.1007/BF01245300) is a structured design method for hard real-time systems derived from [HOOD](https://www.adalog.fr/en/hoodbook.html). It is well supported for Ada.

However, it comes from the 90s. Are there any newer approach?

---

<div class="post-metadata">

### Author: ![OneWingedShark](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/onewingedshark/32/305_2.png) [@OneWingedShark](https://forum.ada-lang.io/u/OneWingedShark)
#### Post date: [June 11, 2026, 4:39am UTC](https://forum.ada-lang.io/t/hrt-hood-and-new-design-methods-for-hard-real-time-systems-in-ada/4498/3 "2026-06-11T04:39:50Z")

</div>

> [@BottCode](#):
>
> However, it comes from the 90s. Are there any newer approach?

I’m sure there are, but I wouldn’t be so quick to dismiss design methods simply because they are ‘old’ — despite some of the recent counterculture/backlash against OOP (Object Oriented Programming), OOD (Object Oriented Design) hasn’t received any such reaction that I’ve seen, and since it is applicable even to non-OOP languages, doesn’t impose structure on the implementation like OOP does (eg the “[world of nouns](https://steve-yegge.blogspot.com/2006/03/execution-in-kingdom-of-nouns.html)”).

That said, while I’m unfamiliar with it, I did find [Ada+B the formula for safety critical software development [2006]](https://link.springer.com/chapter/10.1007/BFb0054990), which might be of interest to you.

---

<div class="post-metadata">

### Author: ![BottCode](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/bottcode/32/823_2.png) [@BottCode](https://forum.ada-lang.io/u/BottCode)
#### Post date: [June 11, 2026, 8:06pm UTC](https://forum.ada-lang.io/t/hrt-hood-and-new-design-methods-for-hard-real-time-systems-in-ada/4498/4 "2026-06-11T20:06:47Z")

</div>

> [@OneWingedShark](#):
>
> but I wouldn’t be so quick to dismiss design methods simply because they are ‘old’

Don’t get me wrong, I agree with you 😁 I was wondering if anything interesting had happened over the past twenty years.

> [@OneWingedShark](#):
>
> I did find [Ada+B the formula for safety critical software development [2006]](https://link.springer.com/chapter/10.1007/BFb0054990)

Anyway, thanks. I’ll take a look.

---

<div class="post-metadata">

### Author: ![Nordic\_Dogsledding](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/nordic_dogsledding/32/547_2.png) [@Nordic\_Dogsledding](https://forum.ada-lang.io/u/Nordic_Dogsledding)
#### Post date: [June 12, 2026, 11:07am UTC](https://forum.ada-lang.io/t/hrt-hood-and-new-design-methods-for-hard-real-time-systems-in-ada/4498/5 "2026-06-12T11:07:25Z")

</div>

> [@OneWingedShark](#):
>
> “[world of nouns](https://steve-yegge.blogspot.com/2006/03/execution-in-kingdom-of-nouns.html)”

Thanx for the quote - an enjoyable read.