The ARIES Simulation Component (ASC)
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The ARIES Simulation Component (ASC) is a tool for the validation of behaviors described by an evolving specification which may be incomplete, inconsistent, and/or ambiguous. ASC does this by the formalization of an analyst's focus, the introduction of approximations to abstract away parts of the specification unrelated to the current focus, and the automated execution of a specification of various levels of abstraction with respect to this focus. This paper describes how ASC is able to bound a large and potentially incomplete behavior space of a specification under development in a well disciplined manner such that validation techniques (in this case simulation) which are most effective on small behavior spaces are tractable. This work is a step along a path toward the scaling of dynamic analysis techniques to real-world sized problems.Keywords
This publication has 14 references indexed in Scilit:
- Intelligence without representationPublished by Elsevier ,2003
- STATEMATE: a working environment for the development of complex reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Utilizing Scenarios in the Software Development ProcessPublished by Elsevier ,1993
- Representation and presentation of requirements knowledgeIEEE Transactions on Software Engineering, 1992
- Integrating domain knowledge, requirements, and specificationsJournal of Systems Integration, 1991
- An insider's evaluation of PAISLeyIEEE Transactions on Software Engineering, 1991
- A proposed perspective shift: viewing specification design as a planning problemPublished by Association for Computing Machinery (ACM) ,1989
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- Problem solving techniques for the design of algorithmsInformation Processing & Management, 1984
- Program SlicingIEEE Transactions on Software Engineering, 1984