gefördert vom BMBF
H.-J. Brand, St. Rülke:
"URANOS: Analysemethoden für den Entwurf anwendungsrobuster nanoelektronischer Systeme",
newsletter edacentrum 03/2005
G. Fey, S. Safarpour, A. Veneris, R. Drechsler, "On the Relation Between: Simulation-based and SAT-based Diagnosis", Design, Automation and Test in Europe (DATE), Munich, 2006
G. Fey, D. Große, R. Drechsler: "Avoiding False Negatives in Formal Verification for Protocol-Driven Blocks", Design, Automation and Test in Europe (DATE), Munich, 2006
D. Große, R. Siegmund, R. Drechsler: "Processor Verification", in Customizable and Configurable Embedded Processors, P. Ienne and R. Leupers (eds.), Elsevier, 2006
A. Viehl, O. Bringmann, W. Rosenstiel: "Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML", GI/ITG/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden, 2006
A. Viehl, T. Schönwald, O. Bringmann, W. Rosenstiel: "Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design", Design, Automation and Test in Europe (DATE), Munich, 2006
D. Große, U. Kühne, R. Drechsler: "HW/SW Co-Verification of Embedded Systems using Bounded Model Checking", Great Lakes Symposium on VLSI (GLSVLSI), 2006
H.-J. Brand, St. Rülke: "URANOS: Analysemethoden für den Entwurf anwendungsrobuster nanoelektronischer Systeme", Vortrag Ekompass-Workshop 2006, 16.-17. Mai 2006, Hannover
D. Große, J. Langer, R. Beckert, H. Süße, E. Fehlauer, F. Rogin, F. Dresig, C. Haufe, T. Berndt: "Analysemethoden für unsichere Anwendungsbedingungen", Poster Ekompass-Workshop 2006, 16.-17. Mai 2006, Hannover
A. Viehl, O. Bringmann, W. Rosenstiel: "Modellierung und Konformitätsprüfung von Systemanforderungen", Poster Ekompass-Workshop 2006, 16.-17. Mai 2006, Hannover
W. Hardt, A. Meisel: "Zuverlässigkeitsgetriebene Analyse für den Entwurf sicherheitskritischer Anwendungen", Poster Ekompass-Workshop 2006, 16.-17. Mai 2006, Hannover
M. Minor, D. Schmalen, A. Koldehoff: "Kontexterfassung und agile Workflow-Techniken für das Anforderungsmanagement", Poster Ekompass-Workshop 2006, 16.-17. Mai 2006, Hannover
S. Laemmermann, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel: "Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams", 3rd UML for SoC Design Workshop, Design Automation Conference DAC, 2006
Fehlauer, E.; Rülke, St.; Berndt, Th.; Dresig, F.:,Ein Konzept zur bibliotheksbasierten Fehlerinjektion im SoC-Entwurf", 1st Cooperation Workshop of Computer Science, 20./21.10.2006, Cottbus
Mattern, N.; Berndt, Th.; Tischer, F.: "Untersuchung realer Anwendungsszenarien und on-chip Monitoring Methoden", URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 26.10.2006, Hannover
Rogin, F.; Fehlauer, E.; Rülke, St.: "Validation fehlerhafter Anwendungsbedingungen durch analysebasierte Integration von Assertion Modulen und Injektion vordefinierter Fehlerzellen", URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 26.10.2006, Hannover
Große, D.; Drechsler, R.: "Verifikation mit Constraint-gesteuerter Zufallssimulation", URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 26.10.2006, Hannover
Fross, D.; Langer, J.; Jerinic, V.; Heinkel, U.; Dresig, F.: "XML-basierter integrierter Spezifikationsflow mit Modellgenerierung", URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 26.10.2006, Hannover
Kühne, U.; Große, D.; Drechsler, R.: "Complete Formal Verification of Multi Core Embedded Systems using Bounded Model Checking", Fifth IEEE Dallas Circuits and Systems Workshop, pp. 147-150, 2006
Mirjam Minor, Andreas Koldehoff, Daniel Schmalen, and Ralph Bergmann. Flexible Workflows for Knowledge Management in the Digital Design. In Martin Schaaf, and Klaus-Dieter Althoff, editors, /LWA 2006 Lernen - Wissensentdeckung - Adaptivität, 9.-11.10.2006 in Hildesheim/, pages 215 -- 219, 2006, Universität Hildesheim.
Mirjam Minor, Andreas Koldehoff, Daniel Schmalen, and Ralph Bergmann. Flexible Workflows for Digital Design in the Nano Era. In Barbara Weber, and Jan Mendling, editors, /Proceedings of the Fifteenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2006), Workshop ProFlex 2006, June 26 - 28, Manchester, UK/, pages 273 - 278, 2006, IEEE Computer Society, Los Alamitos, California.
Große, D.; Ebendt, R.; Drechsler, R.: "Improvements for Constraint Solving in the SystemC Verification Library", Great Lakes Symposium on VLSI (GLSVLSI), 2007
Große, D.; Kühne, U.; Drechsler, R.: "Estimating Functional Coverage in Bounded Model Checking", Design, Automation and Test in Europe (DATE), 2007
Große, D.; Peraza, H.; Klingauf, W.; Drechsler, R.: "Measuring the Quality of a SystemC Testbench by using Code Coverage Technqiues", Forum on specification & Design Languages (FDL), 2007.
Kühne, U.; Große, D.; Drechsler, R.: "Improving the Quality of Bounded Model Checking by Means of Coverage Estimation", IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07), pp. 165-170, 2007
Große, D.; Jerinic, V.; Langer, J.; Beckert, R.; Fehlauer, E.; Rogin, F.; Rülke, St.; Brand, H.-J.; Dresig, F.; Haufe, C.; Berndt, T.: "Analysemethoden für unsichere Anwendungsbedingungen - Beiträge von AMD Fraunhofer IIS/EAS, TU Chemnitz und Uni Bremen zu Arbeitspaket 3", Poster, edaWorkshop, 2007
Brand, H.-J.; Rülke, St.; Koldehoff, A.; Hufeld, K.; Dresig, F.: "Analysemethoden für unsichere Anwendungsbedingungen - URANOS-Projektübersicht", Poster, edaWorkshop, 2007
Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel: Erfassung und Bewertung formal beschreibbarer Systemanforderungen im Anwendungskontext; Vortrag Kooperationsworkshop "SystemPlanning"; 30.11.2006; Hannover
Björn Sander, Oliver Bringmann, Timo Schönwald, Jürgen Schnerr, Wolfgang Rosenstiel: "Applikationsspezifische Zuverlässigkeitsbewertung von Multiprocessor Systems-on-Chip auf Systemebene"; Fachtagung "Zuverlässigkeit und Entwurf"; 26.-28.3.2007; München
Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel: "Temperaturabhängige Zuverlässigkeitsbetrachtungen auf Systemebene"; Vortrag; Fach- und Kooperationsworkshop "Technologie und deren Auswirkung"; 11.5.2007, Dresden
Alexander Viehl, Markus Schwarz, Oliver Bringmann, Wolfgang Rosenstiel: "Ein hybrider Ansatz zur Bewertung von Performanz und Leistungsverbrauch auf Systemebene"; Beitrag im Tagungsband; edaWorkshop 2007; 19.-20.6.2007; Hannover
Alexander Viehl, Markus Schwarz, Oliver Bringmann, Wolfgang Rosenstiel: "A Hybrid Approach for System-Level Design Evaluation; Buchbeitrag"; Embedded System Design: Topics, Techniques and Trends; edited by Achim Rettberg; Mauro C. Zanella, Rainer Dömer, Andreas Gerstlauer, Franz Rammig
http://www.siliconimage.com/news/press/detailpressrelease.aspx?id=424
Mirjam Minor, Andreas Koldehoff, Daniel Schmalen und Ralph Bergmann, "Flexible Workflows for Knowledge Management in the Digital Design", in Martin Schaaf und Klaus-Dieter Althoff, Editors, LWA 2006 Lernen - Wissensentdeckung - Adaptivität, 9.-11.10.2006 in Hildesheim, S. 215 - 219, 2006, Universität Hildesheim.
Mirjam Minor, Andreas Koldehoff, Daniel Schmalen, and Ralph Bergmann. Configurable Contexts for Experience Management. In Norbert Gronau, editor, /4th Conference on Professional Knowledge Management - Experiences and Visions/, volume 2, pages 119 - 126, Potsdam, March 2007, University of Potsdam, GITO-Verlag Berlin.
Mirjam Minor, Daniel Schmalen, Andreas Koldehoff, and Ralph Bergmann. Structural adaptation of workflows supported by a suspension mechanism and by case-based reasoning. In Sumitra Mitra Reddy, editor, /Proceedings of the 16th IEEE Internazional Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'07), June 18 - 20, 2007, Paris, France/, pages 370 - 375, 2007, IEEE Computer Society, Los Alamitos, California.
Mirjam Minor, Alexander Tartakovski, and Ralph Bergmann. Representation and Structure-based Similarity Assessment for Agile Workflows. In Rosina O. Weber, and Michael M. Richter, editors, /Case-Based Reasoning Research and Development, 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 2007, Proceedings/, LNCS 4626, pages 224 - 238, 2007, Springer.
Mirjam Minor, Daniel Schmalen, and Andreas Koldehoff: "The Role of Context Models in Association with Flexible Design Processes". In David C. Wilson, and Deepak Khemani, editors, /Workshop-Proceedings ICCBR'07/, pages 185 - 190, 2007.
Langer, J.; Jerinic, V.; Heinkel, U.; Dresig, F.: "SpiritEd: A Register Specification System integrating IP-XACT and Adobe FrameMaker", IP '07, IP Based Electronic System Conference, Grenoble 2007
Beckert, R..; Altamnn, S.: "A verification methodology for programmable and reconfigurable processors", Mentor User2Usre Conference, SanJose, 2007.
Rogin, F.; Klotz, T.; Fey, G.; Drechsler, R.; Rülke, St.: "Automatische Generierung von SystemVerilog Assertions", Mentor User2User Conference, München, 2007.
Klotz, T.: "Dianosis- Ein Tool zur automatisierten Generierung von Eigenschaften für die Hardware-Verifikation durch dynamische Analyse von Simulationstraces", öffentliche Verteidigung der Studienarbeit, Dresden, 2007.
Beckert, R.; Rülke, St.; Hardt, W.: "A Run-Time Scheduling Framework for Reconfigurable Hardware Emulator", EUROMICRO 2007, Lübeck 2007.
Große, D.; Drechsler R.: "Debugging in der Constraint-gesteuerten Zufallssimulation", Fach- & Kooperations-Workshop "Verifikation", edacentrum Hannover, 2007
Mirjam Minor, Alexander Tartakovski, and Ralph Bergmann. Representation and Structure-based Similarity Assessment for Agile Workflows (Resubmission). In Alexander Hinneburg, editor, LWA 2007 Lernen - Wissen - Adaption, 24.-26.09.2007 in Halle, page 341, 2007, Martin-Luther-Universität Halle-Wittenberg.
Große, D.; Wille, R.; Siegmund, R.; Drechsler, R.: "Contradiction Analysis for Constraint-based Random Simulation", Forum on specification & Design Languages (FDL), Stuttgart, 2008
Alexander Viehl, Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel "Integrated Requirement Evaluation of Non-Functional System-on-Chip Properties", Forum on specification & Design Languages (FDL), Stuttgart, 2008
Rogin, F.; Klotz, T.; Fey, G.; Drechsler, R.: "Automatic Generation of Complex Properties for Hardware Designs", In Design, Automation, and Test in Europe (DATE), München, 2008.
Brand, H.-J.; Rülke, St.; Koldehoff, A.; Hufeld, K.; Dresig, F.: "Analysis methods for the Design of Application-Robust, Nanoelectronic Systems", Poster, Project Exhibition - Design, Automation, and Test in Europe (DATE), München, 2008.
Bergmann, R.; Minor, M.; Schmalen, D.: "URANOS Demonstrator", Poster, Film Project, Project Exhibition, - Design, Automation, and Test in Europe (DATE), München, 2008.
Brand, H.-J.; Rülke, St.; Koldehoff, A.; Hufeld, K.; Dresig, F.: "Analysis methods for the Design of Application-Robust, Nanoelectronic Systems", Poster and Demonstration, Project Exhibition - Design, Automation, and Test in Europe (DATE), München, 2008.
Mirjam Minor, Daniel Schmalen, Ralph Bergmann, Andreas Koldehoff: "A prototypical system for agile workflows", Poster and Demonstration, Project Exhibition - Design, Automation, and Test in Europe (DATE), München, 2008.
Knut Hufeld, Mark Sethi, Wolfram Hardt, André Meisel: "Analysis Methods for the Design of Application-Robust, Nanoelectronic Systems - Contributions of Infineon and TU Chemnitz", Poster and Demonstration, Project Exhibition - Design, Automation, and Test in Europe (DATE), München, 2008.
Alexander Viehl, Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel: "Quantitative Bewertung nicht-funktionaler Systemanforderungen im Applikationskontext: Entwurfsablauf-Integration" Poster, edaWorkshop, Hannover, 2008.
Knut Hufeld, Mark Sethi, Wolfram Hardt, André Meisel: "Analysis Methods for the Design of Application-Robust, Nanoelectronic Systems - Contributions of Infineon and TU Chemnitz", Poster, edaWorkshop, Hannover, 2008.
Große, D.; Drechsler, R.; Jerinic, V.; Langer, J.; Fehlauer, E.; Rogin, F.; Rülke, St.; Dresig, F.; Haufe, C.; Berndt, T., Brand, H.-J.: "Analysemethoden für unsichere Anwendungsbedingungen - Beiträge von AMD Fraunhofer IIS/EAS, TU Chemnitz und Uni Bremen zu Arbeitspaket 3", Poster, edaWorkshop, Hannover, 2008.
Brand, H.-J.; Rülke, St.; Koldehoff, A.; Hufeld, K.; Dresig, F.: "Analysemethoden für unsichere Anwendungsbedingungen - URANOS-Projektübersicht", Poster, edaWorkshop, 2008
Mirjam Minor, Daniel Schmalen, Ralph Bergmann, Andreas Koldehoff: "A prototypical system for agile workflows", , Poster, edaWorkshop, 2008
Alexander Viehl, Björn Sander, Oliver Bringmann, Fan Yang, Wolfgang Rosenstiel: "Quantitative Bewertung nicht-funktionaler Systemanforderungen von System-on-Chip-Entwürfen", DASS - Special Session URANOS, Dresden, 2008.
Daniel Große, Robert Wille, Rolf Drechsler, Robert Siegmund: "Contradiction Analysis for Constraint-based Random Simulation", DASS - Special Session URANOS, Dresden, 2008.
Claudia Tischendorf, Jan Langer, Uwe Proß, Ulrich Heinkel: "Generierung von VHDL-Modellen aus PSL-Eigenschaften", DASS - Special Session URANOS, Dresden, 2008.
André Meisel, Sven Schneider, Wolfram Hardt: "Design Flow für rekonfigurierbare eingebettete Systeme in Anlehnung an das Overlaying Konzept", DASS - Special Session URANOS, Dresden, 2008.
Frank Rogin, Thomas Klotz, Steffen Rülke: "Effiziente automatische Generierung von Assertions für industrielle Hardware-Designs", DASS - Special Session URANOS, Dresden, 2008.
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke: "Advanced Verification by Automatic Property Generation", IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, Bratislava, 2008.
Mirjam Minor, Daniel Schmalen, Jakob Weidlich, and Andreas Koldehoff: "Introspection into an agile workflow engine for long-term processes", In WETICE 2008 (to appear), 2008.
Mirjam Minor, Daniel Schmalen, and Ralph Bergmann: "XML-based Representation of Agile Workflows". In Martin Bichler, Thomas Hess, Helmut Krcmar, Ulrike Lechner, Florian Matthes, Arnold Picot, Benjamin Speitkamp, and Petra Wolf, editors, Multikonferenz Wirtschaftsinformatik 2008, pages 439-440, 2008, GITO-Verlag Berlin.
Mirjam Minor, Alexander Tartakovski, Daniel Schmalen, and Ralph Bergmann: " Agile Workflow Technology and Case-Based Change Reuse for Long-Term Processes" , International Journal of Intelligent Information Technologies, 2008.