✦ LIBER ✦

Practical verification of embedded software

✍ Scribed by Straunstrup, J.; Andersen, H.R.; Hulgaard, H.; Lind-Nielsen, J.; Behrmann, G.; Kristoffersen, K.; Skou, A.; Leerberg, HH.; Theilgaard, N.B.

Book ID: 114546021
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 444 KB
Volume: 33
Category: Article
ISSN: 0018-9162
DOI: 10.1109/2.841786

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embedded software verification in hardwa

Embedded software verification in hardware–software codesign

✍ Pao-Ann Hsiung 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 246 KB

Model-Based Verification of Embedded Sof

Model-Based Verification of Embedded Software

✍ Shokry, H.; Hinchey, M. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 768 KB

Hybrid Cache Analysis in Running Time Ve

Hybrid Cache Analysis in Running Time Verification of Embedded Software

✍ Fabian Wolf; Jan Staschulat; Rolf Ernst 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 334 KB

Formal verification of real-time embedde

Formal verification of real-time embedded software in an object-oriented application framework

✍ Hsiung, P.-A.; Lee, T.-Y.; Fu, J.-M.; See, W.-B. 📂 Article 📅 2004 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 536 KB

Verification of PULSAR+software

✍ An. A. Tutnov; Al. A. Tutnov; E. E. Alekseev 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 294 KB

Automatic synthesis and verification of

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems

✍ Pao-Ann Hsiung; Shang-Wei Lin 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed fram