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 Experiment Videos

Two challenges in embedded systems design: predictability and robustness.

Thomas A Henzinger1

  • 1Ecole Polytechnique Fédérale de Lausanne, Station 14, Lausanne, Switzerland. tah@epfl.ch

Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|August 2, 2008
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

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

Sort by
Same author

Hardware-optimal quantum algorithms.

Proceedings of the National Academy of Sciences of the United States of America·2025
Same author

From non-preemptive to preemptive scheduling using synchronization synthesis.

Formal methods in system design·2017
Same author

Adaptive moment closure for parameter inference of biochemical reaction networks.

Bio Systems·2016
Same author

Quantitative reactive modeling and verification.

Computer science (Berlin, Germany)·2016
Same author

Strategy improvement for concurrent reachability and turn-based stochastic safety games.

Journal of computer and system sciences·2015
Same author

The propagation approach for computing biochemical reaction networks.

IEEE/ACM transactions on computational biology and bioinformatics·2012
Same journal

Correction to: 'Stokes settling and particle-laden plumes: implications for deep-sea mining and volcanic eruption plumes' (2020), by Mingotti et al.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

A stable hothouse triggered by a tipping mechanism.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Beyond distance: quantifying point cloud dynamics with persistent homology and dynamic optimal transport.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Global stability of the Atlantic overturning circulation: edge state, long transients and boundary crisis under CO2 forcing.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Morse index classification and landscape of Kuramoto system for Hebbian-based binary pattern recognition.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Interpretable and equation-free response theory for complex systems.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
See all related articles

Designing predictable and robust embedded systems presents key challenges. Predictability can be formalized as determinism, while robustness is framed as continuity in embedded system design.

Area of Science:

  • Computer Science
  • Electrical Engineering
  • Systems Engineering

Background:

  • Embedded systems are critical components in modern technology.
  • Designing these systems faces significant challenges in ensuring reliability and predictability.
  • Existing design methodologies often struggle to formally address system predictability and robustness.

Purpose of the Study:

  • To identify and discuss the core challenges in embedded systems design.
  • To propose formalizations for system predictability and robustness.
  • To offer a new perspective on achieving reliable embedded systems.

Main Methods:

  • Conceptual analysis of embedded systems design principles.
  • Formalization of predictability through determinism.

Related Experiment Videos

  • Formalization of robustness through continuity.

    • Main Results:

    • Predictability in embedded systems can be mathematically defined as determinism.
    • Robustness in embedded systems can be understood as continuity.
    • These formalizations provide a framework for designing more reliable systems.

    Conclusions:

    • Formalizing predictability as determinism and robustness as continuity offers a path towards more predictable and robust embedded systems.
    • This approach aids in the systematic design and verification of critical embedded systems.
    • Further research can explore the practical application of these formalizations in real-world embedded system development.