COSEDA Technologies Publications

Find valuable resources recommended by COSEDA Technologies:

Arndt, T., 2011a. Modellbasierter Entwurf eingebetteter Software für heterogene Systeme mit  UML und SystemC AMS. Presented at the CPMNS 2010, Cyber-Physical Systems - Enabling Multi-Nature Systems, Universität Bremen, pp. 51–56.

Arndt, T., 2011b. Modellbasierter Entwurf heterogener Systeme unter Verwendung von  UML-Zustandsdiagrammen und SystemC AMS. Presented at the Automotive meets electronics. Beiträge der 2. GMM-Fachtagung 2011. CD-ROM, VDE-Verlag, pp. 16–22.

Arndt, T., n.d. Modellbasierter Entwurf heterogener Systeme unter Verwendung von UML und  SystemC AMS.

Arndt, T., Einwich, K., Presting, H., 2012. Restbus-Simulation unter Verwendung virtueller Prototypen. Presented at the AmE 2012, Automotive meets Electronics. CD-ROM, VDE-Verlag, pp. 110–115.

Arndt, T., Einwich, K., Schmidt, S., Neumann, I., 2010a. Gesamtsystemmodellierung zum heterogenen Systementwurf auf TIER-1 Ebene. Presented at the AmE 2010 - Automotive meets electronics. CD-ROM, VDE-Verlag, pp. 100–105.

Arndt, T., Uhle, T., Einwich, K., Neumann, I., 2010b. Using SystemCAMS for heterogeneous systems modelling at TIER-1 level. Presented at the Forum on Specification and Design Languages, FDL 2010. Proceedings, IEEE, pp. 228–233.

Barnasconi, M., Dietrich, M., Einwich, K., Vortler, T., Lucas, R., Chaput, J.P., Pecheux, F., Wang, Z., Cuenot, P., Neumann, I., Nguyen, T., 2015. UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. Design & Test, IEEE PP, 1. doi:10.1109/MDAT.2015.2427260

Barnasconi, M., Einwich, K., Grimm, C., Pecheux, F., 2010. Tutorials: Application of the SystemC AMS 1.0 standard. Presented at the Design, Automation and Test in Europe 2010. Proceedings, IEEE.

Barnasconi, M., Pecheux, F., Vörtler, T., 2014. Advancing system-level verification using UVM in SystemC. Presented at the DVCon.

Benny Höckner, P.H. Peter Sauer, Thilo Voertler and Thomas Hinze, n.d. Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems, in: 20th International Conference on Applications of Declarative Programming and Knowledge Management.

Clauß, C., Haase, J., Markwirth, T., 2008. Statistische Analyse mit dem SAE Standard J2748. Presented at the Modellierung, Regelung und Simulation in Automotive und Prozessautomation, ARGESIM, p. 7.

Ehrlich, P., Vörtler, T., Nguyen, T., 2014. UVM-SystemC based hardware in the loop simulations for accelerated Co-Verification. Presented at the DVCon Europe.

Einwich, C., Schwarz, P., Trappe, P., Zojer, H., 1996. Simulatorkopplung für den Entwurf komplexer Schaltkreise der  Nachrichtentechnik. Presented at the Mikroelektronik für die Informationstechnik. Vorträge der ITG-Fachtagung  am 18. und 19. März 1996 in Chemnitz, VDE-Verlag, pp. 139–144.

Einwich, K., 2011. Virtual prototyping for smart systems for electric, safe and networked  mobility. Presented at the Advanced microsystems for automotive applications 2011, Springer, pp. 305–314.

Einwich, K., 2011. Introduction to the SystemC AMS extension standard. Presented at the 14th IEEE International Symposium on Design and Diagnostics of Electronic  Circuits and System, DDECS 2011, IEEE, pp. 6–8.

Einwich, K., 2010. SystemC AMS extensions. 2010 Forum on Specification & Design Languages (FDL 2010) 1. doi:10.1049/ic.2010.0170

Einwich, K., 1999. DUT-Modellierung für den virtuellen Test. Presented at the 11. ITG-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und  Systemen 1999, Informationstechnische Gesellschaft -ITG-, pp. 86–89.

Einwich, K., n.d. Application of SystemC-AMS: Presentation held at the International  Workshop on Power and Timing Modeling, Optimization and Simulation 2009, Delft,  The Netherlands.

Einwich, K., n.d. AutoSUN - Entwurf von elektronischen Automobil-Systemen aus  toleranzbehafteten Baugruppen: Vortrag gehalten auf dem edaworkshop, Hannover,  4.-5. Mai 2010.

