✦ LIBER ✦

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets

✍ Scribed by Pao-Ann Hsiung; Chuen-Hau Gau

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 216 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80474-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling and verification of real-time

Modelling and verification of real-time software using interpreted petri nets

✍ F. Arendt; B. Klühe 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 695 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

063 Control synthesis of manufacturing s

063 Control synthesis of manufacturing systems modeled by a class of controlled timed petri nets: J. Long, B. Descotes-Genon, pp 307–310

📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 128 KB