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
Publisher: IOS Press
Further Information:Google Scholar
ISI Citation Count:3
URI: http://eprints.soton.ac.uk/id/eprint/258732

Actions (login required)

View Item View Item