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

[BottCode]

HRT-HOOD is a structured design method for hard real-time systems derived from HOOD. It is well supported for Ada.

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

[OneWingedShark]

@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”).

That said, while I’m unfamiliar with it, I did find Ada+B the formula for safety critical software development [2006], which might be of interest to you.

[BottCode]

@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]

Anyway, thanks. I’ll take a look.

[Nordic_Dogsledding]

@OneWingedShark

“world of nouns”

Thanx for the quote - an enjoyable read.