Design Models for Reusable and Reconfigurable State Machines
The widespread use of embedded systems mandates a rigorous engineering approach towards embedded software development, i.e. model-based design of embedded software. The paper presents design models of reusable and reconfigurable state machines that have been conceived in the context of the COMDES framework and in particular – the State Logic Controller and the Hybrid State Logic Controller, whose principles of operation are presented in the paper. The latter has been instrumental in developing a reconfigurable executable component, i.e. a function block of class State Machine, which can be used to implement a broad range of embedded applications such as sequential, continuous and hybrid control systems, as well as complex systems specified with hierarchical and concurrent state machines.
Unable to display preview. Download preview PDF.
- 1.Angelov, C., Sierszecki, K.: A Software Framework for Component-Based Embedded Applications. In: Proc. of the Asia-Pacific Software Engineering Conference, APSEC 2004, Busan, Korea (2004)Google Scholar
- 2.Samek, M.: Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. CMP Books (2002)Google Scholar
- 3.Wagner, F., Wolstenholme, P.: Modeling and Building Reliable, Re-usable Software. In: Proc. of the 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, USA (2003)Google Scholar
- 5.Maraninchi, F., Remond, Y.: Applying Formal Methods to Industrial Cases: the Language Approach (The Production-Cell and Mode-Automata). In: Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems, Berlin (2000)Google Scholar
- 6.Lee, E.: Embedded Software – an Agenda for Research. UCB ERL Memorandum M99/63, University of California at Berkeley, USA (1999)Google Scholar
- 7.Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison Wesley, Reading (1998)Google Scholar
- 9.John, K.-H., Tiegelkamp, M.: IEC61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)Google Scholar