Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience</h1> <div class='date'><time class="dtstart dt-start" title="2009-10-06T10:30:00" datetime="2009-10-06T10:30:00">Tuesday, October 6, 2009 from 10:30</time>–<time class="dtend dt-end" title="2009-10-06T11:30:00" datetime="2009-10-06T11:30:00">11:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>The next talk in the Galois Tech Seminar series:</p> <ul> <li>Date: Tuesday, October 6th, 2009</li> <li>Title: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience</li> <li>Speaker: Lee Pike</li> <li>Time: 10:30am - 11:30am</li> <li>Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR 97204</li> </ul> <p>For details (including an abstract and speaker bio), please see our blog post: <a href="http://www.galois.com/blog/2009/09/29/pike-haskell0/">http://www.galois.com/blog/2009/09/29/pike-haskell0/</a></p> <p>Abstract: We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a case-study, we implement a simple emulator for the Biphase Mark Protocol, a physical-layer network protocol in Haskell. The surprising result is that a pure functional language with no built-in notion of time is extremely well-suited for constructing such emulators. Furthermore, we use Haskell’s property-checker QuickCheck to automatically generate real-time parameters for simulation. We also describe a novel use of QuickCheck as a probability calculator for reliability analysis.</p> <p>Bio: Lee Pike is a member of the technical staff at Galois. Previously, he was a research scientist with the NASA Langley Formal Methods Group, primarily involved in the SPIDER project. His research interests include applying formal methods to safety-critical and security-critical applications, with a focus on industrial-scale endeavors.</p> <p>An RSVP is not required; but feel free to drop a line to <a href="mailto:levent.erkok@galois.com">levent.erkok@galois.com</a> if you've any questions or comments.</p> <p>Levent Erkok</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/blog/2009/09/29/pike-haskell0/">Website</a></li> </ul> </div>