This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary. Methods for systematically analyzing the requirements for safety a...
详细信息
ISBN:
(数字)9783319333618
ISBN:
(纸本)9783319333601;9783319814940
This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary. Methods for systematically analyzing the requirements for safety and security mechanisms are described using examples of how they are implemented in software and hardware, and how their effectiveness can be demonstrated in terms of functional and design safety are discussed.
The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2–7, 2007. This volume contains an au...
详细信息
ISBN:
(数字)9783540886433
ISBN:
(纸本)9783540886426
The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2–7, 2007. This volume contains an augmented selection of the material presented at the school, including full tutorials, short tutorials, and contributions to the participants workshop. The GTTSE summer school series brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, metamodels, documentation, and entire software systems. This concerns many areas of software engineering: software reverse and re-engineering, model-driven engineering, automated software engineering, generic language technology, to name a few. These areas di?er with regard to the speci?c sorts of metamodels (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the speci?c techniques that are employed for the generation and the transformation of the artifacts. The ?rst instance of the school was held in 2005 and its proceedings appeared as volume 4143 in the LNCS series.
This book constitutes the proceedings of the 22;International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece.;The 21 full p...
详细信息
ISBN:
(数字)9783031150746
ISBN:
(纸本)9783031150739
This book constitutes the proceedings of the 22;International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece.;The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; processor architecture; embedded software systems and beyond; deep learning optimization; extra-functional property estimation; innovative architectures and tools for security; european research projects on digital systems, services, and platforms.
Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. ...
详细信息
ISBN:
(数字)9780387348018
ISBN:
(纸本)9780387972268
Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States.
Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Au&...
详细信息
ISBN:
(数字)9783642957109
ISBN:
(纸本)9783540567882
Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Außerdem deckt sie die wesentlichen Aspekte ab, die für das Verständnis, den Einsatz und die Entwicklung entsprechender CAD-Werkzeuge wichtig sind. Das weiterführende Lehrbuch wendet sich in erster Linie an Studierende der Informatik und der Elektrotechnik; außer dem im Grundstudium aller Elektrotechnik- und Informatik-Fachbereiche vermittelten Wissen setzt es keine speziellen Grundkenntnisse voraus. Zugleich ist es für Entwickler von integrierten Schaltungen und von Entwurfswerkzeugen interessant, die einen Überblick über die Ansätze zur Automatisierung des funktionalen Entwurfs gewinnen wollen. Die Darstellung ist mit einer Vielzahl von Beispielen illustriert, Zusammenhänge werden in tabellarischen und graphischen Übersichten verdeutlicht. Übungsaufgaben am Ende der Kapitel ermöglichen die Überprüfung des Verständnisses, Hinweise auf weiterführende Literatur die Vertiefung der Stoffgebiete.
This book initiates a new digital multimedia standards series. The purpose of the series is to make information about digital multimedia standards readilyavailable. Both tutorial and advanced topics will be covered in...
详细信息
ISBN:
(数字)9780306469831
ISBN:
(纸本)9780412087714
This book initiates a new digital multimedia standards series. The purpose of the series is to make information about digital multimedia standards readilyavailable. Both tutorial and advanced topics will be covered in the series, often in one book. Our hope is that users will find the series helpful in deciding what standards to support and use while implementors will d- cover a wealth of technical details that help them implement those standards correctly. In today's global economy standards are increasingly important. Yet until a standard is widely used, most of the benefits of standardization are not realized. We hope that standards committee chairpeople will organize and encourage a book in this series devoted to their new standard. This can be a forum to share and preserve some ofthe “why” and “how” that went into the development of the standard and, in the process, assist in the rapid adoption of the standard. Already in production for this series are books titled Digital Video: - troduction to MPEG-2 and Data Compression in Digital Systems.
暂无评论