Copertina

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autori principali:	Verhulst, Eric. (Autore, 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)
Ente Autore:	SpringerLink (Online service)
Natura:	Elettronico eBook
Lingua:	English
Pubblicazione:	New York, NY : Springer US : Imprint: Springer, 2011.
Edizione:	1st ed. 2011.
Soggetti:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Accesso online:	https://doi.org/10.1007/978-1-4419-9736-4
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

Scalable Techniques for Formal Verification
di: Ray, Sandip., et al.
Pubblicazione: (2010)

Adaptable Embedded Systems
Pubblicazione: (2013)

Cloud Connectivity and Embedded Sensory Systems
di: Spaanenburg, Lambert., et al.
Pubblicazione: (2011)

Integrated Optical Interconnect Architectures for Embedded Systems
Pubblicazione: (2013)

Heterogeneous Multicore Processor Technologies for Embedded Systems
di: Uchiyama, Kunio., et al.
Pubblicazione: (2012)

Run-time Adaptation for Reconfigurable Embedded Processors
di: Bauer, Lars., et al.
Pubblicazione: (2011)

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

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

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

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

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

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

CMOS Circuits for Passive Wireless Microsystems
di: Yuan, Fei., et al.
Pubblicazione: (2011)

Ultra-thin Chip Technology and Applications
Pubblicazione: (2011)

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

Principles of VLSI RTL Design A Practical Guide /
di: Churiwala, Sanjay., et al.
Pubblicazione: (2011)

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

Programming Many-Core Chips
di: Vajda, András., et al.
Pubblicazione: (2011)

Bio/CMOS Interfaces and Co-Design
di: Carrara, Sandro., et al.
Pubblicazione: (2013)

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

Error Control for Network-on-Chip Links
di: Fu, Bo., et al.
Pubblicazione: (2012)

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

Focal-Plane Sensor-Processor Chips
Pubblicazione: (2011)

Power-efficient System Design
di: Panda, Preeti Ranjan., et al.
Pubblicazione: (2010)

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

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

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

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

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

Minimizing and Exploiting Leakage in VLSI Design
di: Jayakumar, Nikhil., et al.
Pubblicazione: (2010)

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

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

Processor and System-on-Chip Simulation
Pubblicazione: (2010)

FPGA Design Best Practices for Team-based Design /
di: Simpson, Philip., et al.
Pubblicazione: (2010)

Process Variations and Probabilistic Integrated Circuit Design
Pubblicazione: (2012)

Automotive Radar Sensors in Silicon Technologies
di: Jain, Vipul., et al.
Pubblicazione: (2013)

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

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

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

Low Power Networks-on-Chip
Pubblicazione: (2011)