Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

A Formal Component Framework for Distributed Embedded Systems

  • Conference paper
Component-Based Software Engineering (CBSE 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4063))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. ARTIST Project IST-2001-34820: Selected Topics in Embedded Systems Design: Roadmaps for Research. Project report (2004)

    Google Scholar 

  2. European Research Consortium for Informatics and Mathematics: ERCIM News, N 52, Special Issue on Embedded Systems (2003)

    Google Scholar 

  3. Selic, B., Gullegson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)

    Google Scholar 

  7. Lewis, R.: Modeling Control Systems Using IEC 61499. Institution of Electrical Engineers (2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  12. Wang, S., Shin, K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation 18(4), 475–486 (2002)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  14. Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)

    MATH  Google Scholar 

  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. 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. 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)

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Mads Clausen Institute for Product Innovation, University of Southern Denmark, Grundtvigs Alle 150, 6400, Soenderborg, Denmark

    Christo Angelov, Krzysztof Sierszecki, Nicolae Marian & Jinpeng Ma

Authors
  1. Christo Angelov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Krzysztof Sierszecki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nicolae Marian
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jinpeng Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Pacific Northwest National Laboratory, Computational and Information Sciences, MS: K7-90,, PO Box 999,, 99352, Richland, WA, USA

    Ian Gorton

  2. Department of Computer Science, Worcester Polytechnic Institute, 100 Institute Road, 01609, Worcester, MA, USA

    George T. Heineman

  3. School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

    Ivica Crnković

  4. Centre for Distributed Systems and Software Engineering, Monash University, Melbourne, Australia

    Heinz W. Schmidt

  5. Computer Science, Tufts University, Boston, 161 College Avenue, 02155, Medford, MA, USA

    Judith A. Stafford

  6. Microsoft, USA

    Clemens Szyperski

  7. Software Engineering Institute,  

    Kurt Wallnau

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Angelov, C., Sierszecki, K., Marian, N., Ma, J. (2006). A Formal Component Framework for Distributed Embedded Systems. In: Gorton, I., et al. Component-Based Software Engineering. CBSE 2006. Lecture Notes in Computer Science, vol 4063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783565_15

Download citation

  • DOI: https://doi.org/10.1007/11783565_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35628-8

  • Online ISBN: 978-3-540-35629-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation