First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03)
From Use Cases to System Implementation: Statechart Based Co-design
Mont Saint-Michel, France
June 24-June 26
ISBN: 0-7695-1923-7
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.
Citation:
Lu?s Gomes, Anik? Costa, "From Use Cases to System Implementation: Statechart Based Co-design," memocode, pp.24, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03), 2003