Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /

Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of softw...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Huss, Sorin Alexander (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Temas:
Electronic circuits.
Compilers (Computer programs).
Computers, Special purpose.
Computer systems.
Electronic Circuits and Systems.
Compilers and Interpreters.
Special Purpose and Application-Based Systems.
Computer System Implementation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Analog, Mixed-Signal, and Heterogeneous System Design
  • Compact Modeling of Emerging Technologies with VHDL-AMS
  • Baseband Modeling Using Multidimensional Networks in VHDL-AMS
  • Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits
  • Improving Efficiency and Robustness of Analog Behavioral Models
  • ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems
  • C/C++-Based System Design
  • The Quiny SystemCTM Front End: Self-Synthesising Designs
  • Mining Metadata from SystemC IP Library
  • Nonintrusive High-level SystemC Debugging
  • Transaction-Level Modeling in Communication Engine Design: A Case Study
  • Object-Oriented Transaction-Level Modelling
  • Formalisms for Property-Driven Design
  • An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets
  • Online Monitoring of Properties Built on Regular Expressions Sequences
  • Observer-BasedVerification Using Introspection: A System-level Verification Implementation
  • Formalizing TLM with Communicating State Machines
  • Different Kinds of System Descriptions as Synchronous Programs
  • UML-Based System Specification and Design
  • A Model-driven Co-design Flow for Embedded Systems
  • A Method for Mobile Terminal Platform Architecture Development
  • UML2 Profile for Modeling Controlled Data Parallel Applications
  • MCF: A Metamodeling-based Visual Component Composition Framework
  • Reusing Systems Design Experience Through Modelling Patterns.

Ejemplares similares