Software Ha zard Anal Level 3 Specification(modeling)language goals · Readable and reviewable Minimize semantic distance Minimal(blackbox) Easy to learn Unambiguous and simple semantics Complete Can specify everything need to specify Analyzable Executable Formal(mathematical) foundation ludes human actions Assists in finding incompleteness Software Hazard Analysis SpecTRM-RL Combined requirements specification and modeling language a state machine with a more readable notation on top of it Includes a task modeling language Could add other notations and visualizations of state machine Enforces or includes most of completeness criteria Supports specifying systems in terms of modes Control modes Operational modes Supervisory modes Display modes✡☎✣✞✡☎✆✞✙☎✕✔✥✧✦✩★☎✲ ￾✂✙☎✚✠✛✜✍☎✑✡✔☞✜✍☎✏✞✍☎✑✒✔✓✂✕☎✍☎✗✝✞✆✞✘✆ c ✢ Level 3 Specification (modeling) language goals Readable and reviewable Minimize semantic distance Minimal (blackbox) Easy to learn Unambiguous and simple semantics Complete Can specify everything need to specify Analyzable Executable Formal (mathematical) foundation Includes human actions Assists in finding incompleteness c ✢✡☎✣✞✡☎✆✞✙☎✕✔✥✧✦✩✰☎✳ ￾✂✙☎✚✠✛✜✍☎✑✡✔☞✜✍☎✏✞✍☎✑✒✔✓✂✕☎✍☎✗✝✞✆✞✘✆ SpecTRM−RL Combined requirements specification and modeling language A state machine with a more readable notation on top of it Includes a task modeling language Could add other notations and visualizations of state machine Enforces or includes most of completeness criteria Supports specifying systems in terms of modes Control modes Operational modes Supervisory modes Display modes