Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /

This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verifica...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Yoong, Li Hsien (Συγγραφέας), Roop, Partha S. (Συγγραφέας), Bhatti, Zeeshan E. (Συγγραφέας), Kuo, Matthew M. Y. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Θέματα:	Engineering. Microprocessors. Electronic circuits. Circuits and Systems. Processor Architectures.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Design Technology for Heterogeneous Embedded Systems
Έκδοση: (2012)

Self-Organization in Embedded Real-Time Systems
Έκδοση: (2013)

Neuro-inspired Computing Using Resistive Synaptic Devices
Έκδοση: (2017)

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures
ανά: Ogras, Umit Y., κ.ά.
Έκδοση: (2013)

Debug Automation from Pre-Silicon to Post-Silicon
ανά: Dehbashi, Mehdi, κ.ά.
Έκδοση: (2015)

Correct-by-Construction Approaches for SoC Design
ανά: Sinha, Roopak, κ.ά.
Έκδοση: (2014)

High-Performance Computing Using FPGAs
Έκδοση: (2013)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
ανά: Moutinho, Filipe de Carvalho, κ.ά.
Έκδοση: (2016)

Formal Specification Level Concepts, Methods, and Algorithms /
ανά: Soeken, Mathias, κ.ά.
Έκδοση: (2015)

Circuit and Interconnect Design for RF and High Bit-Rate Applications
ανά: Veenstra, Hugo, κ.ά.
Έκδοση: (2008)

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management /
Έκδοση: (2009)

Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization /
ανά: Karuri, Kingshuk, κ.ά.
Έκδοση: (2011)

Reconfigurable Networks-on-Chip
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2012)

Pipelined ADC Design and Enhancement Techniques
ανά: Ahmed, Imran
Έκδοση: (2010)

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution /
ανά: Schneider Beck Fl., Antonio Carlos, κ.ά.
Έκδοση: (2010)

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain /
Έκδοση: (2012)

Network-on-Chip Architectures A Holistic Design Exploration /
ανά: Nicopoulos, Chrysostomos, κ.ά.
Έκδοση: (2010)

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters /
Έκδοση: (2010)

Debugging at the Electronic System Level
ανά: Rogin, Frank, κ.ά.
Έκδοση: (2010)

Ultra-Low Energy Domain-Specific Instruction-Set Processors
ανά: Catthoor, Francky, κ.ά.
Έκδοση: (2010)

Multimedia Multiprocessor Systems Analysis, Design and Management /
ανά: Kumar, Akash, κ.ά.
Έκδοση: (2010)

Protecting Chips Against Hold Time Violations Due to Variability
ανά: Neuberger, Gustavo, κ.ά.
Έκδοση: (2014)

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems
ανά: Shafique, Muhammad, κ.ά.
Έκδοση: (2011)

Introduction to Embedded Systems Using Microcontrollers and the MSP430 /
ανά: Jiménez, Manuel, κ.ά.
Έκδοση: (2014)

Source-Synchronous Networks-On-Chip Circuit and Architectural Interconnect Modeling /
ανά: Mandal, Ayan, κ.ά.
Έκδοση: (2014)

Functional Verification of Dynamically Reconfigurable FPGA-based Systems
ανά: Gong, Lingkan, κ.ά.
Έκδοση: (2015)

SVA: The Power of Assertions in SystemVerilog
ανά: Cerny, Eduard, κ.ά.
Έκδοση: (2015)

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
ανά: Chen, Weiwei
Έκδοση: (2015)

Counterfeit Integrated Circuits Detection and Avoidance /
ανά: Tehranipoor, Mark (Mohammad), κ.ά.
Έκδοση: (2015)

Spintronics-based Computing
Έκδοση: (2015)

Soft Error Mechanisms, Modeling and Mitigation
ανά: Sayil, Selahattin
Έκδοση: (2016)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Έκδοση: (2016)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Έκδοση: (2016)

Near Threshold Computing Technology, Methods and Applications /
Έκδοση: (2016)

Invasive Tightly Coupled Processor Arrays
ανά: LARI, VAHID
Έκδοση: (2016)

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection /
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2014)

Operational Amplifiers Theory and Design /
ανά: Huijsing, Johan
Έκδοση: (2017)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
ανά: Zhan, Naijun, κ.ά.
Έκδοση: (2017)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση: (2017)

Carbon Nanotubes for Interconnects Process, Design and Applications /
Έκδοση: (2017)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών