Lecture

Algorithmic Foundations for Systems Certification

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture by the instructor from Max Planck Institute for Software Systems focuses on the challenges of designing systems with untrustworthy components, emphasizing the importance of algorithmic design and analysis for systems certification. The lecture covers topics such as verification, control, and interaction in systems with unreliable components, including multithreaded shared-memory programs and k-context bounded analysis. It also delves into the decidable nature of context-bounded reachability problems and the use of Binary Decision Diagrams for efficient verification. The presentation explores the theoretical foundations and practical applications of certification engineering, emphasizing the need for trust in system design and the role of algorithmic insights in ensuring system reliability.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Official source

Related concepts (32)

Interaction design

Interaction design, often abbreviated as IxD, is "the practice of designing interactive digital products, environments, systems, and services." While interaction design has an interest in form (similar to other design fields), its main area of focus rests on behavior. Rather than analyzing how things are, interaction design synthesizes and imagines things as they could be. This element of interaction design is what characterizes IxD as a design field, as opposed to a science or engineering field.

Interaction technique

An interaction technique, user interface technique or input technique is a combination of hardware and software elements that provides a way for computer users to accomplish a single task. For example, one can go back to the previously visited page on a Web browser by either clicking a button, pressing a key, performing a mouse gesture or uttering a speech command. It is a widely used term in human-computer interaction. In particular, the term "new interaction technique" is frequently used to introduce a novel user interface design idea.

Professional certification

Professional certification, trade certification, or professional designation, often called simply certification or qualification, is a designation earned by a person to assure qualification to perform a job or task. Not all certifications that use post-nominal letters are an acknowledgement of educational achievement, or an agency appointed to safeguard the public interest. A certification is a third-party attestation of an individual's level of knowledge or proficiency in a certain industry or profession.

Human–computer interaction

Human–computer interaction (HCI) is research in the design and the use of computer technology, which focuses on the interfaces between people (users) and computers. HCI researchers observe the ways humans interact with computers and design technologies that allow humans to interact with computers in novel ways. A device that allows interaction between human being and a computer is known as a "Human-computer Interface (HCI)".

Design

A design is a concept of either an object, a process, or a system that is specific and, in most cases, detailed. Design refers to something that is or has been intentionally created by a thinking agent, though it is sometimes used to refer to the nature of something. The verb to design expresses the process of developing a design. In some cases, the direct construction of an object without an explicit prior plan may also be considered to be a design (such as in some artwork and craftwork).

Related lectures (64)

Safe Learning in Automatic Control Systems

Explores safe learning in automatic control systems, covering challenges, risk-sensitive control, and predictive safety filters.

State-Space Representation: Basics & Transformations

Covers the basics of state-space representation and explores transformations to different forms.

Introduction to HCI and Interaction Design

Covers the basics of HCI, emphasizing usability, playfulness, and the importance of professional training in design.

Control Theory Fundamentals

Covers the basic concepts of control theory and the selection of optimal controls.

Creating a Simple Mosaic