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

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 (Συγγραφέας), Boute, Raymond T. (Συγγραφέας), Faria, José Miguel Sampaio (Συγγραφέας), Sputh, Bernhard H.C (Συγγραφέας), Mezhuyev, Vitaliy (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US : Imprint: Springer, 2011.
Θέματα:	Engineering. Computer-aided engineering. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

Adaptable Embedded Systems
Έκδοση: (2013)

Reliability, Availability and Serviceability of Networks-on-Chip
ανά: Cota, Érika, κ.ά.
Έκδοση: (2012)

Cloud Connectivity and Embedded Sensory Systems
ανά: Spaanenburg, Lambert, κ.ά.
Έκδοση: (2011)

Integrated Optical Interconnect Architectures for Embedded Systems
Έκδοση: (2013)

Run-time Adaptation for Reconfigurable Embedded Processors
ανά: Bauer, Lars, κ.ά.
Έκδοση: (2011)

Heterogeneous Multicore Processor Technologies for Embedded Systems
ανά: Uchiyama, Kunio, κ.ά.
Έκδοση: (2012)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, 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)

SAT-Based Scalable Formal Verification Solutions
ανά: Ganai, Malay K., κ.ά.
Έκδοση: (2007)

Distributed, Embedded and Real-time Java Systems
Έκδοση: (2012)

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)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
ανά: Bosio, Alberto, κ.ά.
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
ανά: Gulati, Kanupriya, κ.ά.
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie, κ.ά.
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil, κ.ά.
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
ανά: Lin, Youn-Long Steve, κ.ά.
Έκδοση: (2010)

Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2009)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
ανά: Hohenauer, Manuel, κ.ά.
Έκδοση: (2010)

Processor and System-on-Chip Simulation
Έκδοση: (2010)

Power-efficient System Design
ανά: Panda, Preeti Ranjan, κ.ά.
Έκδοση: (2010)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Έκδοση: (2011)

Focal-Plane Sensor-Processor Chips
Έκδοση: (2011)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
ανά: Tajalli, Armin, κ.ά.
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav, κ.ά.
Έκδοση: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results /
Έκδοση: (2010)

Ultra-thin Chip Technology and Applications
Έκδοση: (2011)

Low-Power Variation-Tolerant Design in Nanometer Silicon
Έκδοση: (2011)

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Έκδοση: (2011)

Voltage Regulators for Next Generation Microprocessors
ανά: López, Toni, κ.ά.
Έκδοση: (2011)

Energy Harvesting Systems Principles, Modeling and Applications /
Έκδοση: (2011)

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
ανά: Battezzati, Niccolò, κ.ά.
Έκδοση: (2011)

CMOS Circuits for Passive Wireless Microsystems
ανά: Yuan, Fei
Έκδοση: (2011)

FPGA Design Best Practices for Team-based Design /
ανά: Simpson, Philip
Έκδοση: (2010)

Process Variations and Probabilistic Integrated Circuit Design
Έκδοση: (2012)

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances /
ανά: Kanekawa, Nobuyasu, κ.ά.
Έκδοση: (2011)

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
ανά: Holleman, Jeremy, κ.ά.
Έκδοση: (2011)

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

Cannot write session to /tmp/vufind_sessions/sess_v59vgst9dlfv89h33p0srl0tdr