The Engineering of Reliable Embedded Systems

Formal Development of a Network-Centric

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

✍ Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, 📂 Library 📅 2011 🏛 Springer US 🌐 English

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 i

Formal Development of a Network-Centric

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

✍ Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, 📂 Library 📅 2011 🏛 Springer US 🌐 English

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 i

Formal development of a network-centric

📁 Formal development of a network-centric RTOS: software engineering for reliable embedded systems

✍ Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh; 📂 Library 📅 2011 🏛 Springer US 🌐 English

Part 1. Trustworthy embedded systems -- Part 2. Formal modeling fundamentals -- Part 3. OpenComRTOS design -- Part 4. Appendix.

Formal development of a network-centric

📁 Formal development of a network-centric RTOS: software engineering for reliable embedded systems

✍ Verhulst, Eric 📂 Library 📅 2011 🏛 Springer 🌐 English

Part 1. Trustworthy embedded systems -- Part 2. Formal modeling fundamentals -- Part 3. OpenComRTOS design -- Part 4. Appendix.

Embedded Mechatronic Systems, Volume 1:

📁 Embedded Mechatronic Systems, Volume 1: Analysis of Failures, Predictive Reliability

✍ Abdelkhalak El Hami, Philippe Pougnet 📂 Library 📅 2019 🏛 ISTE Press - Elsevier 🌐 English

Mechatronics brings together computer science, mechanics and electronics. It enables us to improve the performances of embedded electronic systems by reducing their weight, volume, energy consumption and cost. Mechatronic equipment must operate without failure throughout ever-increasing service l

Embedded mechatronic systems. / Volume 1

📁 Embedded mechatronic systems. / Volume 1, Analysis of failures, predictive reliability

✍ El Hami, Abdelkhalak; Pougnet, Philippe 📂 Library 📅 2015 🏛 ISTE Press - Elsevier 🌐 English

In operation, mechatronics embedded systems are stressed by loads of different causes: climate (temperature, humidity), vibration, electrical and electromagnetic. These stresses in components which induce failure mechanisms should be identified and modeled for better control. AUDACE is a collabor