Abstract Modeling of embedded Systems Hardware

Christian Hausner, Frank Slomka

2013

Abstract

Designing cyber-physical systems is a challenge originating from the multidisciplinary and mixed-signal requirements. In order to handle this challenge, many design languages have been developed, but none covers the platform-based design and system view well. In this paper we extend our methodology by considering the aspects of the platform. A new abstraction layer, the domain layer is explained. This new layer allows the description of embedded hardware as well as system on chips in a way which can be easily understood by application or software engineers as well as hardware engineers. It closes the gap between hardware structure diagrams as given by hardware designers on system level and class diagrams as used by software engineers. Together with a new diagram type to describe hardware structures on system level the approach opens a door to describe the binding or deployment of software to operating system services and hardware in a formal way considering aspects of memory management and the structure of address spaces. Aspects not covered by common system description languages.

References

  1. AUTOSAR development cooperation (2013). AUTomotive Open System ARchitecture. http://www.autosar.org/.
  2. Boulet, P., Marquet, P., Piel, Ó., and Taillard, J. (2007). Repetitive allocation modeling with marte. In Forum on specification and design languages (FDL07).
  3. Carloni, L., De Bernardinis, F., Pinello, C., SangiovanniVincentelli, A., and Sgroi, M. (2005). Platform-Based Design for Embedded Systems. In The Embedded Systems Handbook. R. Zurawski (Ed.).
  4. Gajski, D. (1992). High-Level Synthesis. Kluwer.
  5. Lee, E. (2008). Cyber physical systems: Design challenges. In 11th IEEE Symposium on Object Oriented RealTime Distributed Computing (ISORC).
  6. Liehr, A., Rolfs, H., Buchenrieder, K., and Nageldinger, U. (2008). Generating marte allocation models from activity threads. In Forum on Specification, Verification and Design Languages (FDL08), pages 215-220. IEEE.
  7. Marwedel, P. (2011). Embedded Systems Design - Embedded Systems Foundations of Cyber-Physical Systems. Springer, 2nd edition.
  8. Object Management Group (OMG) (2010). OMG Systems Modeling Language, version 1.2 (OMG SysML). http://www.sysml.org/specs/.
  9. Object Management Group (OMG) (2011). Modeling and Analysis of Real Time and Embedded systems, version 1.1 (MARTE). http://www.omg.org/ spec/MARTE/1.1/.
  10. Object Management Group (OMG) (2013). Unified Modeling Langauge (UML). http://www.uml.org/.
  11. Sangiovanni-Vincentelli, A. and Martin, G. (2001). Platform-Based Design and Software Design Methodology for Embedded Systems. In IEEE Design and Test of Computers, volume 18, pages 23-33.
  12. Slomka, F., Kollmann, S., Moser, S., and Kempf, K. (2011). A multidisciplinary design methodology for cyberphysical systems. In 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC).
  13. Sommerville, I. (2001). Software Engineering. Pearson Studium.
  14. Teich, J., Blickle, T., and Thiele, L. (1997). An evolutionary approach to system-level synthesis. In CODES, pages 167-172.
Download


Paper Citation


in Harvard Style

Hausner C. and Slomka F. (2013). Abstract Modeling of embedded Systems Hardware . In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 251-258. DOI: 10.5220/0004594802510258


in Bibtex Style

@conference{simultech13,
author={Christian Hausner and Frank Slomka},
title={Abstract Modeling of embedded Systems Hardware},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={251-258},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004594802510258},
isbn={978-989-8565-69-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Abstract Modeling of embedded Systems Hardware
SN - 978-989-8565-69-3
AU - Hausner C.
AU - Slomka F.
PY - 2013
SP - 251
EP - 258
DO - 10.5220/0004594802510258