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

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL’06 / edited by Sorin Alexander Huss.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Huss, Sorin Alexander (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Springer eBook Collection.
Subjects:
Electronic circuits.
Programming languages (Electronic computers).
Special purpose computers.
Architecture, Computer.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items