Animation-Based Service Specification, Verification and Validation

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

In recent years, the emphasis on computational thinking (CT) has intensified as an effect of accelerated digitalisation. While most researchers are concentrating on defining CT and developing tools for its instruction and assessment, we focus on the charac ...

In the growing field of closed-loop neuromodulation, designing power-and area-efficient analog front-ends (AFEs) for neural recording poses a significant challenge. Thus, an effective design flow is needed to ensure system's hardware efficiency and to auto ...

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Despite scientific and technological advances in the field of assistive technology (AT) for people with visual impairment (VI), technological designs are frequently based on a poor understanding of the physical and social context of use, resulting in devic ...

Requirements for the miniaturization of electronics are constantly increasing as more and more functions are aimed to be integrated into a single device. At the same time, there are strong demands for low-cost manufacturing, environmental compatibility, ra ...

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

We construct reduced order models for two classes of globally coupled multi-component oscillatory systems, selected as prototype models that exhibit synchronization. These are the Kuramoto model, considered both in its original formulation and with a suita ...

The hardware complexity of modern machines makes the design of adequate programming models crucial for jointly ensuring performance, portability, and productivity in high-performance computing (HPC). Sequential task-based programming models paired with adv ...

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

The role of embodied intelligence (EI) has the potential to overcome current limitations in the fabrication, control, and resulting behavior to create robust and effective dexterous robotic manipulators. To develop hands that truly exploit EI, we must desi ...

This paper reports on experimental testing that was carried out on a prototype adaptive structure designed to counteract the effect of loading through controlled large shape changes. The prototype is 6.6 m truss equipped with 12 linear actuators which has ...

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

Object-oriented modeling is concerned with capturing common properties of objects. The dominant thinking in this realm is to classify objects that share certain properties into what is called a class, which in turn enables us to instantiate additional obje ...

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

Animation-Based Service Specification, Verification and Validation

Chattez avec Graph Search

FADE-CTP: A Framework for the Analysis and Design of Educational Computational Thinking Problems

A Systematic Design Flow for Compact and Efficient Analog Front-Ends in Closed-Loop Neuromodulation Systems

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Assessing the implementation of user-centred design standards on assistive technology for persons with visual impairments: a systematic review

Printed Electronics Technologies for Additive Manufacturing of Hybrid Electronic Sensor Systems

Direct Model-checking of SysML Models

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Modeling synchronization in globally coupled oscillatory systems using model order reduction

Decentralized in-order execution of a sequential task-based code for shared-memory architectures

A Theory of Value for Service Ecosystems

Verification of Software Network Functions with No Verification Expertise

Leveraging Embodied Intelligence for Dexterous Robotic Manipulators Through Iterative Co-design

Design and control of a prototype structure that adapts to loading through large shape changes

Scaling Language Features for Program Verification

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Scaling Functional Synthesis and Repair

A Novel Approach to Modeling Enterprise Services Leveraging Object Cloning and Multilevel Classification

Overcoming decision paralysis—A digital twin for decision making in energy system design

Verifying Software Network Functions with No Verification Expertise

Automated Verification of Network Function Binaries