Author: Mario R. Eden
Publisher: Elsevier
ISBN: 0444642420
Category : Technology & Engineering
Languages : en
Pages : 2620
Get Book Here
Book Description
Process Systems Engineering brings together the international community of researchers and engineers interested in computing-based methods in process engineering. This conference highlights the contributions of the PSE community towards the sustainability of modern society and is based on the 13th International Symposium on Process Systems Engineering PSE 2018 event held San Diego, CA, July 1-5 2018. The book contains contributions from academia and industry, establishing the core products of PSE, defining the new and changing scope of our results, and future challenges. Plenary and keynote lectures discuss real-world challenges (globalization, energy, environment and health) and contribute to discussions on the widening scope of PSE versus the consolidation of the core topics of PSE. - Highlights how the Process Systems Engineering community contributes to the sustainability of modern society - Establishes the core products of Process Systems Engineering - Defines the future challenges of Process Systems Engineering
Author: Yuyu Yuan
Publisher: Springer
ISBN: 3642357954
Category : Computers
Languages : en
Pages : 754
Get Book Here
Book Description
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Distributed Computing and Services, ISCTCS 2012, held in Beijing, China, in May/June 2012. The 92 revised full papers presented were carefully reviewed and selected from 278 papers. The topics covered are architecture for trusted computing systems, trusted computing platform, trusted systems build, network and protocol security, mobile network security, network survivability and other critical theories and standard systems, credible assessment, credible measurement and metrics, trusted systems, trusted networks, trusted mobile network, trusted routing, trusted software, trusted operating systems, trusted storage, fault-tolerant computing and other key technologies, trusted e-commerce and e-government, trusted logistics, trusted internet of things, trusted cloud and other trusted services and applications.
Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1118614372
Category : Technology & Engineering
Languages : en
Pages : 296
Get Book Here
Book Description
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.
Author: Thomas Schulze
Publisher: BoD – Books on Demand
ISBN: 3744896897
Category : Computers
Languages : en
Pages : 402
Get Book Here
Book Description
The ecological footprint of our every day activities has become one of the greatest problems facing mankind today. Reducing the environmental footprint of IT, which has become a major contributor to green house gas emissions in the last decade, is therefore a major research challenge for both industry and academia. The focus of this book is to provide the foundation for expressing and estimating ecological costs of software systems in all life-cycle phases including the earliest phases of software development, thus helping all stakeholders make well-informed choices. In particular, common eco-cost drivers as well as new metrics are defined which allow meaningful and precise descriptions of ecological costs. Based on these concepts, auxiliary models are introduced which allow ecological costs and the circumstances causing them to be expressed in a unified, unambiguous, and easy-to-understand way. These models provide input to algorithmic eco-cost estimation models which show the impact of development decisions on ecological costs even in early phases of software development. Both the estimation and auxiliary models accommodate different input, allowing them to deliver the most accurate eco-cost estimates possible based on the information available. The approach presented in this book can therefore be used as the fulcrum of green software engineering methods to explore the eco-costs of applications' features and architectures at early stages in the development process before significant resources have been invested in their implementation. It therefore facilitates the creation of eco-friendlier software systems and by that contributing to the solution of one of the greatest problems facing mankind today.
Author: Louis Scheffer
Publisher: CRC Press
ISBN: 1351837591
Category : Technology & Engineering
Languages : en
Pages : 593
Get Book Here
Book Description
Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.
Author: Radek Silhavy
Publisher: Springer Nature
ISBN: 3030774457
Category : Technology & Engineering
Languages : en
Pages : 779
Get Book Here
Book Description
This book constitutes the refereed proceedings of the artificial intelligence in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Artificial intelligence in intelligent systems topics are presented in this book. Modern hybrid and bio-inspired algorithms and their application are discussed in selected papers.
Author: Luciano Lavagno
Publisher: CRC Press
ISBN: 1482254638
Category : Technology & Engineering
Languages : en
Pages : 644
Get Book Here
Book Description
The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.
Author: Hafizur Rahaman
Publisher: Springer
ISBN: 3642314945
Category : Computers
Languages : en
Pages : 427
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale computing and nanotechnology.
Author: Roopak Sinha
Publisher: Springer Science & Business Media
ISBN: 1461478642
Category : Technology & Engineering
Languages : en
Pages : 167
Get Book Here
Book Description
This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components.
Author: Hrishikesh Venkataraman
Publisher: CRC Press
ISBN: 1439859906
Category : Computers
Languages : en
Pages : 394
Get Book Here
Book Description
While battery capacity is often insufficient to keep up with the power-demanding features of the latest mobile devices, powering the functional advancement of wireless devices requires a revolution in the concept of battery life and recharge capability. Future handheld devices and wireless networks should be able to recharge themselves automaticall