Einwich, K., n.d. SystemC AMS for the design of complex analog mixed signal SoC’s:  Presentation held at edaWorkshop 2009, Dresden, Germany, May 26-28, 2009.

Einwich, K., Altmann, S., Leitner, T., Hoppenstock, R., Krampl, G., Sattler, S., 1999a. Applying high-level virtual test to a complex mixed-signal  telecommunication circuit. Presented at the 5th IEEE International Mixed Signal Testing Workshop 1999, IEEE, pp. 91–95.

Einwich, K., Arndt, T., 2012. SystemC-AMS basierte Modellierung, Simulation und HiL Echtzeitsimulation  für Anwendungen der Automobilelektronik. Presented at the ASIM-Konferenz STS/GMMS 2012. Simulation technischer Systeme. Grundlagen  und Methoden in Modellbildung und Simulation, ARGESIM-Verl, pp. 203–208.

Einwich, K., Bastian, J., Clauß, C., Eichler, U., Schneider, P., 2006a. SystemC-AMS extension library for modeling conservative nonlinear dynamic  systems. Presented at the Ninth International Forum on Specification and Design Languages. FDL 2006.  Proceedings, ECSI, pp. 113–118.

Einwich, K., Clauß, C., Noessing, G., Schwarz, P., Zojer, H., n.d. SystemC Extensions for Mixed-Signal System Design, in: Fourth International Forum on Design Languages, FDL’01, Proceedings.

Einwich, K., Grimm, C., Barnasconi, M., Vachoux, A., 2009. Introduction to the SystemC AMS DRAFT standard. Presented at the IEEE International SOC Conference, SOCC 2009, IEEE, p. 446.

Einwich, K., Haase, J., Knöchel, U., 2006b. Modellierungssprachen beim Entwurf komplexer analoger und  Mixed-Signal-Systeme. Presented at the ANALOG ’06. Entwicklung von Analogschaltungen mit CAE-Methoden mit dem  Schwerpunkt Fertigungsgerechter und ausbeuteorientierter Entwurf robuster  nanoelektronischer Schaltungen, VDE-Verlag, pp. 9–10.

Einwich, K., Knöchel, U., Schwarz, P., 1999b. Modellierung und Simulation nachrichtentechnischer Schaltungen und Systeme. Presented at the Simulationstechnik. 13. Symposium. Tagungsband, SCS International, pp. 15–20.

Einwich, K., Krampl, G., Hoppenstock, R., Koutsandreas, P., Sattler, S., 1999c. A multi-level modeling approach rendering virtual test engineering (VTE)  economically viable for highly complex telecom circuits. Presented at the Design, Automation and Test in Europe Conference and Exhibition 1999.  Proceedings, IEEE Computer Society, pp. 227–231.

Einwich, K., Schwarz, P., Grimm, C., Meise, C., 2003a. SystemC-AMS. Rationales, state of the art, and examples, in: SystemC. Methodologies and Applications. Kluwer, Boston, pp. 273–297.

Einwich, K., Schwarz, P., Grimm, C., Waldschmidt, K., 2003b. Mixed-signal extensions for SystemC. SYSTEM SPECIFICATION AND DESIGN LANGUAGES 19–28.

Einwich, K., Schwarz, P., Trappe, P., Chambers, T., Krampl, G., Zojer, H., Sattler, S., 1998. Virtual test of complex mixed-signal telecommunication circuits reusing  system-level models. Presented at the 4th IEEE International Mixed Signal Testing Workshop, IEEE Computer Society, pp. 237–242.

Einwich, K., Uhle, T., 2010. SystemC AMS - holistic analog, digital, hardware and software system-level  modeling. EDA Tech Forum Journal 7, 28–33.

Einwich, K., Vachoux, A., Grimm, C., 2004. Towards analog and mixed-signal SOC design with SystemC-AMS. Presented at the DELTA 2004, Second IEEE International Workshop on Electronic Design, Test  and Applications. Proceedings, IEEE Computer Society, p. 97.

Ferreira, R.R., Klotz, T., Vortler, T., da Rolt, J., Nazar, G.L., Moreira, A.F., Carro, L., Einwich, K., 2014. Reliable execution of statechart-generated correct embedded software under soft errors. Presented at the Design and Diagnostics of Electronic Circuits & Systems, 17th International Symposium on, pp. 147–152. doi:10.1109/DDECS.2014.6868779

Hockner, B., Hofstedt, P., Kaltschmidt, S., Sauer, P., Vortler, T., 2013. Design space exploration for cyber physical system design using constraint solving. Presented at the Specification & Design Languages (FDL), 2013 Forum on, pp. 1–4.

Lucas, R., Cuenot Philippe, Louërat, M.-M., Li, Y., Wang, Zh., Chaput, J.-P., Pêcheux, F., Iskander, R., Barnasconi, M., Vörtler, T., 2014. Generation of UVM compliant Test Benches for Automotive Systems using IP-XACT with UVM-SystemC and SystemC AMS. Presented at the DVCon Europe.

Machne, T., Zhi Wang, Vernay, B., Andrade, L., Ben Aoun, C., Chaput, J.-P., Louerat, M.-M., Pecheux, F., Krust, A., Schropfer, G., Barnasconi, M., Einwich, K., Cenni, F., Guillaume, O., 2014. UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context, in: Electronics, Circuits and Systems (ICECS), 2014 21st IEEE International Conference on. Presented at the Electronics, Circuits and Systems (ICECS), 2014 21st IEEE International Conference on, pp. 862–865. doi:10.1109/ICECS.2014.7050122

Markwirth, T., n.d. Entwicklung einer SystemC Modellbibliothek zur  Transaktions-Level-Modellierung (TLM) für den Konzeptionsentwurf von Systemen  der Automobilelektronik.

Markwirth, T., Haase, J., Einwich, K., 2008. Statistical modeling with SystemC-AMS for automotive systems. Presented at the Forum on Specification Verification and Design Languages, FDL 2008, IEEE, pp. 247–248.

Markwirth, T., Schneider, P., Sörensen, A., Anton, M., Weber, J., 2006. Verhaltensmodellierung eines adaptiven leistungselektronischen  Mixed-Signal-ASIC - Erweiterung zur mechatronischen Systemsimulation. Presented at the ANALOG ’06. Entwicklung von Analogschaltungen mit CAE-Methoden mit dem  Schwerpunkt Fertigungsgerechter und ausbeuteorientierter Entwurf robuster  nanoelektronischer Schaltungen, VDE-Verlag, pp. 155–160.

Rafaila, M., Decker, C., Grimm, C., Einwich, K., Markwirth, T., Pelz, G., 2009. Case study of high-level verification of an automotive Window lifter ECU. Presented at the 7. GI/GMM/ITG-Workshop Multi-Nature Systems, Universität Ulm.

Reuther, C., Einwich, K., 2012. Eine Erweiterung des linearen Lösers in SystemC AMS für zeitlich  veränderliche Module. Presented at the 9. Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems, CPMNS  2012, Fraunhofer Verlag, pp. 37–42.

Rogin, F., Klotz, T., Fey, G., Drechsler, R., Rulke, S., 2009. Advanced verification by automatic property generation. IET Computers & Digital Techniques 3, 338–353.

Schneider, P., Bayer, C., Einwich, K., Köhler, A., 2012. System level simulation - a core method for efficient design of MEMS and  mechatronic systems. Presented at the 9th International Multi-Conference on Systems, Signals and Devices, SSD  2012, IEEE, p. 6.

Schneider, P., Eichler, U., Einwich, K., Schwarz, P., 2005. Model-based design of measurement systems. Presented at the SENSOR 2005. 12th international conference. Proceedings, AMA Service GmbH, pp. 323–328 (Vol.II).

Schneider, P., Eichler, U., Einwich, K., Schwarz, P., 2004. Simulationsgestützter Entwurf von Mess- und Prüfsystemen für Mikrosysteme. Presented at the 10. GMM-Workshop Methoden und Werkzeuge zum Entwurf von Mikrosystemen  2004. Tagungsband, FhG IZM - Advanced System Engineering, pp. 153–160.

Schulz, S., n.d. Implementierung eines konfigurierbaren VHDL-nach-SystemC-Konverters.

Schulz, S., Becker, J., Uhle, T., Einwich, K., Sonntag, S., 2010. Transmitting TLM transactions over analogue wire models. Presented at the Design, Automation and Test in Europe 2010. Proceedings, IEEE, pp. 1608–1613.

Schwarz, P., Clauß, C., Einwich, K., Knöchel, U., Matz, K., 1998. Hybride Simulation nachrichtentechnischer Systeme. Presented at the Simulationstechnik. 12. Symposium. Tagungsband, vdf - Hochschulverlag AG an der ETH Zürich, pp. 67–74.

