Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/21270
Title: | Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications |
Authors: | Bandur, Victor |
Advisor: | Kahl, Wolfram Wassyng, Alan |
Department: | Software Engineering |
Publication Date: | Sep-2008 |
Abstract: | A method is developed for automatically synthesizing hard real-time assembly code for simple microcontrollers directly from timed automaton software specifications. The method uses the microcontrollers' individual instruction execution times to approximate as closely as possible the timing requirements indicated in the specification. In order to accommodate this approximation, certain transitions in the specification automaton require tolerances on timing constraints to be provided as part of the specification. A second automaton is produced that is a model of the behaviour of the implementation. The method is applied to the synthesis of a software metronome device for the Microchip PIC 18F452 microcontroller. |
Description: | Title: Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications, Author: Victor Bandur, Location: Thode |
URI: | http://hdl.handle.net/11375/21270 |
Appears in Collections: | Digitized Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Bandur_Victor_2008_09_master.pdf | Title: Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications, Author: Victor Bandur, Location: Thode | 22.37 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.