✦ LIBER ✦

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

✍ Scribed by Angelo Furfaro; Libero Nigro; Francesco Pupo

Publisher: Springer US
Year: 2006
Tongue: English
Weight: 443 KB
Volume: 32
Category: Article
ISSN: 0922-6443
DOI: 10.1007/s11241-006-5318-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Methodology of real-time system design u

Methodology of real-time system design using multiprocessors

✍ L Zhang; M Galindo; D Marquie; Y Raynaud 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 661 KB

Real-Time Systems || Model Checking of F

Real-Time Systems || Model Checking of Finite-State Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

Network conscious design of distributed

Network conscious design of distributed real-time systems

✍ Jung Woo Park; Young Shin Kim; Seongsoo Hong; Manas Saksena; Sam H. Noh; Wook Hy 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 702 KB

File design of small real-time computer

File design of small real-time computer system

✍ T Ushiroda 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 672 KB

Time synchronization of hierarchical rea

Time synchronization of hierarchical real-time networked CNC system based on ethernet/internet

✍ Xiang-li Zhang; Xiao-qi Tang; Ji-hong Chen 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 469 KB

Top-down design of embedded real-time AI

Top-down design of embedded real-time AI systems

✍ J. Hooman 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 568 KB

A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in whichparallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional