Huss, Sorin A.
Advances in Design and Specification Languages for Embedded Systems
1. Analog, Mixed-Signal, and Heterogeneous System Design
1. Compact Modeling of Emerging Technologies with VHDL-AMS
Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese, François Krummenacher
2. Baseband Modeling Using Multidimensional Networks in VHDL-AMS
Joachim Haase
3. Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits
Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
4. Improving Efficiency and Robustness of Analog Behavioral Models
Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke
5. ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems
Torsten Mähne, Alain Vachoux
2. C/C++-Based System Design
6. The Quiny SystemCTM Front End: Self-Synthesising Designs
Thorsten Schubert, Wolfgang Nebel
7. Mining Metadata from SystemC IP Library
Deepak A. Mathaikutty, Sandeep K. Shukla
8. Nonintrusive High-level SystemC Debugging
Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt
9. Transaction-Level Modeling in Communication Engine Design: A Case Study
Vesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen
10. Object-Oriented Transaction-Level Modelling
Martin Radetzki
3. Formalisms for Property-Driven Design
11. An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets
Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking
12. Online Monitoring of Properties Built on Regular Expressions Sequences
Katell Morin-Allory, Dominique Borrione
13. Observer-BasedVerification Using Introspection: A System-level Verification Implementation
M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E. M. Aboulhamid
14. Formalizing TLM with Communicating State Machines
Bernhard Niemann, Christian Haubelt, Maite Uribe Oyanguren, Jürgen Teich
15. Different Kinds of System Descriptions as Synchronous Programs
Jens Brandt, Klaus Schneider
4. UML-Based System Specification and Design
16. A Model-driven Co-design Flow for Embedded Systems
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
17. A Method for Mobile Terminal Platform Architecture Development
Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson
18. UML2 Profile for Modeling Controlled Data Parallel Applications
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten
19. MCF: A Metamodeling-based Visual Component Composition Framework
Deepak A. Mathaikutty, Sandeep K. Shukla
20. Reusing Systems Design Experience Through Modelling Patterns
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal
DRM-restrictions
Printing: not available
Clipboard copying: not available
- Author(s)
- Huss, Sorin A.
- Publisher
- Springer
- Publication year
- 2007
- Language
- en
- Edition
- 1
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9781402061493