Table of Contents

• ENIAC & ARTEMIS Technology PlatformsRainer Zimmermann. 1-2
• Trends and Challenges in Avionics ElectronicsPascal Pampagnin. 3-4
• Analitic Performance Analysis of Distributed Embedded SystemsLothar Thiele. 31-33
• SystemC-Based Communication and Performance AnalysisAxel Braun, Joachim Gerlach, Wolfgang Rosenstiel, Axel Siebenborn, Oliver Bringmann. 33-48 [doi]
• Application of SystemC/SystemC-AMS for the Specification of Complex Wired Telecomunication SystemsKarsten Einwich. 49-60 [doi]
• SystemC-WMS: A Wave Mixed Signal SimulatorSimone Orcioni, Giorgio Biagetti, Massimo Conti. 61-73 [doi]
• System model of an inertial navigation system using SystemC-AMSErik Markert, Göran Herrmann, Dietmar Müller. 73-77 [doi]
• AMS Extensions for Timed/Untimed System-Level Design LanguageYu Liu, Satoshi Komatsu, Masahiro Fujita. 77-81 [doi]
• Modelling Technologies for Disruptive Communication System DesignRalf Kakerow. 81-89
• UML/XML based approach to hierarchical AMS SynthesisIan O Connor, Faress Tissafi-Drissi, G. Revy, Frédéric Gaffiot. 89-101 [doi]
• Development of VHDL-AMS Libraries for Automative ApplicationsEwald Hessel, Klaus Panreck, Joachim Haase, André Schneider, Steffen Scholz. 101-111 [doi]
• Top-down hierarchical design flow applicationG. Gassara, Ahmed Fakhfakh, M. Abdellaoui, Nouri Masmoudi, Yannick Hervé. 111-120 [doi]
• Semi-Symbollic Simulation of Nonlinear SystemsWilhelm Heupke, Christoph Grimm, Klaus Waldschmidt. 121-132 [doi]
• Tolerance Models in Hardware Description LanguagesErnst Christen. 133-143 [doi]
• Jitter Tolerance Analysis of Clock and Data Recovery CircuitsPaul Muller, Yusuf Leblebici. 143-147 [doi]
• Linearly graded behavioural analogue performance modelsXianqiang Ren, Tom J. Kazmierski. 147-153 [doi]
• Automatic Generation of a Verification PlatformSuad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer. 153-165 [doi]
• Toward seamless top-down of A/MS systemsLuis Avila, Rolando Dölling, Thomas Ifström, Peter Jores, Wolfgang Rosenstiel. 165-172 [doi]
• Incorporating SystemC in Analog/Mixed-Signal Design FlowPatrick Birrer, Walter Hartong. 173-178 [doi]
• VHDL & VHDL-AMS Modelling and Simulation of a CMOS Imager IPDavid Navarro, D. Ramat, Fabien Mieyeville, Ian O Connor, Frédéric Gaffiot, L. Carrel. 179-183 [doi]
• VHDL-AMS virtual prototyping in power electronicsSalima Feki, Ahmed Fakhfakh, Yannick Hervé, Abdelmajid Oualha, Nouri Masmoudi. 183-189 [doi]
• VHDL-AMS Modelling and System Verification FlowCorrado Marino, Luca Fanucci, Francesco Iozzi, Massimiliano Forliti, A. Rocchi, A. Giambastiani, Marco De Marinis. 189-196 [doi]
• A VHDL-AMS based Time-Domain Skin Depth ModelM. Burford, Tom J. Kazmierski. 197-209 [doi]
• Creating Virtual Prototypes of Complex Micro-Electro-Mechanical Transducers using Reduced-Order Modelling Methods and VHDL-AMSTorsten Mähne. 209-223 [doi]
• Overcoming issues to reach full adoption and benefit of C/C++based system design methodologies in real System-on-Chip projectsA. Clouard. 223-224
• OCP TLM for Architectural ModellingTim Kogel, Anssi Haverinen. 225-244
• Devices modelling in SystemC based on behaviour separationGiovanni B. Vece, Massimo Conti, Simone Orcioni. 245-257 [doi]
• Building heterogeneous plaftorm simulators in C++Robert Pasko, Luc Rynders. 257-269 [doi]
• Implementation of a SystemC based EnvironmentRichard Hoffer, Frank Baszynski. 269-273 [doi]
• Executable Specification of Novel Display ControllersDavid Antonio-Torres, Paul F. Newbury, Paul F. Lister. 273-279 [doi]
• Mapping Interface Method Calls over OCP BusesFrancesco Bruschi, Federico Moro, Donatella Sciuto. 279-283 [doi]
• SOAP Based Distributed Simulation Environment for SoC DesignSamy Meftali, Anouar Dziri, Luc Charest, Philippe Marquet, J. Deskeyser. 283-291 [doi]
• Modelling Environment for Heterogeneous Systems based on MoCsDeepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch. 291-303 [doi]
• Processor Centric Specification and Modelling of MPSoCsCristiano C. de Araujo, Edna Barros, Rodolfo Azevedo, Guido Araujo. 303-315 [doi]
• Mixing Synchronous Reactive and Untimed Models of ComputationFernando Herrera, Eugenio Villar. 315-329 [doi]
• Interface-Centric Abstraction Level for Rapid HW/SW IntegrationAndré C. Nácul, Marcello Lajolo, T. Givarjis. 329-341 [doi]
• SystemCmantic: A high level Modelling and Co-Design FrameworkL. Kriaa, S. Adriano, E. Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin, D. Heller, F. Thabet, Anne-Marie Fouilliart. 341-353 [doi]
• Hardware Synthesis of Parallel Machines from SystemCAntoni Portero, Lluis Ribas, Jordi Carrabina. 353-361 [doi]
• Towards Behavioural Hierarchy Extensions for SystemCHiren D. Patel, Sandeep K. Shukla. 361-373 [doi]
• Embed Scripting inside SystemCJ. Vennin, S. Penain, Luc Charest, Samy Meftali, Jean-Luc Dekeyser. 373-385 [doi]
• Efficient and Customizable Integration of Temporal PropertiesRoland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. 385-397 [doi]
• Aspect Orientation in System Level DesignGiovanni Agosta, Francesco Bruschi, Donatella Sciuto. 397-401 [doi]
• Automatic synthesis of the Hardware/Software InterfaceFrancesco Regazzoni, André C. Nácul, Marcello Lajolo. 401-405 [doi]
• SystemCXML: An Exstensible SystemC Front end Using XMLDavid Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla. 405-409 [doi]
• C-Based Hardware Design for Wireless Applications Andrés Takach, Bryan Bowyer, Thomas Bollaert. 409-419 [doi]
• Leveraging the efficiency of C-Based Design with Catapult-C Thomas Bollaert. 419-429
• An Application of Generalized Supervisor Synthesis to the Control of a Call CenterRoberto Ziller. 429-431 [doi]
• Modelling Heterogeneous Embedded Systems in DFCartsIvan Radojevic, Zoran A. Salcic, Partha S. Roop. 441-453 [doi]
• Refinement of Perfectly Synchronous Communication ModelZhonghai Lu, Ingo Sander, Axel Jantsch. 453-465 [doi]
• PSL-based online monitoring of digital systemsD. Borionne, M. Liu, P. Ostier, Laurent Fesquet. 465-479 [doi]
• Combination of Assertion and HSAT Methods For Automated Test Vectors GenerationMostafa Naderi, Zainalabedin Navabi. 479-485
• IpPROCESS: a Development Process for Soft IP-CordMarilia Lima, F. Santos, J. Bione, T. Lins, Edna Barros. 487-499 [doi]
• Meta Modelling of Embedded Systems using Active DatabasesDieter Monjau, Mathias Sporer. 499-511 [doi]
• Using feature models to automate model transformationsJohan Lilius, Dragos Truscan. 511-515 [doi]
• An HW/SW Co-design Environment based on UML and SystemCElvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio. 515-519 [doi]
• Compiled and Synthesized UML, a practical Approach for CodesignC. Berhouzoz, Francois Corthay, Thomas Sterren, R. Stainer, M. Reider. 519-531 [doi]
• Synthesis for Unified Control- and Data-Oriented ModelsOana Florescu, Jeroen Voeten, Henk Corporaal. 531-543 [doi]
• Traceability and Interoperability in Models TransformationsLossan Bonde, Pierre Boulet, Jean-Luc Dekeyser. 543-555 [doi]
• Power Modelling and Simulation Flow for Communication ProtocolsL. Negri, A. Chiarini. 555-567 [doi]
• Integrating Model-Checking with UML-based SoC DevelopmentPeter Green, Kinika Tasie-Amadi. 567-579 [doi]
• Formal Evaluation of Quality of Service for Data AcquisitionHedia B. Ben, F. Jumel, Jean-Philippe Babau. 579-589 [doi]
• The SysML profile for embedded system modellingYves Vanderperren, Wim Dehaene. 589-598 [doi]
• Architecture description in related standardsDavid Servat, Frédéric Loiret, Sébastien Gérard, François Terrier. 599-609 [doi]