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

Record type: Conference or Workshop Item (Paper)

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.

Text

wotug.pdf - Other

Download (176kB)

More information

Published date: 2003

Additional Information: Event Dates: 7-10 September 2003

Venue - Dates: 26th WoTUG Technical Meeting, University of Twente, The, Netherlands, 2003-09-07 - 2003-09-10

Keywords: occam SMV PIC

Organisations: Electronic & Software Systems

Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 258732

URI: http://eprints.soton.ac.uk/id/eprint/258732

PURE UUID: acb9644a-bcd0-45c1-a7ac-a8bc98193221

Catalogue record

Date deposited: 24 Feb 2005

Last modified: 14 Mar 2024 06:12

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Denis Nicole

Author: Sam Ellis

Author: Simon Hancock

Editor: Jan F. Broenink

Editor: Gerald H. Hilderink

Download statistics

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

Library staff additional information