Диаграмма состояния. 
Проектирование программного обеспечения встроенного микропроцессора

Диаграмма классов, рассмотренная выше, есть не что иное как логическая модель статического представления моделируемой системы. На этой диаграмме будут отображены лишь взаимосвязи со структурным характером, которые не зависят от реакции системы на внешние события и/или времени. Но для преобладающего числа физических систем, за исключением наиболее тривиальных, статических представлений будет в корне недостаточно для того чтобы смоделировать процесс функционирования так систем, не только в целом, но и их отдельных подсистем и/или элементов.

Для того чтобы смоделировать поведение на логическом уровне в UML можно использовать несколько канонических диаграмм: деятельности, состояний, кооперации и последовательности. Каждая из них фокусирует внимание на конкретном аспекте работы системы. Диаграмма состояния отличается от других тем, что она описывает процесс изменения состояний исключительно для одного класса, если несколько точнее — то для одного экземпляра конкретного класса. Она моделирует все потенциальные изменения состояния выбранного объекта. Изменение состояния может быть вызвано как извне, так и внешними воздействиями иных объектов. Диаграмма состояний используется для описания реакции объекта на такие внешние воздействия.

Эта диаграмма предназначена в первую очередь для описания всех возможных переходов и последовательности состояний, которые в совокупности будут моделировать поведение элемента модели во время его жизненного цикла. В диаграмме состояний представлено динамическое поведение сущностей, созданное на основе спецификаций их реакции на восприятие определённых событий. К примеру системы, реагирующие на внешние действия пользователей и/или других систем, часто называют реактивными. Если подобные действия инициируются в случайный момент времени, то модель имеет асинхронное поведение.

Чаще всего диаграммы состояний используют для создания описаний конкретных экземпляров объектов (классов), но при необходимости их можно использовать для спецификации функциональности иных частей модели, вроде актёров, вариантов использовании, операций, методов и подсистем.

Диаграмма состояний есть не что иное как граф специального вида, который образует своеобразный «Автомат». Понятие «Автомат» в контексте UML имеет крайне специфическую семантику, в основе которой лежит теория автоматов. В качестве вершин этого графа выступают состояния и иные типы элементов автомата (Т.е. псевдосостояния), которые отображаются с использованием соответствующих графических символов. Для обозначения перехода из одного состояния в другое используются дуги графа. Диаграммы состояний можно «вкладывать» друг в другу, создавая тем самым более детальное представление о конкретных элементах модели. Для того чтобы понять семантику выбранной диаграммы помимо особенностей поведения моделируемой сущности необходимо представлять и общие сведения о теории автоматов [2].

С моделью диаграммы состояний, разработанной в соответствии с заданием курсового проекта можно ознакомиться в приложении, А на рисунке А3. На диаграмме можно увидеть следующие состояния системы: Начальное, Активное и Конечное. Помимо этого, там определены сторожевые условия и переходы меж состояниями.