|
Published Articles >> Table of Contents >> Abstract
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE’03)
p. 24
From Use Cases to System Implementation: Statechart Based Co-design
Luís Gomes, Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Dep. of Elect. Eng.
Anikó Costa, Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Dep. of Elect. Eng.
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2003.1210083
Send link to a friend
| Abstract |
|
This paper proposes a methodology for embedded
systems co-design, based on statechart models. The
process starts with grabbing the system functionalities
through use cases. A set of procedures addressing the
implementation of Statechart models is presented. The
main goal of this set of procedures is to lift the
structuring mechanisms presented in statecharts to the
top level. In this sense, the complexity of statechart
implementation will be similar to the complexity of
communicating concurrent state machines and the
platforms selected to support implementation will not
need to have specific capabilities to directly support the
structuring mechanisms of Harel's statecharts. As a
consequence, full direct implementation of statecharts is
possible considering different types of implementation
platforms, ranging from hardware-centric or softwarecentric
to hardware-software partitioning through codesign
techniques.
|
 Additional Information
|
Citation:
Luís Gomes, Anikó Costa,
"From Use Cases to System Implementation: Statechart Based Co-design,"
memocode,
p. 24,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE’03),
2003
|
|
