𝔖 Bobbio Scriptorium
✦   LIBER   ✦

QoS-oriented design of embedded systems with specification PEARL

✍ Scribed by Roman Gumzej; Wolfgang A. Halang

Book ID
118299987
Publisher
Springer
Year
2007
Tongue
English
Weight
346 KB
Volume
3
Category
Article
ISSN
1614-5046

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Specification and performance analysis o
Specification and performance analysis of embedded systems with coloured petri nets
✍ L.P.M. Benders πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 765 KB

To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation, e.g., processing times, waiting times, idle times, data accesses, processing requests. Thi

[Lecture Notes in Electrical Engineering
[Lecture Notes in Electrical Engineering] Embedded Systems Specification and Design Languages Volume 10 || Modeling AADL Data Communications with UML MARTE
✍ Villar, Eugenio πŸ“‚ Article πŸ“… 2008 πŸ› Springer Netherlands 🌐 English βš– 306 KB

This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research dir