𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Improving integrity of embedded computers in control

✍ Scribed by Matjaž Colnarič; Domen Verber; Wolfgang A Halang

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
120 KB
Volume
27
Category
Article
ISSN
1367-5788

No coin nor oath required. For personal study only.

✦ Synopsis

This paper gives an overview of a holistic project dealing with the consistent design of embedded control systems falling into the first level of safety integrity requirements (SIL l) (IEC, 1998). It shows how existing methods can be adapted and reasonably employed, whenever possible, without having to resort to new innovations. Firstly, the hardware issues are dealt with and extensively elaborated, particularly the peripheral interfaces with integrated processing capabilities. Secondly, the proven correct real-time operating system executing on its own dedicated processor is briefly addressed, and finally, programming issues including descriptions of the specific programming language, time bounded handling of exceptions, and how to deal with temporal overload.

📜 SIMILAR VOLUMES

A case study in computer-aided co-design
A case study in computer-aided co-design of embedded controllers
✍ Massimiliano Chiodo; Daniel Engels; Paolo Giusto; Harry Hsieh; Attila Jurecska; 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 818 KB

We present an application of the methodology and of the various software tools embedded in the POLLS co-design system. The application is in the realm of automotive electronics: a shock absorber controller, whose specification comes from an actual product. All aspects of the design process are close

The role of embedded integration rules i
The role of embedded integration rules in Bayesian statistics
✍ Ronald Cools; Petros Dellaportas 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 448 KB

Numerical approximations are often used to implement the Bayesian paradigm in analytically intractable parametric models. We focus on embedded integration rules which are an attractive numerical integration tool and present theoretical results which justify their use in a Bayesian integration strate