Posts Tagged ‘replaceable’

Software “Breaks”!

September 22, 2013

A 17 year old sailor on a submarine must be able to
fix a critical piece of electronic equipment within
15 minutes.

Critical submarine hardware has the required subsystems
to facilitate the location of a failed replaceable components.

Most hardware these days has at least one computer within it.
This includes critical submarine systems.

Can the same 17 year old sailor on a submarine find and
correct a critical software failure within 15 minutes?

Does software “break”?  Not really. but software fails when
it illegally or incorrectly writes some data.

Programmers have many ways of preventing illegal writes which
they use in checkout and then remove before delivery.

WHATIFWE used formal illegal write prevention code in delivered
software?

THE TWITTER SEMINAR ON THE DEVELOPMENT OF ERROR FREE SOFTWARE CONTINUES

August 7, 2013

ERROR-FREE SOFTWARE DEVELOPMENT — DOES SOFTWARE “BREAK”?

Are simple-precedence methods the only way to detect and
prevent errors?  No, there are other ways.

To find these other ways, let us look at development of
military hardware, circa, 1980’s.

In a project that I worked on, the sailor needed to replace
no more than four circuit boards to fix the hardware.

Critical submarine hardware has the required subsystems
to facilitate the location of a failed replaceable components.

Would you believe it if I told you that software “breaks”?

Not really. but software fails when it illegally or incorrectly
writes some data.

Programmers have many ways of preventing illegal writes which
they use in checkout and then remove before delivery.

WHATIFWE used formal illegal write prevention code in delivered
software?

THE TWITTER SEMINAR ON THE DEVELOPMENT OF ERROR FREE SOFTWARE CONTINUES

May 15, 2013

ERROR-FREE SOFTWARE DEVELOPMENT — DOES SOFTWARE “BREAK”?

Are simple-precedence methods the only way to detect and prevent errors?  No, there are other ways.

To find these other ways, let us look at development of military hardware, circa, 1980’s.

In a project that I worked on, the sailor needed to replace no more than four circuit boards to fix the hardware.

Critical submarine hardware has the required subsystems to facilitate the location of a failed replaceable components.

Would you believe it if I told you that software “breaks”?

Not really. but software fails when it illegally or incorrectly writes some data.

Programmers have many ways of preventing illegal writes which they use in checkout and then remove before delivery.

WHATIFWE used formal illegal write prevention code in delivered software?