By Bo I. Sandén

This booklet assumes familiarity with threads (in a language reminiscent of Ada, C#, or Java) and introduces the entity-life modeling (ELM) layout method for yes forms of multithreaded software program. ELM makes a speciality of "reactive systems," which continually have interaction with the matter surroundings. those "reactive platforms" comprise embedded platforms, in addition to such interactive platforms as cruise controllers and automatic teller machines.

Part I covers basics: program-language thread aid and nation diagramming. those are worthy for knowing ELM and are supplied essentially for reference. half II covers ELM from various angles. half III positions ELM relative to different layout approaches.

Show description

Read or Download Design of Multithreaded Software: The Entity-Life Modeling Approach PDF

Best systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This is often either a pragmatic and theoretical advisor detailing how you can set up a profitable ProVision® technique, utilizing a couple of actual enterprise situations alongside the best way. in contrast to different structure books, the procedure is holistic - it seems on the complete lifecycle of creating a company case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This booklet describes how engineers could make optimal use of the 2 general analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout method, emphasizing how SystemC and SystemC-AMS gains will be exploited so much successfully to analyze/understand a given digital procedure and discover the layout area.

HSPA Evolution: The Fundamentals for Mobile Broadband

This e-book is key studying for these wishing to acquire a structures standpoint and a huge view at the history, functionality and alertness of the most recent advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader behind the curtain of 3GPP and gives an simply available figuring out of the elemental ideas, the most recent steps within the standard’s evolution, and the motivations at the back of the improvement of standardized gains.

Formal Specification Level: Concepts, Methods, and Algorithms

This e-book introduces a brand new point of abstraction that closes the space among the textual specification of embedded platforms and the executable version on the digital method point (ESL). Readers could be enabled to function at this new, Formal Specification point (FSL), utilizing types which not just let major verification projects during this early degree of the layout movement, but in addition could be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra info for Design of Multithreaded Software: The Entity-Life Modeling Approach

Example text

Download PDF sample

Rated 4.30 of 5 – based on 39 votes