Skip to main content
main-content

Über dieses Buch

This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

Inhaltsverzeichnis

Frontmatter

Formal Models and Verification and Predictability

Frontmatter

2016 | OriginalPaper | Buchkapitel

Chapter 1. Automatic Refinement Checking for Formal System Models

Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler

2016 | OriginalPaper | Buchkapitel

Chapter 2. Towards Simulation Based Evaluation of Safety Goal Violations in Automotive Systems

Oezlem Karaca, Jerome Kirscher, Linus Maurer, Georg Pelz

2016 | OriginalPaper | Buchkapitel

Chapter 3. Hybrid Dynamic Data Race Detection in SystemC

Alper Sen, Onder Kalaci

Languages for Requirements

Frontmatter

2016 | OriginalPaper | Buchkapitel

Chapter 4. Semi-formal Representation of Requirements for Automotive Solutions Using SysML

Liana Muşat, Markus Hübl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter Puschner

2016 | OriginalPaper | Buchkapitel

Chapter 5. A New Property Language for the Specification of Hardware-Dependent Embedded System Software

Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

2016 | OriginalPaper | Buchkapitel

Chapter 6. Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

Oliver Keszocze, Robert Wille

Parallel Architectures

2016 | OriginalPaper | Buchkapitel

Chapter 7. Synthesizing Code for GPGPUs from Abstract Formal Models

Gabriel Hjort Blindell, Christian Menne, Ingo Sander

2016 | OriginalPaper | Buchkapitel

Chapter 8. A Framework for Distributed, Loosely-Synchronized Simulation of Complex SystemC/TLM Models

Christian Sauer, Hans-Martin Bluethgen, Hans-Peter Loeb

Modelling and Verification of Power Properties

Frontmatter

2016 | OriginalPaper | Buchkapitel

Chapter 9. Towards Satisfaction Checking of Power Contracts in Uppaal

Gregor Nitsche, Kim Grüttner, Wolfgang Nebel

2016 | OriginalPaper | Buchkapitel

Chapter 10. SystemC AMS Power Electronic Modelling with Ideal Instantaneous Switches

Leandro Gil, Martin Radetzki
Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Effizienzsteigerung durch die und in der Magnetlagertechnik

Magnetlager sind aus etlichen industriellen Anwendungen nicht mehr wegzudenken, in anderen erscheint ein Einsatz in Zukunft vielversprechend. Durch die Magnetlagertechnik werden Effizienzsteigerungen unterschiedlicher Art ermöglicht – sowohl auf direkte Weise durch Verringerung der Lagerverluste im Vergleich zu mechanischen Lagerungen, als auch durch Verbesserungen im industriellen Prozess, die erst durch die besonderen Eigenschaften der Magnetlagerung erzielt werden können.
Jetzt gratis downloaden!

Bildnachweise