A real world object modeling method for creating simulation environment of real-time systems

Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software specification requires realistic simulation of its environment. Two problems that need to be addressed in the simulation of a target software system and its environment: First, integration and simulation of the specifications of a target software system and its artificial environment are often performed too late in the lifecycle to provide any significant value. Second, real world objects in the environment usually have spatial characteristics (form) such as shape, motion, etc. that must be specified for simulation, and there is no method to express these spatial characteristics at various levels of abstraction that are adequate for the required simulation fidelity.To address these problems, we have developed a method that supports incremental specification and simulation of both the target software system and its environmental objects. The method includes: (1) a specification method for behavior, function, and form integrated objects; (2) form specification primitives that abstract common spatial characteristics of real world objects, their typical spatial relations, and spatial interactions; and (3) a methodology that refines, verifies, and validates behavior, function, and form specification of both the real-time embedded control software and its environment in a systematic and incremental manner. The proposed specification, verification, and validation method has been applied to a robot control system example to demonstrate its effectiveness and usefulness.

[1]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[2]  Georg Lehrenfeld,et al.  Integrated Design and Simulation of Hybrid Systems , 1998, HSCC.

[3]  Kyo Chul Kang,et al.  ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications , 1998, Softw. Pract. Exp..

[4]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[5]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[6]  Bernard P. Zeigler,et al.  DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems , 1994, Hybrid Systems.

[7]  Randy F. Pausch,et al.  Alice: easy to learn interactive 3D graphics , 1997, SIGGRAPH '97.

[8]  Randall P. Sadowski,et al.  Introduction to Simulation Using Siman , 1990 .

[9]  A. Alan B. Pritsker,et al.  Introduction to simulation and SLAM II , 1979 .

[10]  Kyo Chul Kang,et al.  PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method , 1995, 1995 17th International Conference on Software Engineering.

[11]  David Harel,et al.  On visual formalisms , 1988, CACM.

[12]  Paul S. Strauss,et al.  An object-oriented 3D graphics toolkit , 1992, SIGGRAPH.

[13]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[14]  Roger Phillips,et al.  Executable specifications and CASE , 1994, Softw. Eng. J..

[15]  Edmund M. Clarke,et al.  Model checking, abstraction, and compositional verification , 1993 .

[16]  Pamela Zave,et al.  An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.

[17]  Edmund M. Clarke,et al.  Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.

[18]  Bernard P. Zeigler,et al.  DEVS representation of dynamical systems: event-based intelligent control , 1989, Proc. IEEE.

[19]  Victor R. Basili,et al.  Software errors and complexity: an empirical investigation0 , 1984, CACM.

[20]  Dorota Witaszek,et al.  Validation of Hybrid Systems by Co-simulation , 1995, Hybrid Systems.

[21]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[22]  Kang Kyo-Chul,et al.  Refinement and Validation of Software Requirements Using Incremental Simulation , 1998 .

[23]  David Notkin,et al.  Improving efficiency of symbolic model checking for state-based system requirements , 1998, ISSTA '98.

[24]  Victor R. Basili,et al.  Software errors and complexity: an empirical investigation , 1993 .

[25]  William Bruyn,et al.  An extended systems modeling language (ESML) , 1988, SOEN.

[26]  Christopher J. Coomber,et al.  SCHEMASIM: a simulation environment for real-time systems , 1994, SIML.

[27]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[28]  Edward C. Russell.  Building Simulation Models with Simscript II.5 , 1999 .