Skip to main content
SpringerLink
Log in

Continuity aspects of embedded reconfigurable computing

  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract.

In embedded systems, dynamically reconfigurable computing can be partially modified at runtime without stopping the operation of the whole system. In this paper, we consider a reorganization mechanism for dynamically reconfigurable computing in embedded systems to guarantee that invariants of the design are respected. This reorganization is considered as a visual transformation of the logical configuration by the formulated rules. The invariant is recognized under the restructuring of the configuration using reconfiguration rules.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allwein G, Barwise J (1996) Logical reasoning with diagrams. Oxford University Press, Oxford

  2. Bowen JP, Hinchey MG (2004) Formal methods. In: Tucker AB Jr (ed) Computer science handbook, 2nd edn, Sect XI, Software engineering. Chapman and Hall/CRC, ACM, London, Chap 106, pp 106-1–106-25

  3. Brualdi RA (1999) Introductory combinatorics. Prentice Hall, Upper Saddle River, NJ

  4. Compton K, Hauck S (2002) Reconfigurable computing: a survey of systems and software. ACM Comput Surv 34(2):171–210

    Google Scholar 

  5. Distance F, Sami MG, Stefanelli R (1995) Fault-tolerance and reconfigurability issues in massively parallel architectures. IEEE, pp 340–349

  6. Gericota M, Alves G, Silva M, Ferreira J (2003) Runtime management of logic resources on reconfigurable systems. Design, automation and test in Europe conference (DATE’03), Munich, Germany, 3–7 March 2003, pp 974–979

  7. Graaf B, Lormans M, Toetenel H (2003) Embedded software engineering: the state of the practice. IEEE Softw 20(6):61–69

    Google Scholar 

  8. Gu Z, Kodase S, Wang S, Shin KG (2003) A model-based approach to system-level dependency and real-time analysis of embedded software. In: 9th IEEE symposium on real-time and embedded technology and applications, Toronto, 27–30 May 2003, pp 78–87

  9. Guo S, Luk W (2001) An integrated system for developing regular array designs. J Syst Architect 40:315–337

    Google Scholar 

  10. Heckel R (ed) (2004) Graph transformation and visual modelling techniques (GT-VMT). Electronic notes in theoretical computer science, 14 (vol 109)

  11. Hinchey MG, Bowen JP (eds) (1999) Industrial-strength formal methods in practice. FACIT series, Springer, Berlin Heidelberg New York

  12. Horta E, Lockwood JW (2001) PARBIT: A tool to transform bitfiles to implement partial reconfiguration of field programmable gate arrays (FPGAs). Technical report WUCS-01-13, Washington University, Department of Computer Science, St Louis

  13. Jamnik M (2002) Mathematical reasoning with diagrams: from intuition to automation. CSLI Press, Stanford, CA. University of Chicago Press, Chicago

  14. Kodase S, Wang S, Shin KG (2003) Transforming structural model to runtime model of embedded software with real-time constraints. Design, automation and test in Europe conference (DATE’03), Munich, Germany, 3–7 March 2003, pp 170–175

  15. Kuester-Filipe J, Poernomo I, Reussner R, Shukla S (eds) (2004) Formal foundations of embedded software and component-based software architectures (FESCA). Electronic notes in theoretical computer science, vol 108

  16. Michalewicz Z, Fogel DB (2000) How to solve it: modern heuristics. Springer, Berlin Heidelberg New York

  17. Vinh PC, Bowen JP (2004) On the visual representation of configuration in reconfigurable computing. Electronic notes in theoretical computer science, vol 109, pp 3–15

  18. Vinh PC, Bowen JP (2004) An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. In: Proceedings of the 12th ACM international symposium on field-programmable gate arrays (FPGA 2004), Monterey, CA, 22–24 February 2004, p 254

Download references

Author information

Authors and Affiliations

  1. London South Bank University [Centre for Applied Formal Methods, Institute for Computing Research Faculty of BCIM], Borough Road, London, SE1 0AA, UK

    Phan C. Vinh & Jonathan P. Bowen

Authors
  1. Phan C. Vinh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jonathan P. Bowen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Phan C. Vinh.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vinh, P., Bowen, J. Continuity aspects of embedded reconfigurable computing. Innovations Syst Softw Eng 1, 41–53 (2005). https://doi.org/10.1007/s11334-005-0003-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-005-0003-3

Keywords

Search

Navigation