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

Lagging Strand Synthesis01:59

Lagging Strand Synthesis

13.9K
13.9K
Synthetic Biology02:55

Synthetic Biology

4.9K
Synthetic biology is an interdisciplinary science that involves using principles from disciplines such as engineering, molecular biology, cell biology, and systems biology. It involves remodeling existing organisms from nature or constructing completely new synthetic organisms for applications such as protein or enzyme production, bioremediation, value-added macromolecule production, and the addition of desirable traits to crops, to name a few.
Golden rice
Golden rice is a genetically modified...
4.9K
ATP and Macromolecule Synthesis01:28

ATP and Macromolecule Synthesis

5.9K
Biological macromolecules are organic compounds, predominantly composed of carbon atoms. The carbon atoms are covalently bonded with hydrogen, oxygen, nitrogen, and other minor elements. There are four major biological macromolecule classes: carbohydrates, lipids, proteins, and nucleic acids.
Most macromolecules are composed of single subunits, or building blocks, called monomers. The monomers combine with each other using covalent bonds to form larger molecules known as polymers.
Conversion of...
5.9K
Synthesis and Decomposition Reactions02:17

Synthesis and Decomposition Reactions

33.3K
Synthesis and decomposition are two types of redox reactions. Synthesis means to make something, whereas decomposition means to break something. The reactions are accompanied by chemical and energy changes. 
33.3K
Nonconscious Mimicry01:13

Nonconscious Mimicry

4.6K
Nonconscious mimicry occurs when individuals alter their mannerisms to match the behaviors and expressions of those nearby, without intention.
4.6K
Synthesis and Regulation of Thyroid Hormones01:20

Synthesis and Regulation of Thyroid Hormones

4.9K
Low blood levels of the thyroid hormones — triiodothyronine (T3) and thyroxine (T4) — signal the hypothalamus to release the thyrotropin-releasing hormone (TRH). TRH then reaches the pituitary gland and stimulates the release of thyroid-stimulating hormone(TSH) into the bloodstream.
Upon reaching the thyroid gland, TSH stimulates the follicular cells' active uptake of iodide ions from the blood. The ions diffuse to the apical surface of the cells and are oxidized to iodine. The...
4.9K

You might also read

Related Articles

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

Sort by
Same author

Predicate abstraction for hyperliveness verification.

Formal methods in system design·2025
Same author

Characteristics of oxygenated volatile organic compounds in Zurich, Switzerland: Sources, composition, and implication for secondary aerosol formation.

Chemosphere·2024
Same authorSame journal

Specification decomposition for reactive synthesis.

Innovations in systems and software engineering·2023
Same author

Compositional synthesis of modular systems.

Innovations in systems and software engineering·2022
Same author

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

IEEE transactions on visualization and computer graphics·2021
Same author

Brown Carbon in Primary and Aged Coal Combustion Emission.

Environmental science & technology·2021
Same journal

Guest Editorial: Intelligence for systems and software engineering.

Innovations in systems and software engineering·2023
Same journal

A systematic method for diagnosis of hepatitis disease using machine learning.

Innovations in systems and software engineering·2023
Same journal

Automated credit assessment framework using ETL process and machine learning.

Innovations in systems and software engineering·2023
Same journal

Mental health issues assessment using tools during COVID-19 pandemic.

Innovations in systems and software engineering·2022
Same journal

Opinion classification at subtopic level from COVID vaccination-related tweets.

Innovations in systems and software engineering·2022
See all related articles

Related Experiment Video

Updated: Aug 28, 2025

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression
11:23

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression

Published on: October 6, 2019

10.3K

Live synthesis.

Bernd Finkbeiner1, Felix Klein1, Niklas Metzger1

  • 1CISPA Helmholtz Center for Information Security, Saarbrücken, Germany.

Innovations in Systems and Software Engineering
|September 19, 2022
PubMed
Summary
This summary is machine-generated.

Live synthesis enables replacing running systems with new implementations by ensuring a sound transition. This approach, using LiveLTL logic, maintains system continuity for always-on applications.

Keywords:
Dynamic updatesLive updatesReactive synthesisReactive systems

More Related Videos

Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials
10:28

Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials

Published on: March 9, 2017

9.0K
Synthetic, Multi-Layer, Self-Oscillating Vocal Fold Model Fabrication
10:16

Synthetic, Multi-Layer, Self-Oscillating Vocal Fold Model Fabrication

Published on: December 2, 2011

14.1K

Related Experiment Videos

Last Updated: Aug 28, 2025

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression
11:23

A Multilayer Microfluidic Platform for the Conduction of Prolonged Cell-Free Gene Expression

Published on: October 6, 2019

10.3K
Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials
10:28

Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials

Published on: March 9, 2017

9.0K
Synthetic, Multi-Layer, Self-Oscillating Vocal Fold Model Fabrication
10:16

Synthetic, Multi-Layer, Self-Oscillating Vocal Fold Model Fabrication

Published on: December 2, 2011

14.1K

Area of Science:

  • Computer Science
  • Formal Methods
  • Software Engineering

Background:

  • Automated synthesis generates implementations from logical specifications.
  • Live synthesis addresses the challenge of updating running systems without downtime.
  • Always-on applications require seamless transitions between system versions.

Purpose of the Study:

  • To introduce and solve the live synthesis problem for systems requiring continuous operation.
  • To develop a formal logic, LiveLTL, for specifying transitions between old and new implementations.
  • To analyze the computational complexity of live synthesis.

Main Methods:

  • Introduced LiveLTL, an extension of linear-time temporal logic (LTL), to specify handover requirements.
  • Developed algorithms for live synthesis that consider both the new implementation's specification and the old one's unfinished obligations.
  • Analyzed the complexity of the proposed live synthesis approach.

Main Results:

  • The live synthesis problem for LiveLTL specifications can be solved with a 2EXPTIME complexity bound, matching standard reactive synthesis.
  • Experimental results demonstrate the necessity of live synthesis for critical applications.
  • Validated the approach using benchmarks from SYNTCOMP and robot control.

Conclusions:

  • Live synthesis provides a formal framework for updating running systems safely.
  • LiveLTL effectively captures the requirements for sound transitions in always-on systems.
  • The 2EXPTIME complexity is feasible for practical applications of live synthesis.