[SystemSafety] Modelling and coding guidelines: "Unambiguous Graphical Representation"

[Peter Bernard Ladkin]

On 2016-02-27 09:47 , Steve Tockey wrote:
> In safety critical systems, we should strive for specifications that are
> both unambiguous and deterministic, so that relevant safety properties can
> be examined. 

I'm not so sure. If your safety-critical system needs some security, which many or most of them do,
then it might need the ability to generate nonces, since many authentication and confidentiality
algorithms require them. A nonce is a value generated non-deterministically in most reliable
implementations. Indeed, the more deterministic it is, the less worthy it is.

PBL

Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20160227/ba015c9e/attachment.pgp>