Search
Search Results
-
A refinement-based approach to safe smart contract deployment and evolution
In our previous work, we proposed a verification framework that shifts from the “code is law” to a new “specification is law” paradigm related to the...
-
Supporting safe metamodel evolution with edelta
Metamodels play a crucial role in any model-based application. They underpin the definition of models and tools, and the development of model...
-
Safe Contrastive Clustering
Contrastive clustering is an effective deep clustering approach, which learns both instance-level consistency and cluster-level consistency in a...
-
Neural-network-based safe learning control for non-zero-sum differential games of nonlinear systems with asymmetric input constraints
This paper primarily investigates a neural-network-based safe control scheme for solving the optimal control problem of continuous-time (CT)...
-
Safe AI in Autonomous Vehicles
Today, the most prominent application of AI technology in the automotive domain is in the realm of environment perception. The diversity of the...
-
Toward a safe MLOps process for the continuous development and safety assurance of ML-based systems in the railway domain
Traditional automation technologies alone are not sufficient to enable driverless operation of trains (called Grade of Automation (GoA) 4) on...
-
Evolution of Computing
Computers and computing emerged within a lifetime and completely changed our world. Although their history is brief, the change they precipitated has...
-
Safe Software and Secure Software
In most cyber-physical systems, the functionality is implemented in software. Therefore, the software is responsible for a significant part of safety...
-
Going beyond templates: composition and evolution in nested OSTRICH
Low-code frameworks strive to simplify and speed up application development. An essential mechanism to achieve these goals is to have native support...
-
Safe and secure system architectures for cyber-physical systems
Cyber-physical systems are at the core of our current civilization. Countless examples dominate our daily life and work, such as driverless cars that...
-
Reliable and Accurate Implicit Neural Representation of Multiple Swept Volumes with Application to Safe Human–Robot Interaction
In automated production using collaborative robots in a manufacturing cell, a crucial aspect is to avoid collisions to ensure the safety of workers...
-
An Architecture for Safe Driving Automation
This paper presents a novel distributed computer architecture that supports the incremental development and validation of a safe and secure SAE...
-
Type-safe Quantum Programming in Idris
Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational...
-
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance
Autonomous spacecraft rendezvous poses significant challenges in increasingly complex space missions. Recently, Reinforcement Learning (RL) has...
-
Revisiting Ontology Evolution Patterns
Mixing formal methods (such as B) and ontology description languages is a promising approach to develop reliable, safe and secure systems. In fact,...
-
Fail-Safe Automatic Timed Response Protocol for Cyber Incident and Fault Management
An operation modality sometimes referred to as Hybrid System Operation is increasingly prevalent as automated systems assume more control in...
-
Safe reuse in modelling language engineering using model subty** with OCL constraints
Low-code software development promises rapid delivery of software cloud applications by employing domain-specific languages (DSLs), requiring minimal...
-
Assigning Safe Executed Systems to Meanings
The B method is a formal method to design software components and to prove that they are compliant with some formalized requirements, giving a way to...
-
Fault Injection and Safe-Error Attack for Extraction of Embedded Neural Network Models
Model extraction emerges as a critical security threat with attack vectors exploiting both algorithmic and implementation-based approaches. The main...
-
Road Environment Perception for Safe and Comfortable Driving
With the ongoing evolution of autonomous driving technology, road environment perception systems have become a significant focus of research....