Patent
Verifying models for exceptional behavior
William J. Aldrich
- 20 Jun 2008
2
TL;DR: In this paper, a computer-implemented method may include receiving a specification including one or more instances of a language construct, the language construct having an exceptional behavior; identifying in the specification the one or multiple instances of the language constructs having the exceptional behaviour; applying a modification to the modification making the exceptional behavior explicit; analyzing the specification for dynamic occurrences of the explicit exceptional behavior.
read more
Abstract: A computer-implemented method may include receiving a specification including one or more instances of a language construct, the language construct having an exceptional behavior; identifying in the specification the one or more instances of the language construct having the exceptional behavior; applying a modification to the one or more instances of the language construct having the exceptional behavior, the modification making the exceptional behavior explicit; analyzing the specification for dynamic occurrences of the explicit exceptional behavior; and generating information identifying the dynamic occurrences of the explicit exceptional behavior.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Model checking device for distributed environment model, model checking method for distributed environment model, and medium
Yakuwa Yutaka,Nobuyuki Tomizawa +1 more
- 21 Aug 2014
TL;DR: A model checking device for a distributed-environment-model is presented in this article, which adopts a first state as start point when obtaining information indicating a distributed environment-model, searches the state attained by the distributed environment model by executing straight line movements for moving from the first state to a second state which is an end position, and determines whether the searched state satisfies a predetermined property.
2
Patent
Method for generating a control program that can be executed on a control system
Sebastian Hillebrand,Karsten Fischer +1 more
- 06 Mar 2015
TL;DR: In this paper, a computer-implemented method for generating a control program that is executable on a control system from a graphical control model is presented, where the generated program code is translated into the executable control program such that when the control program is executed on the control system, a portion of the program code has at least one FXP operation, and another part of the FLP operation.
References
Patent
Graphical programming system and method including three-dimensional nodes with pre-defined input and output capabilities
Carsten Thomsen,Jeffrey L. Kodosky +1 more
- 14 Feb 1997
TL;DR: In this paper, the authors present a graphical programming system and method which includes three-dimensional nodes that are wired or connected to from a graphical program or block diagram, each of which includes a plurality of sides that are designed to receive pre-defined inputs.
112
Patent
Method and apparatus for improved local and global variable capabilities in a graphical data flow program
Jeffrey L. Kodosky,Steven W. Rogers +1 more
- 22 Sep 1993
TL;DR: In this article, the authors propose a graphical data flow programming environment whereby the local and global variables correspond to a control on a panel. And the user can view the global variable updating on the panel during execution of a VI.
99
Patent
Method and apparatus for providing stricter data type capabilities in a graphical data flow diagram
Jeffrey L. Kodosky,Darshan Shah +1 more
- 07 Jun 1995
TL;DR: In this article, a method and apparatus for providing stricter data types, and stricter data type checking, in a data flow diagram is presented, whereby, as a block diagram is created, the block diagram editor continually checks each node or function for impermissible data unit operations.
94
Patent
Graphical programming system and method including nodes for programmatically accessing data sources and targets
Paul F. Austin
- 18 Apr 2001
TL;DR: In this article, the authors present a system and method for creating a graphical program which accesses data from/to one or more of a data source or a data target by displaying a data access node in the graphical program.
91
Patent
A system and method for using execution contexts in block diagram modeling
John Edward Ciolfi,Ramamurthy Mani,Donald P. Ii Orofino,Mojdeh Shakeri,Marc Ullman,Murali Yeddanapudi +5 more
- 16 Apr 2004
TL;DR: In this paper, a method of controlling the conditional execution of elements and subsystems in a block diagram is described, which allows execution of the associated element or subsystem upon satisfaction of a specified pre-condition.
86