Titlebook: UML for Real; Design of Embedded R Luciano Lavagno,Grant Martin,Bran Selic Book 2003 Springer Science+Business Media New York 2003 Quality

anthesis

Modeling Metric Time,is of interactions. Potential extensions of the time services, required for description and analysis of timing requirements on interactions and validity intervals of events and data are explained in a separate section. Some open research problems are listed in the conclusion.

delusion

Specifying Telecommunications Systems with UML,tivated by the ongoing convergence between telecommunications and computing and the increasing popularity of UML, these languages have been described as UML profiles. In this chapter, we show how the UML can be leveraged as the notation to capture specifications for network services and elements.

注意

FADE

Models, Software Models and UML,y to software has often been questioned. In this chapter, we explain why modeling and model-based techniques are, in fact, the only viable way of coping with the kind of complexity that is encountered in modern software systems (and, in particular, in embedded and real-time systems). The essentials

結(jié)構(gòu)

Pruritus

Landlocked

UML and Platform-based Design,tions to represent platform services and their attributes in embedded software development. It also presents a design methodology for embedded systems that is based on platform-based design principles.

紅潤

PLIC

Fine Grained Patterns for Real-Time Systems,pertise in the forms of solutions that have proven effective in solving specific kinds of problems in a various contexts. This chapter discusses how fine-grained patterns that solve specific kinds of problems common in realtime systems. These and other related patterns can be found in the references

mutineer

Architectural Patterns for Real-Time Systems,.Architectural patterns are patterns that are useful for defining architectures. In this chapter, we describe several key structural patterns that have proven themselves quite useful in defining the architectures of complex real-time systems. We also show how these patterns can be modeled using the