University of Cambridge > Talks.cam > Wednesday Seminars - Department of Computer Science and Technology > How to prove that a communications protocol stack is up to the job

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

How to prove that a communications protocol stack is up to the job

Download to your calendar using vCal

If you have a question about this talk, please contact Timothy G. Griffin .

The ususal means is of course by testing, but what is meant by testing? Most of the industry writes tests which are designed to prove that the design works, or if desigend to be stress tests, designed to be reproducable. In my opinion both of these are misguided, and in my talk I will describe a different approach, which is designed to break the product and uses random scenarios, but has been, I believe, key to CSR ’s sucess. So far as I know we are unique in doing it in the manner I shall desicribe.

BIO : Mr Collier has served as the Company’s Chief Technical Officer since CSR ’s establishment in April 1999. Mr Collier is a co-founder of CSR . Between 1984 and April 1999, Mr Collier held a number of executive and technical positions at Cambridge Consultants Ltd, where he formed the microelectronics group in 1987. Prior to 1984, Mr Collier held a number of executive and technical positions at Schlumberger. Mr Collier has a degree in physics from the University of Oxford.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Trinity Hall History Society Hodgkin/Huxley Seminar Room, Physiology Building, Downing Site Meeting Rooms 1&2, MRC Epidemiology Unit, Level 3, Institute of Metabolic Science, Cambridge Biomedical Campus, Cambridge CB2 0QQ

Other talks

Ensemble inequivalence for systems with long-range interactions CSAR lecture: In a post-Ozempic world, have we cured obesity? Bacterial Physiology During Growth Arrest: Can It Be Targeted by Anti-Bacterial Therapeutics? Discovery Investigations: Science, Empire and the Making of the British South Atlantic Polar Oceans Seminar Talk Group Work
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity