[SystemSafety] Protocols suitable for safe systems

[Gergely Buday]

Dear Alvery,

for a starter on formal investigation of communication protocols he should
read

http://spinroot.com/spin/Doc/Book_extras/index.html

Cheers

- Gergely


On 12 September 2013 19:09, GRAZEBROOK, Alvery N <
Alvery.Grazebrook at airbus.com> wrote:

> 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
> +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.
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130912/b1b998a5/attachment.html>