Регламент процедур герметичной станции «Тлеп-1» (вымышленный)

ru · unofficial · sha256:82447cb71864e7b6af39a3da7d5d605eb3b52733bb53012c17ee0416d7022ce9

Разрешение и его срок. Разрешение действует в объявленном промежутке времени. Покрытие промежутка разрешения и покрытие дежурства считает общий вычислитель интервалов; регламент лишь подаёт ему область и объявляет набор промежутков полным. Шаг, требующий разрешения, допускается только тогда, когда момент шага покрыт действующим разрешением, а разрешение действует на текущем снимке мира.

Ссылаются нормы: AuthorizationWindowComplete, AuthorizationWindowCovered, AuthorizationWindowPolicy, DutyFullyCovered, DutyGap, DutyRosterComplete, DutyRosterPolicy, StepOutsideAuthorizationWindow, StepWithinAuthorization

ru · unofficial · sha256:9c5b1816d97547cc27b25b8a9ec5c7b9cf5d2361329ecf692c833952478554eb

Включение резервного контура. Процедура начинается с запроса, проходит проверку исполнимости предъявленного пути и заканчивается включением. Шаг включения допускается только тогда, когда предъявленный путь действий признан ресурсно исполнимым, и только при действующем разрешении. Найденный планировщиком путь исполненным не считается.

Ссылаются нормы: BackupEngageable, BackupLoopActivation, BackupLoopActivation/BackupActive, BackupLoopActivation/BackupRequestedState, BackupLoopActivation/CheckPath, BackupLoopActivation/EngageBackup, BackupLoopActivation/PathVerified, BackupLoopActivationState, BackupLoopActivationTransition, BackupLoopActivation__attempted_transition, BackupLoopActivation__current_state, BackupLoopActivation__entered_state, BackupLoopActivation__initial_state, BackupLoopActivation__left_state, BackupLoopActivation__procedure_instance, BackupLoopActivation__state_before, BackupLoopActivation__valid_transition, BackupStepPermitted

ru · unofficial · sha256:e29361e61a4800d80160e2cda6f0b9d708aa20d02fc8bdd25634254737565d24

Носитель и порядок. Каждая процедура ведётся на своём носителе. Шаг предъявляется событием со своим отождествлением и временем; порядок истории задаёт время события, а не порядок строк записи. Попытка шага, не отвечающая условиям перехода, остаётся ПОПЫТКОЙ: состояние не меняется, а запись о попытке сохраняется.

ru · unofficial · sha256:85267cd0a08fa81ca3bd9faac77be5385ff5f81c59f65649c8d6ce3f831c516d

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

ru · unofficial · sha256:2450ed6d656a8b47f9ed94e9c862394f5c1f7fff0254267222bf07899c7e9327

Эвакуация. Процедура начинается с объявления эвакуации, проходит вывод людей и заканчивается подтверждением, что отсек свободен. Шаг подтверждения допускается только при предъявленном составе находившихся в отсеке: подтвердить свободу отсека, состав которого неизвестен, нельзя.

Ссылаются нормы: Evacuation, Evacuation/ClearCompartment, Evacuation/CompartmentEmpty, Evacuation/EvacuationOpen, Evacuation/MovePeople, Evacuation/PeopleWithdrawn, EvacuationClearable, EvacuationState, EvacuationTransition, Evacuation__attempted_transition, Evacuation__current_state, Evacuation__entered_state, Evacuation__initial_state, Evacuation__left_state, Evacuation__procedure_instance, Evacuation__state_before, Evacuation__valid_transition

ru · unofficial · sha256:04ac46a25c275ecece1e1904b9927100a7a32c170a06b0fe624847a0d46241e7

Изоляция отсека. Процедура начинается с требования изоляции, проходит подготовку и заканчивается закрытием отсека. Шаг закрытия допускается только тогда, когда регламент жизнеобеспечения объявил изоляцию ДОПУСТИМОЙ, и только при действующем на текущем снимке разрешении. Требование изоляции само по себе шага не разрешает.

