UML for Real : Design of Embedded Real-Time Systems by Luciano Lavagno, Grant Martin, Bran V. Selic

By Luciano Lavagno, Grant Martin, Bran V. Selic

UML for actual: layout of Embedded Real-Time platforms goals to teach the truth of UML as a medium for specification and implementation of real-time structures, illustrating either the present features and bounds of UML for this activity, and destiny instructions that would increase its usefulness for real-time and embedded product layout. it is going to additionally disguise chosen functions examples. The publication is an edited quantity of solicited chapters.

Show description

Read Online or Download UML for Real : Design of Embedded Real-Time Systems PDF

Similar microprocessors & system design books

Designing Embedded Systems with PIC Microcontrollers: Principles and Applications

This e-book is a hands-on advent to the foundations and perform of embedded approach layout utilizing the PIC microcontroller. full of beneficial examples and illustrations, it supplies an in-depth therapy of microcontroller layout, programming in either meeting language and C, and lines complicated themes corresponding to networking and real-time working platforms.

Logic and Language Models for Computer Science

This article makes in-depth explorations of a vast diversity of theoretical subject matters in desktop technological know-how. It plunges into the purposes of the summary recommendations which will confront and tackle the skepticism of readers, and instill in them an appreciation for the usefulness of thought. A two-part presentation integrates common sense and formal language—both with functions.

Extra info for UML for Real : Design of Embedded Real-Time Systems

Example text

Triggering the execution of a given method describing the behavior of the called operation. 2 Signal-based messaging In UML, messages may take two forms. Either they are operation-based messages as detailed just above, or they may convey signals. A signal always models an asynchronous communication. The Signal meta-class inherits from the Classifier meta-class. Then, it can have some attributes that, in fact, represent eventually some parameters of the signalbased communication. Indeed, unlike signals in Harel’s initial statecharts concept [18], the UML signal concept can convey parameters.

This feature deals with the impact of the execution of an operation on the state of the object. If true, an execution of the operation leaves the object state unchanged. In the other, false, case, it may have side-effects on the object state. To model the side-effect possibility of an operation, the user has to put the tagged value {isQuery = ‘true or false’} after the name of the operation in the class specification. For example, the operation endRegulating of UML for Real-Time 25 Regulator class in Figure 2-5 has no side-effects on its related object features when executed.

Parallelism may be introduced either at the system level ensured by the concurrency between objects (several objects may run concurrently at a time), or also at the object level where an object may perform various things at a time. The main difficulty in using the previous described concurrency mechanisms is to use them together without contradictions. To solve such issues, each methodology dedicated to the real-time domain has to make a choice between them and to clarify some semantic rules in order that their choices may be applied coherently.

Download PDF sample

Rated 4.83 of 5 – based on 35 votes