[SystemSafety] Protocols suitable for safe systems

[GRAZEBROOK, Alvery N]

Hi All,

In order to discourage a colleague from re-inventing the wheel, I was wondering if any of you know of work on communication protocols?

-       for event-based communication, possibly Remote-Procedure Call

-       on a redundant system

-       to be used on a high-integrity system

-       where the protocol has a formal specification, and useful properties e.g. absence of deadlock, livelock

-       The same protocol will need to work on more than one transport layer (dissimilarity)

Most of the commonly used protocols in civil aerospace are driven by the need to support cyclic data update, rather than synchronous communication.

Cheers,
            Alvery

________________________________
Alvery GRAZEBROOK
Systems Engineer
EYUCC (Fuel Control and Indication)
Airbus

alvery.grazebrook at airbus.com<mailto:alvery.grazebrook at airbus.com>
+44 117 936 3795

Airbus Operations Ltd.
New Filton House
Filton, Bristol, BS99 7AR
United Kingdom


The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised.
If you are not the intended recipient, please notify Airbus immediately and delete this e-mail.
Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately.
All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130912/86e5f5ff/attachment.html>