封面图片

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this...

Saved in:

书目详细资料
Main Authors:	Verhulst, Eric. (Author, http://id.loc.gov/vocabulary/relators/aut), Boute, Raymond T. (http://id.loc.gov/vocabulary/relators/aut), Faria, José Miguel Sampaio. (http://id.loc.gov/vocabulary/relators/aut), Sputh, Bernhard H.C. (http://id.loc.gov/vocabulary/relators/aut), Mezhuyev, Vitaliy. (http://id.loc.gov/vocabulary/relators/aut)
企业作者:	SpringerLink (Online service)
格式:	电子电子书
语言:	English
出版:	New York, NY : Springer US : Imprint: Springer, 2011.
版:	1st ed. 2011.
主题:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
在线阅读:	https://doi.org/10.1007/978-1-4419-9736-4
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Scalable Techniques for Formal Verification
由: Ray, Sandip., et al.
出版: (2010)

Adaptable Embedded Systems
出版: (2013)

Cloud Connectivity and Embedded Sensory Systems
由: Spaanenburg, Lambert., et al.
出版: (2011)

Integrated Optical Interconnect Architectures for Embedded Systems
出版: (2013)

Heterogeneous Multicore Processor Technologies for Embedded Systems
由: Uchiyama, Kunio., et al.
出版: (2012)

Run-time Adaptation for Reconfigurable Embedded Processors
由: Bauer, Lars., et al.
出版: (2011)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
出版: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
由: Gamatié, Abdoulaye., et al.
出版: (2010)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
由: Keinert, Joachim., et al.
出版: (2011)

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
由: Morgado, Alonso., et al.
出版: (2012)

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice /
由: Di Natale, Marco., et al.
出版: (2012)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
由: Ahuja, Sumit., et al.
出版: (2012)

CMOS Circuits for Passive Wireless Microsystems
由: Yuan, Fei., et al.
出版: (2011)

Ultra-thin Chip Technology and Applications
出版: (2011)

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
出版: (2011)

Principles of VLSI RTL Design A Practical Guide /
由: Churiwala, Sanjay., et al.
出版: (2011)

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield /
由: Abu Rahma, Mohamed., et al.
出版: (2013)

Programming Many-Core Chips
由: Vajda, András., et al.
出版: (2011)

Bio/CMOS Interfaces and Co-Design
由: Carrara, Sandro., et al.
出版: (2013)

High-Level Verification Methods and Tools for Verification of System-Level Designs /
由: Kundu, Sudipta., et al.
出版: (2011)

Error Control for Network-on-Chip Links
由: Fu, Bo., et al.
出版: (2012)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
由: Hohenauer, Manuel., et al.
出版: (2010)

Focal-Plane Sensor-Processor Chips
出版: (2011)

Power-efficient System Design
由: Panda, Preeti Ranjan., et al.
出版: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices
出版: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
由: Garg, Rajesh., et al.
出版: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
由: Lin, Youn-Long Steve., et al.
出版: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
由: Duan, Chunjie., et al.
出版: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
由: Bosio, Alberto., et al.
出版: (2010)

Minimizing and Exploiting Leakage in VLSI Design
由: Jayakumar, Nikhil., et al.
出版: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
由: Singh, Gaurav., et al.
出版: (2010)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
出版: (2011)

Processor and System-on-Chip Simulation
出版: (2010)

FPGA Design Best Practices for Team-based Design /
由: Simpson, Philip., et al.
出版: (2010)

Process Variations and Probabilistic Integrated Circuit Design
出版: (2012)

Automotive Radar Sensors in Silicon Technologies
由: Jain, Vipul., et al.
出版: (2013)

Scalable Multi-core Architectures Design Methodologies and Tools /
出版: (2012)

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
由: Holleman, Jeremy., et al.
出版: (2011)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
由: Tajalli, Armin., et al.
出版: (2010)

Low Power Networks-on-Chip
出版: (2011)