✦ LIBER ✦

A D-graph based approach for verifying response time of “critical” programs

✍ Scribed by G. Cantone; A. Esposito

Book ID: 107910262
Publisher: Elsevier Science
Year: 1989
Weight: 428 KB
Volume: 27
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90104-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constraint graph-based approach for the

Constraint graph-based approach for the analysis and the control of time critical systems

✍ Patrice Bonhomme 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 367 KB

A Dual Language Approach Extension to UM

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems

✍ Luigi Lavazza; Sandro Morasca; Angelo Morzenti 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A "dual language" component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Tempo