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.
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|
|Keywords:||occam SMV PIC|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||24 Feb 2005|
|Last Modified:||27 Mar 2014 20:01|
|Further Information:||Google Scholar|
|ISI Citation Count:||3|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)