![]() |
|
Home
> Products
|
|
SpecTRM: Specification Tools and Requirements Methodology |
SpecTRM is designed to assist in the development of software-intensive safety-critical systems. Because most decisions that affect safety are made early in the product life cycle, SpecTRM focuses on system requirements and specification. SpecTRM uses a new approach to organizing system specifications, intent specifications, and the SpecTRM-RL formal modeling language. Intent specifications emphasize recording design rationale, the why of system specification, as well as what and how. A key feature of the intent specification is a black box model of the software behavior. This model is written in SpecTRM-RL (SpecTRM Requirements Language). SpecTRM-RL is founded on formalisms that support execution of the specification as well as automated safety analyses. However, SpecTRM-RL does not require training in mathematics to read. Domain experts can be taught to review SpecTRM-RL models in only a few minutes.
|
Black Box Model of the Software Behavior of an Altitude Switch |
Purchase l Download Demo l Contact Us
|
Copyright © 2003 - 2016 Safeware Engineering Corporation. All rights reserved