DMCA
A Constrained Interface Refinement Method for Embedded System Design (1997)
BibTeX
@MISC{Holland97aconstrained,
author = {Michael G. Holland},
title = {A Constrained Interface Refinement Method for Embedded System Design},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This report presents a constrained interface approach to embedded system design. It traces the development of the Timed Transition Model (TTM) and proposes a higher level of abstraction, based on that model, that we call a Timed Transition Interface Model (TTIM). This model is the thread linking a method of hierarchical refinement, referred to here as Higher Order Embedded System Design (HOESD), and its constituent module TTMs. HOESD can be described as a dual model approach. TTIMs provide the abstraction required for reasoning about discrete-event processes at the observable interface level. A finer level of granularity, for reasoning about the functioning of individual processes themselves, is provided by the underlying module TTMs. HOESD design rules are developed, that constrain the relationship between a controller and its control environment, at each level of refinement, to comply with the top level interface specification. The leaf nodes of the design are based on prova...
Keyphrases
embedded system design constrained interface refinement method discrete-event process hierarchical refinement individual process constrained interface approach underlying module ttms leaf node control environment hoesd design rule constituent module ttms observable interface level timed transition model order embedded system design timed transition interface model top level interface specification dual model approach
