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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 |
| Item ID: | 258732 |
| Date Deposited: | 24 Feb 2005 |
| Last Modified: | 02 Mar 2012 13:19 |
| Contributors: | Nicole, Denis (Author) Ellis, Sam (Author) Hancock, Simon (Author) Broenink, Jan F. (Editor) Hilderink, Gerald H. (Editor) |
| Date: | 2003 |
| Additional Information: | Event Dates: 7-10 September 2003 |
| Status: | Published |
| 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 |
