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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Huss, Sorin A. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2007.
• Θέματα: Engineering.; Special purpose computers.; Architecture, Computer.; Programming languages (Electronic computers).; Electronic circuits.; Circuits and Systems.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.; Computer System Implementation.

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

Πίνακας περιεχομένων:

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