✦ LIBER ✦

Decomposition in Real-Time Safety-Critical Systems

✍ Scribed by Paul Mukherjee; Victoria Stavridou

Book ID: 110256899
Publisher: Springer US
Year: 1998
Tongue: English
Weight: 115 KB
Volume: 14
Category: Article
ISSN: 0922-6443
DOI: 10.1023/a:1007969017781

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special section on real-time safety-crit

Special section on real-time safety-critical systems

✍ Janusz Zalewski 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 47 KB

Experimental evaluation of software deve

Experimental evaluation of software development tools for safety-critical real-time systems

✍ Andrew J. Kornecki; Janusz Zalewski 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 366 KB

Relational programs: An architecture for

Relational programs: An architecture for robust real-time safety-critical process-control systems

✍ Farokh B. Bastani 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 148 KB

Certification of software for real-time

Certification of software for real-time safety-critical systems: state of the art

✍ Andrew Kornecki; Janusz Zalewski 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 361 KB

Safety, liveness and real-time in embedd

Safety, liveness and real-time in embedded system design

✍ Harri Klapuri; Jarmo Takala; Jukka Saarinen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 548 KB

Modelling of complex systems should be based on mathematical notions rather than being bound tightly to any programming language. Therefore, it is useful to be able to distinguish the different constituents of a distributed and concurrent system. In this paper, we focus on the formal properties know

C++ in safety critical systems

✍ David W. Binkley 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 84 KB