occam for reliable embedded systems: lightweight runtimes and model checking


Nicole, Denis, Ellis, Sam and Hancock, Simon, (2003) 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. , pp. 167-172.

Download

[img] PDF wotug.pdf - Other
Download (176kB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 7-10 September 2003
Venue - Dates: 26th WoTUG Technical Meeting, Netherlands, 2003-09-07 - 2003-09-10
Keywords: occam SMV PIC
Organisations: Electronic & Software Systems
ePrint ID: 258732
Date :
Date Event
2003Published
Date Deposited: 24 Feb 2005
Last Modified: 17 Apr 2017 22:40
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/258732

Actions (login required)

View Item View Item