Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen PDF Download

Author: Carsten Gremzow
Publisher: Univerlagtuberlin
ISBN: 3798321183
Category :
Languages : en
Pages : 257

View

Book Description

Author: Christian Haubelt
Publisher:
ISBN: 9783832259563
Category :
Languages : de
Pages : 273

View

Book Description

Author:
Publisher:
ISBN: 9783860091470
Category :
Languages : de
Pages : 284

View

Book Description

Author: Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf/ Fachgruppe
Publisher:
ISBN: 9783000074400
Category :
Languages : de
Pages : 128

View

Book Description

Author: Christoph Grimm
Publisher:
ISBN: 9783800725243
Category : Telecommunication
Languages : de
Pages : 297

View

Book Description

Author: Bernd Straube
Publisher:
ISBN: 9783981028713
Category :
Languages : de
Pages : 368

View

Book Description

Author: Sorin Alexander Huss
Publisher: Springer Science & Business Media
ISBN: 1402061498
Category : Technology & Engineering
Languages : en
Pages : 352

View

Book Description
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.

Author: Bernd Kleinjohann
Publisher: Springer
ISBN: 0387354093
Category : Computers
Languages : en
Pages : 240

View

Book Description
Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots. For the design of embedded systems the designer has to tackle three major aspects: The application itself including the man-machine interface, The (target) architecture of the system including all functional and non-functional constraints and, the design methodology including modelling, specification, synthesis, test and validation. The last two points are a major focus of this book. This book documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. The workshop took place on October 18-19, 2000, in Schloß Eringerfeld near Paderborn, Germany. Architecture and Design of Distributed Embedded Systems is organised similar to the workshop. Chapters 1 and 4 (Methodology I and II) deal with different modelling and specification paradigms and the corresponding design methodologies. Generic system architectures for different classes of embedded systems are presented in Chapter 2. In Chapter 3 several design environments for the support of specific design methodologies are presented. Problems concerning test and validation are discussed in Chapter 5. The last two chapters include distribution and communication aspects (Chapter 6) and synthesis techniques for embedded systems (Chapter 7). This book is essential reading for computer science researchers and application developers.

Author: Nils Przigoda
Publisher: Springer
ISBN: 3319728148
Category : Technology & Engineering
Languages : en
Pages : 257

View

Book Description
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.

Author: Rolf Drechsler
Publisher: Springer
ISBN: 3658099941
Category : Computers
Languages : en
Pages : 324

View

Book Description
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.