ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications

Software - Practice and Experience

Volumn 28, Issue 4, 1998, Pages 445-462

  Kang, Kyo C ^a   Lee, Kwan W ^a   Lee, Ji Y ^a   Kim, Gerard J ^a  

^a Pohang University of Science and Technology (POSTECH)   (South Korea)

Author keywords

Incremental development; Real time systems; Requirements analysis; Specification execution; Statechart; Validation and verification

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; FORMAL LANGUAGES; GRAPH THEORY; PROBLEM SOLVING; RANDOM PROCESSES; REAL TIME SYSTEMS;

FORMAL VERIFICATION MODULES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032048808     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(19980410)28:4<445::AID-SPE166>3.0.CO;2-J     Document Type: Article

References (23)

1. K. C. Kang and G. I. Ko, 'PARTS: A temporal logic-based real-time software specification and verification method', Proceedings of ICSE '95, Seattle, WA, April 23-30 1995, pp. 169-176.
2. A. M. Davis, Software Requirements: Objects, Functions, and States, PTR Prentice-Hall, 1993.
3. J. C. Bicarregui, J. S. Fitzgerald, P. A. Lindsay, R. Moore and B. Ritchie, Proof in VDM: A Practitioner's Guide, Springer-Verlag, London, 1994.
4. F. Jahanian and A. Mok, 'Safety analysis of timing properties in real-time systems', IEEE Transactions on Software Engineering, 9, 890-904 (1986).
5. S. J. Ostroff, 'Formal methods for the specification and design of real-time safety critical systems', Journal of Systems and Software, 33-60 (April 1992).
6. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, New York, 1995.
7. M. P. E. Heimdahl and N. G. Leveson, 'Completeness and consistency analysis of state-based requirements', Proceedings of ICSE '95, Seattle, WA, April 23-30 1995, pp. 3-14.
8. K. C. Kang, M. Christel, J. Herman, J. Morin, P. Place and D. Wood, 'Requirements engineering project: Project plan', Unpublished Work, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, 1991.
9. C. Gaskell and R. Phillips, 'Executable specifications and CASE', Software Engineering Journal, 174-182 (July 1994).
10. B. W. Boehm, 'A spiral model of software development and enhancement', IEEE Computer, 61-72 (May 1988).
11. R. M. Balzer, D. Cohen, M. S. Feather, N. M. Goldman, W. Swartout and D. S. Wile, 'Operational specification as the basis for specification validation', Theory and Practice of Software Technology, North-Holland, Amsterdam, 1983, pp. 21-49.
12. N. M. Goldman, D. S. Wile, M. Feather and W. Lewis Johnson, 'Gist Language Description', Information Science Institute, September 1988.
13. C. J. Coomber, 'SCHEMASIM: A simulation environment for real-time systems', Simulation Digest, Spring 1994.
14. C. J. Coomber, 'Automation of transformation schemas for object-oriented simulations', Chapter 7 in Object-Oriented Simulation: Reusability, Adaptability, Maintainability, New York, IEEE Press, 1997, pp. 221-267.
15. P. T. Ward, 'The transformation schema: An extension of the data flow diagram to represent control and timing', IEEE Transactions on Software Engineering, 12 (2) (February 1986).
16. W. Bruyn, R. Jensen, D. Keskar and P. Ward, 'ESML: an Extended Systems Modeling Language based on the data flow diagram', ACM Software Engineering Notes, 13 (1), 58-67 (November 1987).
17. P. Zave, 'An operational approach to requirements specification for embedded systems', IEEE Transactions on Software Engineering, 8 (3), 250-269 (May 1982).
18. P. Zave and W. Schell, 'Salient features of an executable specification language and its environment', IEEE Transactions on Software Engineering, 12 (2), 312-325 (February 1986).
19. P. Zave, 'An insider's evaluation of PAISLey', IEEE Transactions on Software Engineering, 17 (3), 212-225 (March 1991).
20. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring and M. Trakhtenbrot, 'STATEMATE: A working environment for the development of complex reactive systems', IEEE Transactions on Software Engineering, 16 (4), 403-114 (April 1990).
21. D. Harel and M. Politi, Modeling Reactive Systems using Statecharts: the Statemate Approach, Part No. D-1100-43, 6/96 i-Logix Inc., 1996.
22. P. A. Fishwick, Simulation Model Design and Execution: Building Digital Worlds, Prentice Hall, 1995.
23. H. J. Kim and H. Y. Kim, 'ASADAL Specification of an Avionics System', POSTECH/CS/SE-95-TM-4 Technical Report, Software Engineering Laboratory, Pohang University of Science and Technology, 1995.