Map
Index
Random
Help
th

Quote: event-driven state-machine programming (ESP) for programmable devices; generates a C program and SPIN model; 90% fewer lines of code, low overhead

topics > all references > references i-l > QuoteRef: kumaS6_2001 , p. abstract



Topic:
state machine
Topic:
model checker
Topic:
event controlled processing

Quotation Skeleton

This paper presents the design and implementation of … support development of compact and modular programs. The … to generate efficient firmware for the device; and … As a case study, we reimplemented VMMC firmware … of programming with event-driven state machines. It required … model-checking verifiers like SPIN can be used to … relatively small.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: event controlled processing (46 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.