Foresight: system simulation for system developers

Foresight is an advanced systems modeling and simulation tool set developed for use by systems engineers and developers of complex embedded systems. Foresight distinguishes itself with three key advantages: an intuitive, highly graphical systems modeling language based on extensions to popular modeling notations currently used for systems engineering and development; modeling constructs that are comprehensive and expressive enough to capture all key aspects of complex systems: functionality, dynamic behavior architectural performance, and information flow; an integrated and extensible tool set for constructing, simulating, and analyzing system models in support of systems development and systems prototyping. This paper describes Foresight's modeling language and supporting tool set.<<ETX>>

[1]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[2]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[3]  Gernot Richter,et al.  Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language , 1993, IEEE Trans. Software Eng..

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

[5]  Wolter J. Fabrycky,et al.  Systems engineering and analysis , 1981 .

[6]  Mack Alford.  STRENGTHENING THE SYSTEMS ENGINEERING PROCESS , 1991 .

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  Yu Wang.  A Distributed Specification Model and Its Prototyping , 1988, IEEE Trans. Software Eng..

[9]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

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

[11]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[12]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[13]  Mani B. Srivastava,et al.  Using VHDL for high-level, mixed-mode system simulation , 1992, IEEE Design & Test of Computers.