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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Samek, M.: Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. CMP Books (2002)
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)
Wang, S., Shin, K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation 18(4), 475–486 (2002)
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)
Lee, E.: Embedded Software – an Agenda for Research. UCB ERL Memorandum M99/63, University of California at Berkeley, USA (1999)
Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison Wesley, Reading (1998)
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)
John, K.-H., Tiegelkamp, M.: IEC61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Angelov, C., Sierszecki, K., Marian, N. (2005). Design Models for Reusable and Reconfigurable State Machines. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds) Embedded and Ubiquitous Computing – EUC 2005. EUC 2005. Lecture Notes in Computer Science, vol 3824. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596356_18
Download citation
DOI: https://doi.org/10.1007/11596356_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30807-2
Online ISBN: 978-3-540-32295-5
eBook Packages: Computer ScienceComputer Science (R0)