Omslagsbillede

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

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
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)
Institution som forfatter:	SpringerLink (Online service)
Format:	Electronisk eBog
Sprog:	English
Udgivet:	New York, NY : Springer US : Imprint: Springer, 2011.
Udgivelse:	1st ed. 2011.
Fag:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Online adgang:	https://doi.org/10.1007/978-1-4419-9736-4
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Scalable Techniques for Formal Verification
af: Ray, Sandip., et al.
Udgivet: (2010)

Adaptable Embedded Systems
Udgivet: (2013)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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