loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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.
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
Usage of this product signifies your acceptance of the Terms of Use.