Problems of Abstract Representation of Embedded Systems at High-level Stages Design

Alexey Platunov, Pavel Kustarev

Abstract

Conditions and nature of embedded systems design demand today serious revision of techniques and technologies of their creation. To a considerable degree artificial dividing the computer system into hardware (HW) and software (SW) components and, moreover, allocation of the SW industry in a separate sphere only aggravates the situation. One of the ways of this problem decision can be usage of architectural abstractions system directed on the creation of an integrated design space of the computational process organization in which for the computer system a representation of traditional HW and SW implementations becomes unified, there are obviously functional and nonfunctional aspects of designing and the tool component is integrated.

References

  1. Ferrari, A., Sangiovanni-Vincentelli, A.: System Design: Traditional Concepts and New Paradigms. Proceedings of the 1999 Int. Conf. On Comp. Des., Austin (1999).
  2. Jackson, E., Sztipanovits, J.: Using Separation of Concerns for Embedded Systems Design. Conference paper EMSOFT'05, Jersey City, New Jersey, USA (2005).
  3. Kovyazin, R.: Information-control systems design as task target actualization. Scientifictechnical bulletin SPbSU ITMO, Vol.45, Saint-Petersburg, Russia (2007), 79-85 (in Russian).
  4. Kovyazin, R., Postnikov, N.: Local regulators creation on the basis of virtual machine with a dynamic instruction set. Scientific-technical bulletin SPbSU ITMO, Vol.32, SaintPetersburg, Russia (2006), 55-62 (in Russian).
  5. Lavagno, L., Sangiovanni-Vincentelli, A., Sentovich, E.: Models of Computation for Embedded System Design. - 1998 NATO ASI Proceedings on System Synthesis, Il Ciocco (1998), 57.
  6. Lee, E.: Embedded Software. Technical Memorandum UCB/ERL M01/26. University of California, Berkeley (2001).
  7. Lee, E., Neuendorffer, S., Wirthlin, M.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, Vol. 12, No. 3 (2003) 231- 260.
  8. Lukichev, A.: Computational mechanisms as the tool of embedded systems design. Scientific-technical bulletin SPbSU ITMO, Vol.45, Saint-Petersburg, Russia (2007), 58-64 (in Russian).
  9. Lukichev, A.: Denotative-objective model of computation for the embedded systems, Author's abstract of dissertation. SPbSU ITMO, Saint-Petersburg, Russia (2008) (in Russian).
  10. Platunov, A., Postnikov, N.: Formalization perspectives of embedded systems design methods. Electronic components, No.1, Moscow, Russia (2005), 24-29 (in Russian).
  11. Postnikov, N.: Behavioral and tool aspects of embedded computer systems design, Author's abstract of dissertation. SPbSU ITMO, Saint-Petersburg, Russia (2004) (in Russian).
  12. Sangiovanni-Vincentelli, A.: "Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design". Proceedings of the IEEE, 95(3) (2007) 467-506.
  13. Sangiovanni-Vincentelli, A., Martin, G.: A Vision for Embedded Software. Proceedings of CASES 2001. Atlanta, Georgia, USA (2001).
  14. Aspect-Oriented Software Development conference WEB-page [online]. Available: http://www.aosd.net.
  15. SPbSU ITMO Computer science department, embedded computer system sector WEBpage[online]. Available: http://embedded.ifmo.ru (in Russian).
Download


Paper Citation


in Harvard Style

Platunov A. and Kustarev P. (2009). Problems of Abstract Representation of Embedded Systems at High-level Stages Design . In Proceedings of the International Workshop on Networked embedded and control system technologies: European and Russian R&D cooperation - Volume 1: Workshop NESTER, (ICINCO 2009) ISBN 978-989-674-004-7, pages 100-107. DOI: 10.5220/0002269201000107


in Bibtex Style

@conference{workshop nester09,
author={Alexey Platunov and Pavel Kustarev},
title={Problems of Abstract Representation of Embedded Systems at High-level Stages Design},
booktitle={Proceedings of the International Workshop on Networked embedded and control system technologies: European and Russian R&D cooperation - Volume 1: Workshop NESTER, (ICINCO 2009)},
year={2009},
pages={100-107},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002269201000107},
isbn={978-989-674-004-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Workshop on Networked embedded and control system technologies: European and Russian R&D cooperation - Volume 1: Workshop NESTER, (ICINCO 2009)
TI - Problems of Abstract Representation of Embedded Systems at High-level Stages Design
SN - 978-989-674-004-7
AU - Platunov A.
AU - Kustarev P.
PY - 2009
SP - 100
EP - 107
DO - 10.5220/0002269201000107