Introducing Time Driven Programming using CSP/occam and WCET Estimates
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 modelled and verified mathematically and mechanically. TIME/occam uses synchron...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Norges teknisk-naturvitenskapelige universitet, Institutt for teknisk kybernetikk
2007
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8833 |