✦ LIBER ✦

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

✍ Scribed by Hsiung, P.-A.; Lee, T.-Y.; Fu, J.-M.; See, W.-B.

Book ID: 114448608
Publisher: The Institution of Electrical Engineers
Year: 2004
Tongue: English
Weight: 536 KB
Volume: 151
Category: Article
ISSN: 1350-2387
DOI: 10.1049/ip-cdt:20041102

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Pattern-Driven Formal Specification

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 500 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || A New Look at Formal Methods for Software Construction

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 344 KB

[IEEE Ninth IEEE International Symposium

[IEEE Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06) - Gyeongju, Korea (24-26 April 2006)] Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06) - A Framework for DRE middleware, an Application to DDS

✍ Hugues, J.; Pautet, L.; Kordon, F. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 262 KB

[IEEE WORDS 2003: 8th International Work

[IEEE WORDS 2003: 8th International Workshop on Object-oriented Real-Time Dependable Systems - Guadalajara, Mexico (15-17 Jan. 2003)] Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). - A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems

✍ Shelton, C.P.; Koopman, P.; Nace, W. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 772 KB

Forty-four papers from the January 2003 workshop describe recent research on fault tolerant systems, enhanced object models, mobile computing, timing and execution analysis, configurable embedded system support, multicast and group communication, middleware, and data dissemination. Case studies shar