✦ LIBER ✦

SW/HW-partitioning of real-time embedded systems

✍ Scribed by Juha-Pekka Soininen; Matti Sipola; Kari Tiensyrjä

Publisher: Elsevier Science
Year: 1989
Weight: 634 KB
Volume: 27
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90053-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hard real-time embedded operating system

Hard real-time embedded operating systems

✍ Jim Cooling 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 132 KB

Parallel processing in embedded real-tim

Parallel processing in embedded real-time systems

✍ Harold W. Lawson 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 553 KB

Automated code generation of embedded re

Automated code generation of embedded real-time systems

✍ Antti Auer; Pekka Kemppainen; Ari Okkonen; Veikko Seppänen 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 343 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

Real-time task scheduling for energy-awa

Real-time task scheduling for energy-aware embedded systems

✍ Vishnu Swaminathan; Krishnendu Chakrabarty 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 339 KB

We present a new approach for scheduling workloads containing periodic tasks in real-time systems. The proposed approach minimizes the total energy consumed by the task set and guarantees that the deadline for every periodic task is met. Energy is a scarce resource for embedded systems, and energy c

IPTES — Incremental Prototyping Technolo

IPTES — Incremental Prototyping Technology for Embedded real-time Systems

✍ Petri Pulli; René Elmstrøm 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 426 KB