Sommer, R., Rugen-Herzig, I., Hennig, E., Gatti, U., Malcovati, P., Maloberti, F., Einwich, K., Clauß, C., Schwarz, P., Noessing, G., 2002. From system specification to layout: Seamless top-down design methods for  analog and mixed-signal applications. Presented at the Design, Automation and Test in Europe Conference and Exhibition 2002.  Proceedings, IEEE Computer Society, pp. 884–891.

Speitel, M., Niemann, B., Braun, A., Einwich, K., Haubelt, C., Mayer, F., 2004. Modern design techniques with systemC. Automation and Test in Europe Conference and Exhibition Design 1, 34–35. doi:10.1109/DATE.2004.1268817

Uhle, T., Einwich, K., 2010. A SystemC AMS extension for the simulation of non-linear circuits. Presented at the IEEE 23rd International SOC Conference 2010, IEEE, pp. 193–198.

Uhle, T., Einwich, K., Haase, J., 2007. Efficient transient simulation of lossy coupled interconnects in digital  communication applications. Presented at the Tenth International Forum on Specification and Design Languages, FDL 2007.  Proceedings, European Electronic Chips & Systems design Initiative -ECSI-, p. 6.

Uhle, T., Einwich, K., Haase, J., 2006. Effiziente Simulation von Logikimpulsen auf verlustbehafteten  Mehrfachleitungen. Presented at the ANALOG ’06. Entwicklung von Analogschaltungen mit CAE-Methoden mit dem  Schwerpunkt Fertigungsgerechter und ausbeuteorientierter Entwurf robuster  nanoelektronischer Schaltungen, VDE-Verlag, pp. 249–254.

Vachoux, A., Grimm, C., Einwich, K., 2005. Extending SystemC to support mixed discrete-continuous system modeling and simulation. 2005. ISCAS 2005. IEEE International Symposium on Circuits and Systems 5166–5169. doi:10.1109/ISCAS.2005.1465798

Vachoux, A., Grimm, C., Einwich, K., 2003a. Analog and mixed signal modelling with SystemC-AMS. 2003. ISCAS ’03. Proceedings of the 2003 International Symposium on Circuits and Systems 3, III–914–III–917. doi:10.1109/ISCAS.2003.1205169

Vachoux, A., Grimm, C., Einwich, K., 2003b. SystemC-AMS requirements, design objectives and rationale. Automation and Test in Europe Conference and Exhibition Design 388–393. doi:10.1109/DATE.2003.1253639

Vasilevski, M., Pecheux, F., Beilleau, N., Aboushady, H., Einwich, K., 2008. Modeling and refining heterogeneous systems with systemC-AMS: Application  to WSN. Presented at the Design, Automation and Test in Europe, DATE 2008, IEEE, p. 6.

Vortler, T., Hockner, B., Hofstedt, P., Klotz, T., 2015. Formal Verification of Software for the Contiki Operating System Considering Interrupts, in: Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2015 IEEE 18th International Symposium on. Presented at the Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2015 IEEE 18th International Symposium on, pp. 295–298. doi:10.1109/DDECS.2015.59

Vörtler, T., Klotz, T., Einwich, K., Assmann Felix, 2015. Simplifying UVM in SystemC.

Vörtler, T., Klotz, T., Einwich, K., Li, Y., Wang, Zh., Louërat, M.-M., Chaput, J.-P., Pêcheux, F., Iskander, R., Barnasconi, M., 2014. Enriching UVM in SystemC with AMS extensions for randomization and functional coverage. Presented at the DVCon Europe.

Vörtler, T., Klotz, T., Fordran, E., Hofstedt, P., 2011. Formale Verifikation von Contiki-Anwendungen. Presented at the MBMV, pp. 39–48.

Vortler, T., Rulke, S., Hofstedt, P., 2012. Bounded model checking of Contiki applications. Presented at the Design and Diagnostics of Electronic Circuits Systems (DDECS), 2012 IEEE 15th International Symposium on, pp. 258–261. doi:10.1109/DDECS.2012.6219069

Yao Li, M.-M.L. François Pécheux, Ramy Iskander, Zhi Wang, Philippe Cuenot, Martin Barnasconi, Thilo Vörtler, Karsten Einwich, n.d. Virtual Prototyping, Verification and Validation Framework for Automotive Using SystemC, SystemC-AMS and UVM-SystemC, in: ERTS 2014.