English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains to be a di cult and active research problem. One such di culty lies in developing correct and useful methods for validation and veri cation of real-time software speci cations. One way of analyzing and validating/verifying software speci cations is to mathematically derive or prove desired system properties based on formal speci cation languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complimentary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of nal system behavior. This paper presents, ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software speci cations. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and compliments ASADAL/PROVER, another subsystem of ASADAL which is a formal veri cation module [1]. With ASADAL/SIM, simulation primitives can be added to evolving speci cations in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the nal system behavior by graphically showing internal workings of the system; catch undersirable system behaviors with breakpoints; and present various analytical results and system statistics. ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate \evolving" speci cations at di erent, mixed, and wide levels of detail. In particular, algorithmic details may be speci ed for low level behavioral blocks, and simulated with abstract entities yet to be re ned to such a level. This facilitates tracking of critical data values at speci cation level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an e ective and comprehensive supporting tool for various existing software engineering approaches, particularly, top-down re nement and incremental development practices.

ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications