• Combining EDF Scheduling with occam using the Toc Programming Language 

      Korsgaard, Martin; Hendseth, Sverre (Concurrent Systems Engineering Series; 66, Chapter, 2008)
      A special feature of the occam programming language is that its concurrency support is at the very base of the language. However, its ability to specify scheduling requirements is insufficient for use in some real-time ...
    • Introducing Time Driven Programming using CSP/occam and WCET Estimates 

      Korsgaard, Martin (Master thesis, 2007)
      This thesis describes an experimental programming language called TIME/occam. TIME/occam, like occam, is based on Communicating Sequential Processes (CSP), a branch of process algebra that allows computer programs to be ...
    • Process-Oriented Real-time Programming 

      Korsgaard, Martin (Doktoravhandlinger ved NTNU, 1503-8181; 2013:65, Doctoral thesis, 2013)
    • The Computation Time Process Model 

      Korsgaard, Martin; Hendseth, Sverre (Concurrent Systems Engineering Series, 1383-7575; 68, Chapter, 2011)
      In traditional real-time multiprocessor schedulability analysis it is required that all tasks are entirely serial. This implies that if a task is written in a parallel language such as occam, all parallelism in the task ...