A Formal Component Framework for Distributed Embedded Systems

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

Abstract

The widespread use of embedded systems mandates the development of industrial software design methods based on formal models (frameworks) and prefabricated components. This paper presents a formal specification of the COMDES framework, focusing on the main architectural issues and the specific line of reasoning that was followed while developing a hierarchy of executable models describing relevant aspects of system structure and behaviour. The above framework has been used to systematically define a hierarchy of reusable and reconfigurable components – simple and composite function blocks, reconfigurable state machines and function units – implementing the executable models presented in the paper.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ARTIST Project IST-2001-34820: Selected Topics in Embedded Systems Design: Roadmaps for Research. Project report (2004)Google Scholar
  2. 2.
    European Research Consortium for Informatics and Mathematics: ERCIM News, N 52, Special Issue on Embedded Systems (2003)Google Scholar
  3. 3.
    Selic, B., Gullegson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)MATHGoogle Scholar
  4. 4.
    Lee, E.A., Xiong, Y.: System-Level Types for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. 5.
    Software Technologies, Embedded systems and Distributed systems in FP6. Workshop on Software Technologies, Embedded Systems and Distributed Systems in the 6th Framework Programme for EU Research, Brussels, Belgium (2002)Google Scholar
  6. 6.
    John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)Google Scholar
  7. 7.
    Lewis, R.: Modeling Control Systems Using IEC 61499. Institution of Electrical Engineers (2001)Google Scholar
  8. 8.
    Angelov, C., Sierszecki, K., Marian, N.: Component-Based Design of Embedded Software: an Analysis of Design Issues. In: Guelfi, N., Reggio, G., Romanovsky, A. (eds.) FIDJI 2004. LNCS, vol. 3409, pp. 1–11. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    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
  10. 10.
    Angelov, C., Berthing, J., Sierszecki, K., Marian, N.: Function Unit Specification in a Timed Multitasking Environment. In: Proc. of the 17th International Conference on Software and Systems Engineering and Their Applications ICSSEA 2004, Paris, France (2004)Google Scholar
  11. 11.
    Angelov, C., Sierszecki, K., Marian, N.: Design Models for Reusable and Reconfigurable State Machines. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds.) EUC 2005. LNCS, vol. 3824, pp. 152–163. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    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
  13. 13.
    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
  14. 14.
    Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)MATHGoogle Scholar
  15. 15.
    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
  16. 16.
    Liu, J., Lee, E.A.: Timed Multitasking for Real-Time Embedded Software. IEEE Control Systems Magazine: Advances in Software Enabled Control, 65–75 (2003)Google Scholar
  17. 17.
    Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Trans. on Soft. Eng., TSE 23(12), 759–776 (1997)CrossRefGoogle Scholar
  18. 18.
    Isovic, D., Norström, C.: Components in Real-Time Systems. In: Proc. of the 8th Int. Conf. on Real-Time Comp. Systems and Applications RTCSA 2002, Tokyo Japan (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations