Skip navigation

Haskell Icon Sources

Collection of sources used or discussed in the course.

    Topic Source code browsers Archives
     
 

Lectures

   
   
Queues
Sequential, contracted, concurrent and distributed queue implementations. All concepts introduced in those examples are considered prior knowledge and are presented here as a refresher before we enter the realm of real-time programming.
  Packages Tests
Simple Haskell source file Haskell source file
Exceptions Haskell source file Haskell source file
Private Haskell source file Haskell source file
Contracts Haskell source file Haskell source file
Generic Haskell source file Haskell source file
Concurrent Haskell source file Haskell source file
Rendezvous Haskell source file Haskell source file
Distributed Haskell source file Haskell source file
Coordinating Haskell source file Haskell source file
Priorities Haskell source file Haskell source file
Haskell source file (tgz)
Haskell source file (zip)
   
Distributed Atomic Actions
Bundling a number of sequential operations into a concurrent entity which is executed under real-time constraints and succeeds or fails according to the rules of atomic actions (either succeeds in full or not at all).
The chosen example simulates the concurrent movement of three flight control surfaces (all with their own specific timing constraints) and the overall monitoring of a successful maneuver. If any surface fails to move in synchrony then all surfaces are informed and move to their fail-safe positions.
  Packages Tests
Simple Haskell source file Haskell source file
Haskell source file (tgz)
Haskell source file (zip)
   
Swarm
This is an OpenGL based, 3d graphics simulator for concurrent and real-time experimentation of planning, coordination, synchronization and scheduling.
 
Browser
Tasks
Haskell source file
Message contents
Haskell source file
Vehicle interface
Haskell source file
Data structures
Haskell source file
Swarm configuration
Haskell source file
Haskell source file (tgz)
Haskell source file (zip)
         
         
         
     

 

Updated:   Wednesday 18 September, 2013 13:18 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   Course Webmaster