Adding form to real-time system specification and simulation
SCIE
SCOPUS
- Title
- Adding form to real-time system specification and simulation
- Authors
- Lee, JY; Kang, KC; Kim, GJ; Kim, HJ
- Date Issued
- 1999-10
- Publisher
- WORLD SCIENTIFIC PUBL CO PTE LTD
- Abstract
- Specification and validation of a real-time system are often based on making simplistic predictions and assumptions about relevant behavior of the external environment and the controlled device interacting with it. However, in many cases, real-time systems physically interact with other external objects in a complex manner in a dynamically changing world and thus, their Sonn (e.g. physical properties such as shape, mass, material, and configuration) can play a critical role in producing a correct specification and obtaining realistic simulation output. We present ASADAL/PROTO, a specification and simulation tool for real-time systems, that takes form into account in addition to the function and behavior handled by ASADAL/SIM, its predecessor. Simulation of the control system specification runs in conjunction with the environmental simulation, and the resulting interactive behavior of the controlled system is observed visually for analysis. Our vision is to incrementally model, simulate and analyze all three views (behavior, function, and form) of real-time system specification for its increased level of confidence at early prototyping stage.
- Keywords
- real-time embedded systems; requirement analysis; object-oriented specification; simulation; visualization
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/20180
- DOI
- 10.1142/S0218194099000346
- ISSN
- 0218-1940
- Article Type
- Article
- Citation
- INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, vol. 9, no. 5, page. 643 - 661, 1999-10
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.