scispace - formally typeset
Search or ask a question
Author

William J. Aldrich

Bio: William J. Aldrich is an academic researcher from MathWorks. The author has contributed to research in topics: Executable & Graphical model. The author has an hindex of 9, co-authored 20 publications receiving 371 citations.

Papers
More filters
Patent
22 Dec 2011
TL;DR: In this paper, the authors employ a mapping among entities that are related to each other to facilitate graphical identifications between parts of one entity that maps to part of another entity, based on a selection of a part in one of the entities.
Abstract: Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

149 citations

Patent
27 May 2011
TL;DR: In this paper, a system and method for generating contextual information for a source model is presented, where the contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis.
Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also ma be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

36 citations

Patent
William J. Aldrich1
16 Apr 2010
TL;DR: In this article, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device, where a postcondition element is coupled to a selected model element of the plurality of model elements.
Abstract: In one embodiment, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device. The graphical model may include a plurality of model elements. A postcondition element is coupled to a selected model element of the plurality of model elements. The postcondition element is associated with a desired result. The graphical model is employed to generate an executable form of the design. The executable form of the design and an indication of the desired result are provided to a verification tool, to instruct the verification tool to implement one or more verification scenarios.

31 citations

Patent
08 Jan 2008
TL;DR: In this article, coverage data is collected for a model and code coverage data for test cases input to the model, and the coverage data may be presented to a user as data indicating a correspondence between coverage outcome for the model and coverage outcomes for the code used to implement the model.
Abstract: Coverage data may be collected for a model. The coverage data may include model coverage data and code coverage data for test cases input to the model. The coverage data may be presented to a user as data indicating a correspondence between coverage outcomes for the model and coverage outcomes for the code used to implement the model.

29 citations

Patent
08 Jan 2008
TL;DR: A verification tool in a graphical modeling environment allows the components in the graphical modelling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model.
Abstract: A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.

24 citations


Cited by
More filters
Patent
22 Dec 2011
TL;DR: In this paper, the authors employ a mapping among entities that are related to each other to facilitate graphical identifications between parts of one entity that maps to part of another entity, based on a selection of a part in one of the entities.
Abstract: Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

149 citations

Patent
10 Aug 2007
TL;DR: In this paper, methods, mediums and systems are provided to enable a user to program the behaviors of a UML model in a graphical programming or modeling environment, such as block diagram programming environment.
Abstract: Methods, mediums and systems are provided to enable a user to program the behaviors of a Unified Modeling Language (UML) model in a graphical programming or modeling environment, such as block diagram programming environment. The UML model is exported into a text-based format, which is subsequently imported into the graphical programming or modeling environment. The graphical programming or modeling environment represents the UML model using functional blocks so that the user can program the behaviors of the UML model. The graphical programming or modeling environment also enables the user to simulate or execute the UML model to determine the behaviors of the UML model.

127 citations

Patent
03 Apr 2008
TL;DR: In this article, an exemplary system for electronically managing requirements for software development includes a projects module, a requirements module, mapping module and a verification module, which is configured to establish a software development project.
Abstract: An exemplary system for electronically managing requirements for software development includes a projects module, a requirements module, a mapping module and a verification module. The projects module is configured to establish a software development project. The requirements module is configured to define requirements for the project based on requirements information captured from a requirements source. For each requirement, the projects module is configured to associate source code developed for the requirement with the project or assign the requirement for development of source code. The mapping module is configured to map procedures identified in the source code to the defined requirements. The verification module is configured to verify the defined requirements based on results of one or more of analyses, code coverage measurements and unit testing performed on the mapped procedures.

113 citations

Patent
17 Sep 2013
TL;DR: In this paper, a processor is coupled to a unitary, logical data storage area and to a memory device that stores machine-readable instructions executable by the processor, which cause the processor to retrieve process data for display on a first user interface (UI) device, transmit to the first UI device the retrieved process data, store state information associated with the display of the process data on the first UIs, and transmit to a second UIs the processed process data retrieved according to the stored state information.
Abstract: Methods and apparatus for operating a process plant include a server providing display information to a first user interface (UI) device, storing state information, and providing display information to a second user interface device according to the stored state data. A processor is coupled to a unitary, logical data storage area and to a memory device that stores machine-readable instructions executable by the processor. The instructions cause the processor to retrieve process data for display on a first UI device, transmit to the first UI device the retrieved process data, store state information associated with the display of the process data on the first UI device, retrieve process data for display on a second UI device according to the stored state information, and transmit to the second UI device the process data retrieved according to the stored state information.

93 citations

Patent
18 Jan 2010
TL;DR: In this paper, the authors present a system for storage and management of information artifacts collected by information analysts using a computing device, which can capture a sequence of interactive operation elements that are performed by the information analyst, who is collecting an information artifact from at least one of the plurality of software applications.
Abstract: Systems and computer-implemented processes for storage and management of information artifacts collected by information analysts using a computing device. The processes and systems can capture a sequence of interactive operation elements that are performed by the information analyst, who is collecting an information artifact from at least one of the plurality of software applications. The information artifact can then be stored together with the interactive operation elements as a snippet on a memory device, which is operably connected to the processor. The snippet comprises a view from an analysis application, data contained in the view, and the sequence of interactive operation elements stored as a provenance representation comprising operation element class, timestamp, and data object attributes for each interactive operation element in the sequence.

90 citations