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. In, 26th WoTUG Technical Meeting, University of Twente, The , Netherlands, 07 - 10 Sep 2003. IOS Press, 167-172.

Download

[img] PDF
Download (172Kb)

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
ISSNs: 1383-7575
Keywords: occam SMV PIC
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 258732
Date Deposited: 24 Feb 2005
Last Modified: 27 Mar 2014 20:01
Further Information:Google Scholar
ISI Citation Count:3
URI: http://eprints.soton.ac.uk/id/eprint/258732

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics