|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Systematic Derivation of Operational Scenarios Using ECSAM
Edinburgh, Scotland
April 03-April 07
ISBN: 0-7695-0604-6
| ASCII Text | x | ||
| Jonah Z. Lavi, Joseph Kudish, "Systematic Derivation of Operational Scenarios Using ECSAM," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 359, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000. | |||
| BibTex | x | ||
| @article{ 10.1109/ECBS.2000.839896, author = {Jonah Z. Lavi and Joseph Kudish}, title = {Systematic Derivation of Operational Scenarios Using ECSAM}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2000}, isbn = {0-7695-0604-6}, pages = {359}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839896}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - Systematic Derivation of Operational Scenarios Using ECSAM SN - 0-7695-0604-6 SP EP A1 - Jonah Z. Lavi, A1 - Joseph Kudish, PY - 2000 VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER - | |||
ECSAM is a method for modeling, analysis, and derivation of requirements of embedded computer systems and their software. Previous ECSAM papers described its application in the conceptual modeling of system internals, providing white box models. The current paper extends the use of ECSAM to the systematic derivation of the system's external specifications taking into consideration the behavior of the environmental systems. The application of the method described in the paper results in a black box external model, which can serve as a basis for the development of operational specifications of the system in terms of system modes and its behavioral processes. The resulting external and internal system models are inherently consistent. The external specifications are translatable into use cases and operational scenarios, which can successively be transformed into operational and test requirements. The approach is demonstrated on a simplified Home Alarm System (HAS). The approach can be automated using CAS2E tools, to systematically generate operational and test requirements from a system's black box external model.
Citation:
Jonah Z. Lavi, Joseph Kudish, "Systematic Derivation of Operational Scenarios Using ECSAM," ecbs, pp.359, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000
Usage of this product signifies your acceptance of the Terms of Use.
