Nicole, Denis, Ellis, Sam and Hancock, Simon,
occam for reliable embedded systems: lightweight runtimes and model checking
Broenink, Jan F. and Hilderink, Gerald H. (eds.)
At 26th WoTUG Technical Meeting, Netherlands.
07 - 10 Sep 2003.
We describe some more recent developments of the SPoC system. We describe a new module in the occam compiler which performs substantial simplifications of the run-time demands made by the compiled code. This has been used successfully both to target a simple PIC microcontroller and to generate input for the SMV model checker.
Conference or Workshop Item
||Event Dates: 7-10 September 2003
|Venue - Dates:
||26th WoTUG Technical Meeting, Netherlands, 2003-09-07 - 2003-09-10
||occam SMV PIC
||Electronic & Software Systems
||24 Feb 2005
||17 Apr 2017 22:40
|Further Information:||Google Scholar|
Actions (login required)