11. FDL 2008:
Stuttgart,
Germany
Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings.
IEEE 2008, ISBN 978-1-4244-2265-4 BibTeX
CSD-1:
Extending the Modeling Capabilities of SystemC
CSD-2:
Co-Design of Heterogeneous Systems
- Philipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel:
Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSS.
19-24
Electronic Edition (link) BibTeX
- Markus Damm, Christoph Grimm, Jan Haase, Andreas Herrholz, Wolfgang Nebel:
Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling.
25-30
Electronic Edition (link) BibTeX
- Grégory Gailliard, Hugues Balp, Christophe Jouvray, François Verdier:
Towards a Common HW/SW Interface-Centric and Component-Oriented Specification and Design Methodology.
31-36
Electronic Edition (link) BibTeX
CSD-3:
Architecture Modelling and Evaluation
CSD-4:
Adaptive Systems - Reconfigurable Technology
DCS-1:
Language-Based Design and Evaluation Methodogies
- S. Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt:
Methodologies for High-Level Modelling and Evaluation in the Automotive Domain (invited).
73-77
Electronic Edition (link) BibTeX
- Miguel Angel Sánchez, Pedro Echeverría, Francisco Mansilla, Marisa López-Vallejo:
Designing Highly Parameterized Hardware using xHdl.
78-83
Electronic Edition (link) BibTeX
- Syed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty:
Formal Transformation of a KPN Specification to a GALS Implementation.
84-89
Electronic Edition (link) BibTeX
DCS-2:
Modelling of Heterogenous System Components
PDV-1:
Timing and Other Non Functional Requirements for SoCs
PDV-2:
Models and Methods for Design Tools
- Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev:
Modeling of Custom-Designed Arithmetic Components for ABL Normalization.
124-129
Electronic Edition (link) BibTeX
- Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler:
Contradiction Analysis for Constraint-based Random Simulation.
130-135
Electronic Edition (link) BibTeX
- Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane:
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.
136-141
Electronic Edition (link) BibTeX
PDV-4:
System Specification using the Rosetta Language
UMES-1:
Timing and Synchronization Modeling and Analysis
UMES-2:
Models for System Design
UMES-3:
MDE for Embedded Systems
CSD-UMES:
Challenges in System Design of Heterogenous Interconnected Applications
- Christian Kerstan, Nico Bannow, Wolfgang Rosenstiel:
Enabling Automated Code Transformation and Variable Tracing.
209-214
Electronic Edition (link) BibTeX
- Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger:
Generating MARTE Allocation Models from Activity Threads.
215-220
Electronic Edition (link) BibTeX
- Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel:
Using SystemC for an Extended MATLAB/Simulink Verification Flow.
221-226
Electronic Edition (link) BibTeX
- Jochen Zimmermann, Oliver Bringmann, Joachim Gerlach, Florian Schaefer, Ulrich Nageldinger:
Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited).
227-232
Electronic Edition (link) BibTeX
FDL-POSTER:
FDL Posters Session
- Dirk Ahrens, Andreas Pfeiffer, Torsten Bertram:
Comparison of ASCET and UML - Preparations for an Abstract Software Architecture.
233-234
Electronic Edition (link) BibTeX
- Joaquín Pérez, Juan F. Sevillano, Santiago Urcelayeta, Igone Vélez:
System Behaviour Capture: from UML to SystemC.
235-236
Electronic Edition (link) BibTeX
- Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel:
A Platform for Requirement Based Formal Specification.
237-238
Electronic Edition (link) BibTeX
- David J. Greaves, Satnam Singh:
Using C# Attributes to Describe Hardware Artefacts within Kiwi.
239-240
Electronic Edition (link) BibTeX
- Etienne Faure, Daniela Genius:
Telecommunication Application Modelling with Multi Writer Multi Reader Channels: a Case Study.
241-242
Electronic Edition (link) BibTeX
- Erik Markert, Uwe Proß, Ulrich Heinkel:
SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems.
243-244
Electronic Edition (link) BibTeX
- Christoph Grimm, Manfred Dietrich:
Automotive System Design with Specification and Verification of Uncertainties.
245-246
Electronic Edition (link) BibTeX
- Thomas Markwirth, Joachim Haase, Karsten Einwich:
Statistical Modeling with SystemC-AMS for Automotive Systems.
247-248
Electronic Edition (link) BibTeX
- Christoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann:
The AutoSUN Verification Environment.
249-250
Electronic Edition (link) BibTeX
- Jinhyun Cho, Soonwoo Choi, Soo Chae:
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow.
251-252
Electronic Edition (link) BibTeX
- Maissa Elleuch, Yassine Aydi, Mohamed Abid:
Formal Specification of Delta MINs for MPSOC in the ACL2 Logic.
253-254
Electronic Edition (link) BibTeX
- Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem:
TLM-Based Verification of a Combined Switching Networks-on-Chip Router.
255-256
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:11:59 2009
by Michael Ley (ley@uni-trier.de)
