✦ LIBER ✦

Formalization and correctness of the PALS architectural pattern for distributed real-time systems

✍ Scribed by José Meseguer; Peter Csaba Ölveczky

Book ID: 116907386
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 662 KB
Volume: 451
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2012.05.040

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Selection of Architectures for Di

On the Selection of Architectures for Distributed Computer Systems in Real-Time Applications

✍ L'Archeveque, J. V. R.; Yan, G. 📂 Article 📅 1977 🏛 IEEE 🌐 English ⚖ 878 KB

Automated support for the formal specifi

Automated support for the formal specification and design of real-time systems

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

Modeling and analysis of scheduling for

Modeling and analysis of scheduling for distributed real-time embedded systems

✍ Hai-Tao Zhang; Gui-Fang Wu 📂 Article 📅 2010 🏛 Institute of Automation, Chinese Academy of Scienc 🌐 English ⚖ 392 KB

Service identification guideline for dev

Service identification guideline for developing distributed embedded real-time systems

✍ Mohamad, R.; Aziz, M.W.; Jawawi, D.N.A.; Ghazali, M.; Arbaie, M.Z.; Ibrahim, N. 📂 Article 📅 2012 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 664 KB

Component-based software engineering for

Component-based software engineering for distributed embedded real-time systems

✍ Rastofer, U.; Bellosa, F. 📂 Article 📅 2001 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 520 KB

Effective networks for real-time distrib

Effective networks for real-time distributed processing

✍ Gonzalo Travieso; Luciando da Fontoura Costa 📂 Article 📅 2011 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 234 KB