Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Translesion DNA Polymerases02:10

Translesion DNA Polymerases

9.9K
Translesion (TLS) polymerases rescue stalled DNA polymerases at sites of damaged bases by replacing the replicative polymerase and installing a nucleotide across the damaged site. Doing so, TLS allows additional time for the cell to repair the damage before resuming regular DNA replication.
TLS polymerases are found in all three domains of life - archaea, bacteria, and eukaryotes. Of the different classes of TLS polymerases, members of the Y family are fitted with specialized structures that...
9.9K
Block Diagram Reduction01:22

Block Diagram Reduction

194
The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
194
Signal Flow Graphs01:18

Signal Flow Graphs

206
Signal-flow graphs offer a streamlined and intuitive approach to representing control systems, providing an alternative to traditional block diagrams. These graphs use branches to symbolize systems and nodes to represent signals, effectively illustrating the relationships and interactions within the system.
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
206
SFG Algebra01:16

SFG Algebra

115
In Signal Flow Graph (SFG) algebra, the value a node represents is determined by the sum of all signals entering that node. This summed value is then transmitted through every branch leaving the node, making the SFG a powerful tool for visualizing and analyzing control systems.
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
115
State Space to Transfer Function01:21

State Space to Transfer Function

196
The conversion of state-space representation to a transfer function is a fundamental process in system analysis. It provides a method for transitioning from a time-domain description to a frequency-domain representation, which is crucial for simplifying the analysis and design of control systems.
The transformation process begins with the state-space representation, characterized by the state equation and the output equation. These equations are typically represented as:
196
Linear Approximation in Time Domain01:21

Linear Approximation in Time Domain

81
Nonlinear systems often require sophisticated approaches for accurate modeling and analysis, with state-space representation being particularly effective. This method is especially useful for systems where variables and parameters vary with time or operating conditions, such as in a simple pendulum or a translational mechanical system with nonlinear springs.
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
81

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems.

Software and systems modeling·2021
Same author

Behavioral interfaces for executable DSLs.

Software and systems modeling·2020
Same author

Leveraging annotation-based modeling with Jump.

Software and systems modeling·2018
Same author

A posteriori operation detection in evolving software models.

The Journal of systems and software·2013

Related Experiment Video

Updated: Jun 20, 2025

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
11:09

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

3.0K

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.

Bentley James Oakes1,2, Javier Troya3, Jessie Galasso1,4

  • 1DIRO, Université de Montréal, Montréal, Canada.

Software and Systems Modeling
|July 19, 2024
PubMed
Summary

This study introduces a new fault localization method for model transformations using symbolic execution and spectrum-based analysis. It effectively identifies faulty rules without needing test cases, improving model-driven engineering quality.

More Related Videos

Author Spotlight: Exploring Light-Driven Chemical Reactions and Energy-Harnessing Devices in Photochemical Research
08:12

Author Spotlight: Exploring Light-Driven Chemical Reactions and Energy-Harnessing Devices in Photochemical Research

Published on: February 16, 2024

8.9K
Subsurface Defect Localization by Structured Heating Using Laser Projected Photothermal Thermography
11:34

Subsurface Defect Localization by Structured Heating Using Laser Projected Photothermal Thermography

Published on: May 15, 2017

11.1K

Related Experiment Videos

Last Updated: Jun 20, 2025

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
11:09

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

3.0K
Author Spotlight: Exploring Light-Driven Chemical Reactions and Energy-Harnessing Devices in Photochemical Research
08:12

Author Spotlight: Exploring Light-Driven Chemical Reactions and Energy-Harnessing Devices in Photochemical Research

Published on: February 16, 2024

8.9K
Subsurface Defect Localization by Structured Heating Using Laser Projected Photothermal Thermography
11:34

Subsurface Defect Localization by Structured Heating Using Laser Projected Photothermal Thermography

Published on: May 15, 2017

11.1K

Area of Science:

  • Software Engineering
  • Model-Driven Engineering
  • Formal Methods

Background:

  • Model transformation verification is crucial for robust model-driven engineering and automated quality assurance.
  • Existing contract checking methods efficiently detect property violations but struggle with precise fault localization.
  • Current fault localization techniques require burdensome test case creation and maintenance.

Purpose of the Study:

  • To develop a fault localization approach for identifying faulty rules in DSLTrans model transformations.
  • To combine symbolic execution with spectrum-based fault localization, eliminating the need for test input models.
  • To evaluate the effectiveness of this combined approach for improving model transformation verification.

Main Methods:

  • Employs symbolic execution to verify model transformations and evaluate contract satisfaction.
  • Utilizes the path condition output from symbolic execution for fault localization.
  • Applies spectrum-based analysis techniques to track and rank faulty transformation rules.

Main Results:

  • The best spectrum-based analysis techniques achieved an average EXAM score below 0.30, indicating high localization efficiency.
  • The approach successfully located the faulty rule within the top-three ranked rules in 70% of evaluated cases.
  • Analysis covered the impact of transformation complexity, mutation type, and contract type on localization accuracy.

Conclusions:

  • Combining symbolic execution with spectrum-based fault localization offers an effective, test-case-free method for identifying faulty model transformation rules.
  • The proposed technique significantly reduces the effort required for debugging model transformations.
  • Further investigation into limitations and potential pre-checks is recommended for broader applicability.