Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Index

Note: Page numbers followed by “f” and “t” refer to figures and tables respectively.

A

AADLDispatchProtocolType enumeration, 244, 245f

AADLThreadType stereotype, 240, 240, 243, 244, 244f, 246

Acquire stereotypes, 33, 34, 36–37, 81, 81f, 90, 93, 105

Action Language for Foundational UML (Alf), 265–266

ActiveResource stereotype, 41

Alarm stereotype, 118, 119–120, 120

AllocatedMemory, 13–14, 16

AllocatedPreciseClock, 10

Allocate stereotype, 99–100, 156–159

interpretation of specifications, 161

kind and nature attributes, 158, 158, 158

MARTE definition of, 158

to specify required and offered QoS values, 160f

Analysis frameworks, 20–21

Analysis-oriented model, 19–20

Annotation profile, 28–29, 29, 29f

Application programming interface (API),