SysteMoC
Darstellung von Berechnungsmodellen in SystemC
The automatic identification of models of computation is the key for analysis as weel as efficient synthesis for hardware/sofwtare systems. Programming language like Java, C++, etc. are Turing-complete and mostly restrict the analysis and synthesis. Here, the project SysteMoC is located. Based on the system design language SystemC, coding styles are defined which permit the identification of the underlying model of computation and, hence, allow for analysis and efficient synthesis of hardware/software systems.
SysteMoC – Download
Disclaimer
The SysteMoC library is licensed under the GNU LIBRARY GENERAL PUBLIC LICENSE (LGPL).
SysteMoC releases
Linux sources: systemoc-top–release–0.9.4.tgz (OpenPG signature)
SysteMoC development
Development snapshots can be downloaded from its GitHub page.
GPG key used for library signature
-----BEGIN PGP PUBLIC KEY BLOCK----- Version: GnuPG v1.4.5 (GNU/Linux) mQGiBDo8Qn8RBADTQhf5Noaeek3e73AJkFigJ+/A3trzY8x+jxcUKzeXJHILedmn Xxs5O4eMWe4DA/nTD6ynufMUC43WcY0U48rOekHWmdnPpVRKzXXKly3cx5MOmTFM RO1AcgLeQqNP8xJPQHFJbiIxzW3zmKvQjyR1BMP6wi/8JyV/YFQMiKWlWQCg/99h E1jNSW0uiiZLfNJaoGiVhQsEAJMrsvKiEmx+sOnnKIMYTfK6JpihyGwp7y2NTd+6 lamodJmsYDykusiN5VwVJCEcLrp1n7KUp9o9GAXTwgFHEiDMScvy7ACLfT8s+Bia ugCL9NOeVMleza2TNH8EBkIPoOEZY6yZvPASYFwL1YYbL1iSMFFRnLnsraC+u+C2 XXPjA/9Rb/jHrGLeYknq+guy1n2dwXMgmJpynHOVQ/NU8AWZPJEeBfZUGldX5OJS FfT1Gv0AudXldT5A1dnJB7zYeGyJpBML5jSEh4U90Z1Q7IowLnIkii+2ogdJuEUZ OazeqGisnzsW13U+OH5Jp+e4VkWJs1YdxhIrTVBjvPsn5Z1FxbQ9Sm9hY2hpbSBG YWxrIChDb3Jwb3JhdGUgS2V5IHVuaS1lcmxhbmdlbi5kZSkgPGZhbGtAY3MuZmF1 LmRlPohnBBMRAgAnAhsDBQkQEvruBgsJCAcDAgMVAgMDFgIBAh4BAheABQJA6ULr AhkBAAoJECsGXILOeY1DaCAAoInCIO2ATlB1EPAuZOlK/j0LcdDzAKDPE9xrZLws zn/Z3eiRl2kEkL9MgohMBBMRAgAMBQJB8WnjBYMIXdOKAAoJEPwZ4zat8x5yic0A nRPeHNQpnGP9hbxI6CCnwr9MQFwHAJ9ysxnTA0+A7yeHR+lCpu3Z012NX7kBDQQ6 PEKLEAQA649CL49tSsK6lKJhwHbftfCA1g6RX3hmISDUC4/Ry22IE7oojbLRPsaL DrNzt57Mswipi3Pfj1rgfRV+Nnk5dGHPjAYdF276BHveFsg+19YzU2R4x+omVgy6 zS1M14qQF0i8qHojQ72DcvS246EJE1md4xOvAW3h+5W7x3wHFRkAAgID/3GJShy9 vN6MNRlZ4jPqmRloAP/PqFBb4SWnDrz7wXMJ/0nIZHPuYzf/W9dbekCiQ7BNpo0U GDjxSBOjZHy3bif2ayV1A2GCT0OR5uVisohEF6rujZ3sBa0z6oX++mCQY067w50T pfk7NeXMBYX2WhxHWrNhoe2lHvPV6y806e50iD8DBRhA6TwxKwZcgs55jUMRAvDq AJwKKMkv6QLekFYL04+7zaQ/94rGMgCg4N8FiPt9y7uDjmKIc4+PYMFq4oqZAQ0E SWy/pgEIALaXRcEQ3nRKLj8zXC5yPKi4AAN014gdHCpu4y4vnipeNvHR5yp/wE+8 IFSTDWs/AWoSoy9QPVslX2KaBwxiFkuPjkuCnID1LodO3w4yzEJH5inxgR+Z8h8J dB4aBxTlFK1gR4nYc7i1QowhYjZjF9phv4ju8JjpbAbNlKuIcENbb8dJ0hBD/RLC bHn3p6SsvuwTJJHbYMU9PIJmmJN3ld2UG3uiz+r3aXfkzaetu25Csm0JZEW666P/ oSU1Pqi7B0FWh3m2e9SInO6Ishr0NOrYOSHb8d/+7X6iW11UVgrus1bmD902jytN LJ/y+zFEhJfiFsXEXJ1PgOurPjk8jyMAEQEAAbQdSm9hY2hpbSBGYWxrIDxmYWxr QGNzLmZhdS5kZT6JATwEEwECACYFAklsv6YCGy8FCQlmAYAGCwkIBwMCBBUCCAME FgIDAQIeAQIXgAAKCRAz+ZbPPW28s82bCAC2XmmDTPZ+JZY8Z0ij+eCQ6Hmb1COp DYeSLJdVbqnjVCTqeIPx651UpPzz6xWx4HQtz68wn+Ek8K1/qnHaHONrqkg5rxTM As4QCOb7n59OWOfCI2dcYRc03E6y25iKCTGNkOqTeiHI0DtRLy9/EBrzgDlpd0O3 RrGe3D4Py7yMIJ4oY3E1A+z11hyHWWjjD2IZvLHy/mzJaXkuU95rn4MidrqtE7mW C64gvng3XLkhwXwK+JsaXAd5duFds1qFY1QBNVR+n7eOLR5iuvA10LwmjgHZnbdf aB4l3AmlU4yeC3TEtQT6DHpiFNB6gsDE1QZ0dThD/bm+5zs5fqj1vRc1iEYEEBEC AAYFAklswMQACgkQ/BnjNq3zHnLMHwCbBCH5dOi7gYF/fYwNyrmZb0kD6mkAn29w 3IELIFm1lSP/EJyNtskrmrm5iEYEEBECAAYFAklswfsACgkQKwZcgs55jUMG8QCg 4vTqmSzR2Dx+uttmq3PaNG3qgE4AoO22joPVv5y5TkXri9bD0O1cCNU2 =VhUi -----END PGP PUBLIC KEY BLOCK-----
Publications
2019
- Schwarzer T., Falk J., Müller S., Letras M., Heidorn C., Wildermann S., Teich J.:
Compilation of Dataflow Applications for Multi-Cores using Adaptive Multi-Objective Optimization
In: ACM Transactions on Design Automation of Electronic Systems 24 (2019), Article No.: 29
ISSN: 1084-4309
DOI: 10.1145/3310249
BibTeX: Download
2017
- Falk J., Haubelt C., Teich J., Zebelein C.:
SysteMoC: A Data-Flow Programming Language for Codesign
In: Ha S, Teich J (ed.): Handbook of Hardware/Software Codesign, Dordrecht, The Netherlands: Springer, 2017, p. 59 - 97
ISBN: 978-94-017-7266-2
BibTeX: Download - Letras M., Falk J., Wildermann S., Teich J.:
Automatic Conversion of Simulink Models to SysteMoC Actor Networks
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES) (Sankt Goar, 12. June 2017 - 13. June 2017)
DOI: 10.1145/3078659.3078668
BibTeX: Download
2015
- Falk J.:
A Clustering-Based MPSoC Design Flow for Data Flow-Oriented Applications (Dissertation, 2015)
DOI: 10.13140/RG.2.1.5029.5763
BibTeX: Download
2013
- Glock S., Rosales R., Reutelhuber F., Glaß M., Teich J., Fischer G., Weigel R., Ußmüller T.:
Scenario-Based Energy Estimation of Heterogeneous Integrated Systems at System Level
43rd European Microwave Conference (EuMC) (Nuremberg, 7. October 2013 - 10. October 2013)
In: Proc. 43rd European Microwave Conference 2013
BibTeX: Download - Graf S., Glaß M., Teich J.:
Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Warnemünde, 12. March 2013 - 14. March 2013)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Rostock: 2013
BibTeX: Download - Xu Y., Wang B., Hasholzner R., Rosales R., Teich J.:
On robust task-accurate performance estimation
50th Annual Design Automation Conference, DAC 2013 (Austin, TX, 2. June 2013 - 6. June 2013)
In: Proceedings of the 50th Design Automation Conference (DAC 2013) 2013
DOI: 10.1145/2463209.2488945
BibTeX: Download - Xu Y., Wang B., Rosales R., Hasholzner R., Teich J.:
On confident task-accurate performance estimation
26th International Conference on Architecture of Computing Systems, ARCS 2013 (Prague)
In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS) 2013
DOI: 10.1007/978-3-642-36424-2_3
BibTeX: Download
2012
- Graf S., Glaß M., Teich J.:
Unreliable Data Transmissions and Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Kaiserslautern, 5. March 2012 - 7. March 2012)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Hamburg, Germany: 2012
BibTeX: Download - Graf S., Russ T., Glaß M., Teich J.:
Considering MOST150 during Virtual Prototyping of Automotive E/E Architectures
Automotive meets Electronics (AmE), GMM Fachbericht 72 (Dortmund)
In: Proc. of Automotive meets Electronics (AmE), GMM Fachbericht 72, Berlin, Germany: 2012
BibTeX: Download - Xu Y., Rosales R., Wang B., Streubühr M., Hasholzner R., Haubelt C., Teich J.:
A very fast and quasi-accurate power-state-based system-level power modeling methodology
25th International Conference on Architecture of Computing Systems, ARCS 2012 (Munich)
In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS) 2012
DOI: 10.1007/978-3-642-28293-5_4
BibTeX: Download - Zebelein C., Falk J., Haubelt C., Teich J.:
A model-based inter-process resource sharing approach for high-level synthesis of dataflow graphs
2nd Electronic System Level Synthesis Conference, ESLsyn 2012 (San Francisco, CA, 2. June 2012 - 3. June 2012)
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84866155902&origin=inward
BibTeX: Download - Zebelein C., Falk J., Haubelt C., Teich J.:
Exploiting Model-Knowledge in High-Level Synthesis
Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’12) (Kaiserslautern, 5. March 2012 - 7. March 2012)
In: Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’12) 2012
BibTeX: Download - Zhang L., Glaß M., Streubühr M., Teich J., von Schwerin A., Liu K.:
Actor-oriented Modeling and Simulation of Cut-through Communication in Network Controllers
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Kaiserslautern, 5. March 2012 - 7. March 2012)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Hamburg, Germany: 2012
BibTeX: Download - Zhang L., Streubühr M., Glaß M., Teich J., von Schwerin A., Liu K.:
System-Level Modeling and Simulation of Networked PROFINET IO Controllers
Embedded World Conference (Nuremberg, 28. February 2012 - 1. March 2013)
In: Proc. of the Embedded World Conference, Kissingen, Germany: 2012
BibTeX: Download
2011
- Falk J., Zebelein C., Haubelt C., Teich J.:
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis
14th Design, Automation and Test in Europe Conference and Exhibition, DATE 2011 (Grenoble, 14. March 2011 - 18. March 2011)
In: Proceedings of Design, Automation and Test in Europe (DATE'11) 2011
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=79957549287&origin=inward
BibTeX: Download - Glock S., Fischer G., Weigel R., Hasholzner R., Ußmüller T.:
A state-based power estimation methodology at system level for integrated RF front-ends
In: Semiconductor Conference Dresden 2011 2011
DOI: 10.1109/SCD.2011.6068723
BibTeX: Download - Graf S., Streubühr M., Glaß M., Teich J.:
Analyzing Automotive Networks using Virtual Prototypes
Automotive meets Electronics (AmE), GMM Fachbericht 69 (Dortmund, Germany)
In: Proceedings of the Automotive meets Electronics (AmE2011), GMM Fachbericht 69, Berlin: 2011
BibTeX: Download - Kutzer P., Streubühr M., Haubelt C., Teich J., von Schwerin A.:
Actor-oriented Modeling of Industrial Ethernet in the Automation Domain Using SystemC
Embedded World Conference (Nuermberg, 1. March 2011 - 3. March 2011)
In: Proceedings of the Embedded World Conference 2011
BibTeX: Download - Streubühr M., Rosales R., Hasholzner R., Haubelt C., Teich J.:
ESL Power and Performance Estimation for Heterogeneous MPSoCs Using SystemC
Forum on specification and Design Languages 2011 (Oldenbúrg, 13. September 2011 - 15. September 2011)
In: Forum on specification and Design Languages 2011 2011
BibTeX: Download
2010
- Falk J., Zebelein C., Haubelt C., Teich J., Dorsch R.:
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models
3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Dresden, 22. February 2010 - 24. February 2010)
In: 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
BibTeX: Download - Falk J., Zebelein C., Keinert J., Haubelt C., Teich J., Bhattacharyya SS.:
Analysis of systemc actor networks for efficient synthesis
In: ACM Transactions on Embedded Computing Systems 10 (2010), Article No.: 18
ISSN: 1539-9087
DOI: 10.1145/1880050.1880054
BibTeX: Download - Kiesel R., Löhlein O., Terzis A., Streubühr M., Haubelt C., Teich J.:
Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Dresden)
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
BibTeX: Download - Streubühr M., Gladigau J., Haubelt C., Teich J.:
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs
2010
ISBN: 9789048193035
DOI: 10.1007/978-90-481-9304-2_4
BibTeX: Download
2009
- Keinert J., Streubühr M., Schlichter T., Falk J., Gladigau J., Teich J., Haubelt C., Meredith M.:
SYSTEMCODESIGNER - An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications
In: ACM Transactions on Design Automation of Electronic Systems 14 (2009), p. 1-23
ISSN: 1084-4309
DOI: 10.1145/1455229.1455230
BibTeX: Download - Streubühr M.:
Model-based Virtual Prototyping for Automotive Applications
3rd Chinese-German Summer School (Erlangen)
In: Proceedings of the 3rd Chinese-German Summer School 2009
BibTeX: Download - Streubühr M., Gladigau J., Haubelt C., Teich J.:
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs
2009 Forum on Specification and Design Languages, FDL 2009 (Sophia Antipolis, 22. September 2009 - 24. September 2009)
In: Forum on specification and Design Languages 2009 2009
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=77951563792&origin=inward
BibTeX: Download - Streubühr M., Haubelt C., Teich J.:
System Level Performance Simulation for Heterogeneous Multi-Processor Architectures
1st HiPEAC Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), in conjunction with the 4th HiPEAC Conference (Paphos, 25. January 2009 - 25. January 2009)
In: 1st HiPEAC Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), in conjunction with the 4th HiPEAC Conference 2009
BibTeX: Download - Streubühr M., Jäntsch M., Haubelt C., Teich J.:
From Model-based Design to Virtual Prototypes for Automotive Applications
Embedded World Conference (Nuremberg, 3. March 2009 - 5. March 2009)
In: Proceedings of the Embedded World Conference 2009
BibTeX: Download
2008
- Falk J., Keinert J., Haubelt C., Teich J., Bhattacharyya SS.:
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications
8th ACM & IEEE international conference on Embedded software (EMSOFT'2008) (Atlanta, Georgia, 20. October 2008 - 22. October 2008)
In: Proc. of the 8th ACM & IEEE international conference on Embedded software (EMSOFT'2008) 2008
BibTeX: Download - Haubelt C., Schlichter T., Keinert J., Meredith M.:
SystemCoDesigner: Automatic design space exploration and rapid prototyping from behavioral models
45th Design Automation Conference, DAC (Anaheim, CA, 8. June 2008 - 13. June 2008)
In: Proceedings of 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008) 2008
DOI: 10.1109/DAC.2008.4555883
BibTeX: Download - Streubühr M., Jäntsch M., Haubelt C., Teich J., Schneider A.:
Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models
11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Freiburg, 3. March 2008 - 5. March 2008)
In: 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2008
BibTeX: Download - Zebelein C., Falk J., Haubelt C., Teich J.:
Classification of general data flow actors into known models of computation
6th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'08 (Anaheim, CA, 5. July 2008 - 7. July 2008)
In: Proc. of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008) 2008
DOI: 10.1109/MEMCOD.2008.4547699
BibTeX: Download
2007
- Haubelt C., Falk J., Keinert J., Schlichter T., Streubühr M., Deyhle A., Hadert A., Teich J.:
A SystemC-based Design Methodology for Digital Signal Processing Systems
In: EURASIP Journal on Embedded Systems 2007 (2007), p. Article ID 47580, 22 pages
ISSN: 1687-3955
DOI: 10.1155/2007/47580
BibTeX: Download - Keinert J., Falk J., Haubelt C., Teich J.:
Actor-oriented modeling and simulation of sliding window image processing algorithms
2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2007 (Salzburg, 4. October 2007 - 5. October 2007)
In: Proceedings of the 2007 IEEE/ACM/IFIP Workshop of Embedded Systems for Real-Time Multimedia (ESTIMEDIA 2007) 2007
DOI: 10.1109/ESTMED.2007.4375815
BibTeX: Download
2006
- Falk J., Haubelt C., Teich J.:
Efficient Representation and Simulation of Model-Based Designs in SystemC
FDL'06, Forum on Design Languages 2006 (Darmstadt, 29. September 3006 - 22. September 2006)
In: Proceedings FDL'06, Forum on Design Languages 2006 2006
BibTeX: Download - Streubühr M., Falk J., Teich J., Haubelt C., Dorsch R., Schlipf T.:
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Design, Automation and Test in Europe, DATE'06 (Munich, 6. March 2006 - 10. March 2006)
In: Proceedings of Design, Automation and Test in Europe (DATE 2006), IEEE Computer Society 2006
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=34047100936&origin=inward
BibTeX: Download - Teich J.:
Timing Analysis of Systems of Communicating Tasks with Internal State
In: Technical Report 01-2006,, 2006
BibTeX: Download
(Techreport) - Teich J.:
Stochastic Timing Analysis of Communicating Tasks with Internal State
In: Technical Report 02-2006, 2006
BibTeX: Download
(Techreport)
2005
- Falk J., Haubelt C., Teich J.:
Syntax and execution behavior of SysteMoC
In: Technical Report 04-2005, 2005
BibTeX: Download
(Techreport) - Falk J., Haubelt C., Teich J.:
Representing Models of Computation in SystemC
GI/ITG/GMM-Workshop 2005 (Munich, 6. April 2005 - 7. April 2005)
BibTeX: Download