Advertisement

© 2017

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Book
  • 2k Downloads

Part of the SpringerBriefs in Electrical and Computer Engineering book series (BRIEFSELECTRIC)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 1-5
  3. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 7-21
  4. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 23-29
  5. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 31-58
  6. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 59-78
  7. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 79-92
  8. Julia Seiter, Robert Wille, Rolf Drechsler
    Pages 93-94

About this book

Introduction

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

Keywords

Unified Modeling Language UML Object Constraint Language Automatic Verification in Electronic Systems Formal Specification

Authors and affiliations

  1. 1.VerdenGermany
  2. 2.Johannes Kepler University Linz LinzAustria
  3. 3.AG RechnerarchitekturUniversity of Bremen AG RechnerarchitekturBremenGermany

About the authors

Julia Seiter currently works as a software architect at VEMAG Maschinenbau GmbH in Verden, Germany. She received the Diploma degree in computer science from the University of Bremen, Germany, in 2012. In 2015, she received her Dr.-Ing. degree, also from the University of Bremen, after having been with the Group of Computer Architecture for three years. Her research was focused on the design and verification of formal system models.

Robert Wille is a Full Professor at the Johannes Kepler University Linz. He received the Diploma and Dr.-Ing. degrees in computer science from the University of Bremen, Germany, in 2006 and 2009, respectively. He was with the Group of Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as Lecturer at the University of Applied Science in Bremen, Germany, and as visiting professor at the University of Potsdam, Germany, and the Technical University Dresden, Germany. His research interests are in the design of circuits and systems for both conventional and emerging technologies with a focus in the domain of synthesis and verification.

Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.


Bibliographic information

  • Book Title Automatic Methods for the Refinement of System Models
  • Book Subtitle From the Specification to the Implementation
  • Authors Julia Seiter
    Robert Wille
    Rolf Drechsler
  • Series Title SpringerBriefs in Electrical and Computer Engineering
  • Series Abbreviated Title SpringerBriefs in Electrical
  • DOI https://doi.org/10.1007/978-3-319-41480-5
  • Copyright Information The Author(s) 2017
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Softcover ISBN 978-3-319-41479-9
  • eBook ISBN 978-3-319-41480-5
  • Series ISSN 2191-8112
  • Series E-ISSN 2191-8120
  • Edition Number 1
  • Number of Pages VIII, 94
  • Number of Illustrations 25 b/w illustrations, 5 illustrations in colour
  • Topics Circuits and Systems
    Processor Architectures
    Electronics and Microelectronics, Instrumentation
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering