表紙画像

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...

保存先:

書誌詳細
主要な著者:	Verhulst, Eric. (著者, 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)
フォーマット:	電子媒体 eBook
言語:	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., 等
出版事項: (2010)

Adaptable Embedded Systems
出版事項: (2013)

Cloud Connectivity and Embedded Sensory Systems
著者:: Spaanenburg, Lambert., 等
出版事項: (2011)

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

Heterogeneous Multicore Processor Technologies for Embedded Systems
著者:: Uchiyama, Kunio., 等
出版事項: (2012)

Run-time Adaptation for Reconfigurable Embedded Processors
著者:: Bauer, Lars., 等
出版事項: (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., 等
出版事項: (2010)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
著者:: Keinert, Joachim., 等
出版事項: (2011)

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
著者:: Morgado, Alonso., 等
出版事項: (2012)

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice /
著者:: Di Natale, Marco., 等
出版事項: (2012)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
著者:: Ahuja, Sumit., 等
出版事項: (2012)

CMOS Circuits for Passive Wireless Microsystems
著者:: Yuan, Fei., 等
出版事項: (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., 等
出版事項: (2011)

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield /
著者:: Abu Rahma, Mohamed., 等
出版事項: (2013)

Programming Many-Core Chips
著者:: Vajda, András., 等
出版事項: (2011)

Bio/CMOS Interfaces and Co-Design
著者:: Carrara, Sandro., 等
出版事項: (2013)

High-Level Verification Methods and Tools for Verification of System-Level Designs /
著者:: Kundu, Sudipta., 等
出版事項: (2011)

Error Control for Network-on-Chip Links
著者:: Fu, Bo., 等
出版事項: (2012)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
著者:: Hohenauer, Manuel., 等
出版事項: (2010)

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

Power-efficient System Design
著者:: Panda, Preeti Ranjan., 等
出版事項: (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., 等
出版事項: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
著者:: Lin, Youn-Long Steve., 等
出版事項: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
著者:: Duan, Chunjie., 等
出版事項: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
著者:: Bosio, Alberto., 等
出版事項: (2010)

Minimizing and Exploiting Leakage in VLSI Design
著者:: Jayakumar, Nikhil., 等
出版事項: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
著者:: Singh, Gaurav., 等
出版事項: (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., 等
出版事項: (2010)

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

Automotive Radar Sensors in Silicon Technologies
著者:: Jain, Vipul., 等
出版事項: (2013)

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

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
著者:: Holleman, Jeremy., 等
出版事項: (2011)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
著者:: Tajalli, Armin., 等
出版事項: (2010)

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