Design Models for Reusable and Reconfigurable State Machines

  • Christo Angelov
  • Krzysztof Sierszecki
  • Nicolae Marian
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3824)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Samek, M.: Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. CMP Books (2002)Google Scholar
  3. 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
  4. 4.
    Wang, S., Shin, K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation 18(4), 475–486 (2002)CrossRefGoogle Scholar
  5. 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. 6.
    Lee, E.: Embedded Software – an Agenda for Research. UCB ERL Memorandum M99/63, University of California at Berkeley, USA (1999)Google Scholar
  7. 7.
    Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison Wesley, Reading (1998)Google Scholar
  8. 8.
    Heimdahl, M.P.E., Leveson, N.G.: Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, TSE 22(6), 363–377 (1996)CrossRefGoogle Scholar
  9. 9.
    John, K.-H., Tiegelkamp, M.: IEC61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Christo Angelov
    • 1
  • Krzysztof Sierszecki
    • 1
  • Nicolae Marian
    • 1
  1. 1.Mads Clausen Institute for Product InnovationUniversity of Southern DenmarkSoenderborgDenmark

Personalised recommendations