2007

Advances in Design and Specification Languages for Embedded Systems

Selected Contributions from FDL'06

Editors:

ISBN: 978-1-4020-6147-9 (Print) 978-1-4020-6149-3 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-x

  2. Analog, Mixed-Signal, and Heterogeneous System Design

    1. Front Matter

      Pages 1-3

    2. No Access

      Book Chapter

      Pages 5-21

      Compact Modeling of Emerging Technologies with VHDL-AMS

    3. No Access

      Book Chapter

      Pages 23-35

      Baseband Modeling Using Multidimensional Networks in VHDL-AMS

    4. No Access

      Book Chapter

      Pages 37-51

      Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits

    5. No Access

      Book Chapter

      Pages 53-68

      Improving Efficiency and Robustness of Analog Behavioral Models

    6. No Access

      Book Chapter

      Pages 69-88

      ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems

  3. C/C++-Based System Design

    1. Front Matter

      Pages 89-91

    2. No Access

      Book Chapter

      Pages 93-109

      The Quiny SystemCTM Front End: Self-Synthesising Designs

    3. No Access

      Book Chapter

      Pages 111-129

      Mining Metadata from SystemC IP Library

    4. No Access

      Book Chapter

      Pages 131-144

      Nonintrusive High-level SystemC Debugging

    5. No Access

      Book Chapter

      Pages 145-156

      Transaction-Level Modeling in Communication Engine Design: A Case Study

    6. No Access

      Book Chapter

      Pages 157-174

      Object-Oriented Transaction-Level Modelling

  4. Formalisms for Property-Driven Design

    1. Front Matter

      Pages 175-178

    2. No Access

      Book Chapter

      Pages 179-196

      An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets

    3. No Access

      Book Chapter

      Pages 197-207

      Online Monitoring of Properties Built on Regular Expressions Sequences

    4. No Access

      Book Chapter

      Pages 209-224

      Observer-BasedVerification Using Introspection: A System-level Verification Implementation

    5. No Access

      Book Chapter

      Pages 225-242

      Formalizing TLM with Communicating State Machines

    6. No Access

      Book Chapter

      Pages 243-260

      Different Kinds of System Descriptions as Synchronous Programs

  5. UML-Based System Specification and Design

    1. Front Matter

      Pages 261-263

    2. No Access

      Book Chapter

      Pages 265-284

      A Model-driven Co-design Flow for Embedded Systems

    3. No Access

      Book Chapter

      Pages 285-300

      A Method for Mobile Terminal Platform Architecture Development

    4. No Access

      Book Chapter

      Pages 301-317

      UML2 Profile for Modeling Controlled Data Parallel Applications

    5. No Access

      Book Chapter

      Pages 319-337

      MCF: A Metamodeling-based Visual Component Composition Framework

    6. No Access

      Book Chapter

      Pages 339-358

      Reusing Systems Design Experience Through Modelling Patterns