Ссылаются нормы: CompartmentIsolation, CompartmentIsolation/CloseCompartment, CompartmentIsolation/CompartmentSealed, CompartmentIsolation/IsolationOrderedState, CompartmentIsolation/IsolationReady, CompartmentIsolation/PrepareIsolation, CompartmentIsolationState, CompartmentIsolationTransition, CompartmentIsolation__attempted_transition, CompartmentIsolation__current_state, CompartmentIsolation__entered_state, CompartmentIsolation__initial_state, CompartmentIsolation__left_state, CompartmentIsolation__procedure_instance, CompartmentIsolation__state_before, CompartmentIsolation__valid_transition, IsolationClosable, IsolationStepPermitted

ru · unofficial · sha256:424de7abea7c4e664f34e295d11639b6f2df67127385fcb8dafa8ed0e59b4d80

Оценка утечки. Процедура начинается с получения подозрения, проходит сбор опор и заканчивается либо установлением утечки, либо снятием подозрения. Установление утечки допускается шагом только тогда, когда регламент жизнеобеспечения объявил утечку установленной; предъявление шага установления при неустановленной утечке остаётся невалидной попыткой.

Ссылаются нормы: LeakAssessment, LeakAssessment/ConfirmLeak, LeakAssessment/GatherSupport, LeakAssessment/LeakEstablished, LeakAssessment/SupportsGathered, LeakAssessment/SuspicionClosed, LeakAssessment/SuspicionOpen, LeakAssessment/WithdrawSuspicion, LeakAssessmentState, LeakAssessmentTransition, LeakAssessment__attempted_transition, LeakAssessment__current_state, LeakAssessment__entered_state, LeakAssessment__initial_state, LeakAssessment__left_state, LeakAssessment__procedure_instance, LeakAssessment__state_before, LeakAssessment__valid_transition, LeakConfirmable

ru · unofficial · sha256:7de027df8e7909578d867922901dd54db26c8329ef771bb451973aa1a687f66e

Проверка пути и его исполнение — разные утверждения. Внешний планировщик предъявляет конечный путь действий; общий вычислитель сетей проверяет его ресурсную исполнимость по объявленным расходам и выпускам. Признанный исполнимым путь исполненным НЕ считается: исполнение доказывается только квитанцией исполнительного устройства.

Ссылаются нормы: FeasibleIsNotExecuted, PathExecuted, PathNotCheckedDefect, PathResourceFeasible, PathResourceShortage

ru · unofficial · sha256:f8d2f05e7d508f30ea6acf6ebbb041638304e5dbb85f8f6ba7d293e836b958f3

Ремонт. Процедура начинается с наряда, проходит выполнение работ и заканчивается сдачей. Шаг выполнения работ в отсеке допускается только после закрытия отсека процедурой изоляции: ремонт без изоляции не допускается.

Ссылаются нормы: IsolationNotClosed, Repair, Repair/AcceptRepair, Repair/PerformRepair, Repair/RepairClosed, Repair/RepairDone, Repair/RepairOrderedState, RepairPerformable, RepairState, RepairTransition, Repair__attempted_transition, Repair__current_state, Repair__entered_state, Repair__initial_state, Repair__left_state, Repair__procedure_instance, Repair__state_before, Repair__valid_transition

ru · unofficial · sha256:708b45613b5842ab5bcd0633e83c23d2012f6eecc003cb8cb3547d7b72110ff6

Возврат в работу. Процедура начинается с заявки, проходит измерительный допуск и заканчивается возвратом. Шаг возврата допускается только тогда, когда регламент измерений объявил величины отсека установленными и безопасными: возврат в работу без измерительного допуска не допускается.

Ссылаются нормы: MeasurementClearance, MeasurementClearanceMissing, ReturnPermitted, ReturnToService, ReturnToService/ClearMeasurement, ReturnToService/InService, ReturnToService/MeasurementPassed, ReturnToService/ResumeService, ReturnToService/ReturnRequestedState, ReturnToServiceState, ReturnToServiceTransition, ReturnToService__attempted_transition, ReturnToService__current_state, ReturnToService__entered_state, ReturnToService__initial_state, ReturnToService__left_state, ReturnToService__procedure_instance, ReturnToService__state_before, ReturnToService__valid_transition

ru · unofficial · sha256:cd12097b5062102fb7889de7cc32fa0308e4c2c6f34f4c52a4d1504a7f8cc0d0

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