Bentley James Oakes

Bentley James Oakes
Université de Montréal | UdeM · Department of Computer Science and Operations Research

PhD

About

43
Publications
4,999
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
182
Citations
Citations since 2016
28 Research Items
170 Citations
2016201720182019202020212022010203040
2016201720182019202020212022010203040
2016201720182019202020212022010203040
2016201720182019202020212022010203040
Additional affiliations
September 2018 - July 2021
University of Antwerp
Position
  • PostDoc Position
Education
August 2013 - August 2018
McGill University
Field of study
  • Computer Science
September 2011 - August 2013
McGill University
Field of study
  • Computer Science
September 2006 - May 2011
University of Manitoba
Field of study
  • Computer Science

Publications

Publications (43)
Preprint
Full-text available
The pace of reporting on Digital Twin (DT) projects continues to accelerate both in industry and academia. However, these experience reports often leave out essential characteristics of the DT, such as the scope of the system-under-study, the insights and actions enabled, and the time-scale of processing. A lack of these details could therefore ham...
Preprint
Full-text available
The logic behind design decisions, called design rationale, is very valuable. In the past, researchers have tried to automatically extract and exploit this information, but prior techniques are only applicable to specific contexts and there is insufficient progress on an end-to-end rationale information extraction pipeline. Here we outline a path t...
Preprint
Full-text available
Domain experts are increasingly employing machine learning to solve their domain-specific problems. This article presents six key challenges that a domain expert faces in transforming their problem into a computational workflow, and then into an executable implementation. These challenges arise out of our conceptual framework which presents the "ro...
Chapter
The Internet of Things and its technologies have evolved quickly in recent years. It became an umbrella term for various technologies, embedded devices, smart objects, and web services. Although it has gained maturity, there is still no clear or common definition of references for creating WSN-based IoT systems. In the awareness that creating an om...
Conference Paper
Full-text available
Organisations are intensely developing Digital Twins (DTs) to correctly and efficiently answer questions about the history and behaviour of physical systems. However, it is not clear how to construct these DTs starting from the data, information, knowledge, and wisdom available in the organisation. In this work, we present our approach to DT constr...
Chapter
Current automotive standards such as ISO 26262 require Hazard Analysis and Risk Assessment (HARA) on possible hazards and consequences of safety-critical components. This work attempts to ease this labour-intensive process by using machine learning-based fault injection to discover representative hazardous situations. Using a Simulation-Aided Hazar...
Conference Paper
Full-text available
Digital twins (DTs) are prevalent throughout industrial domains as evidenced by the rapid pace of experience reports in the literature. However, there remains disagreement about the precise definition of a DT and the essential characteristics in the DT paradigm, such as the scope of the system-under-study and the time-scale of its communication wit...
Conference Paper
The increasing performance demands and certification needs of complex cyber-physical systems (CPS) raise the complexity of the engineering process, not only within the development phase, but also in the Verification and Validation (V&V) phase. A proven technique to handle the complexity of CPSs is Model-Based Design (MBD). Nevertheless, the verific...
Chapter
Model-Based Systems Engineering (MBSE) provides workflows, methods, techniques and tools for optimal simulation-based design and realization of complex Software-Intensive, Cyber-Physical Systems. One of the key benefits of this approach is that the behavior of the realized system can be reasoned about and predicted in-silico, before any prototype h...
Conference Paper
Full-text available
Fault Injection (FI) is a method for system validation and verification in which the tester evaluates the system behavior resulting from the introduction of faults into the system under test. This paper proposes a model-based approach to improve the efficiency of the FI process by utilizing Machine Learning (ML) and formalized domain knowledge. Thi...
Chapter
Full-text available
Co-simulation is a powerful technique for performing full-system simulation. Multiple black-box models and their simulators are combined together to provide the behaviour for a full system. However, the black-box nature of co-simulation and potentially infinite configuration space means that configuration of co-simulations is a challenging problem...
Conference Paper
Full-text available
Assessing the safety of complex Cyber-Physical Systems (CPS) is a challenge in any industry. Fault Injection (FI) is a proven technique for safety analysis and is recommended by the automotive safety standard ISO 26262. Traditional FI methods require a considerable amount of effort and cost as FI is applied late in the development cycle and is driv...
Preprint
Full-text available
Assessing the safety of complex Cyber-Physical Systems (CPS) is a challenge in any industry. Fault Injection (FI) is a proven technique for safety analysis and is recommended by the automotive safety standard ISO 26262. Traditional FI methods require a considerable amount of effort and cost as FI is applied late in the development cycle and is driv...
Conference Paper
The design of safety-related systems traditionally has long and costly development cycles due to the highly manual safety engineering process, which is guided by industry standards. In this paper, we present a modelling framework that supports DevOps principles of continuous testing and fast development iterations for the design of safety-critical...
Conference Paper
This paper presents our contract-based design technique for formalizing requirements during the design phase of a complicated and safety-critical automotive component. In our approach, contracts are created using property specification patterns to eliminate ambiguous unstructured natural language requirements, which could lead to misinterpretations...
Conference Paper
Full-text available
Computational notebooks are gaining widespread acceptance as a paradigm for storage, dissemination, and reproduction of experimental results. In this paper, we define the computational notebook paradigm (CNP) consisting of entities and processes and discuss how the reproducibility of the experimental process and results is enhanced by each element....
Conference Paper
Full-text available
Simulation-based analyses of Cyber-Physical Systems are fundamental in industrial design and testing approaches. The utility of analyses relies on the correct configuration of the simulation tools, which can be highly complicated. System engineers can normally judge the results, and either evaluate multiple simulation algorithms, or change the mode...
Conference Paper
Full-text available
As society and industry relies extensively on Cyber-Physical Systems (CPS), any malfunctions can have unforeseen catastrophic failures. Fault Injection (FI) techniques perturb a model of a CPS with the intention of causing a failure and measuring the robustness of the CPS. Naturally, the success of a FI simulation depends on three factors: (i) the...
Conference Paper
Full-text available
The SyVOLT tool verifies DSLTrans transformations by generating a state-space for the transformation's execution, and then proving structural contracts on that state-space. As with any verification activity, it is non-trivial to ensure that these contracts are error-free and correspond to the user's intention. SyVOLT detects and localizes errors in...
Thesis
Full-text available
As the complexity of software systems increases, the engineering effort for developing those systems must deal with that complexity. One paradigm for software development is model-driven engineering, where the models of the system become the first-order artefacts. These models may be used for simulation or analysis of the system, or be transformed...
Article
Full-text available
The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a de facto standard in model-driven engineering for implementing model transformations. At the same time, it is understood by the community that enhancing methods for exhaustively verifying such transformations allows for a more w...
Conference Paper
The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such transformations provide an important pillar for achieving a stronger adoption of model-driven development in industry. In this paper we propose a method for verifying ATL m...
Conference Paper
We report on the use of a formal verification tool for a graph-based transformation language in the context of a case study. The tool identified two bugs in the transformation that had eluded all previous testing efforts. The paper describes what we learned about the analysis of model transformations and how we intend to use these insights to impro...
Presentation
https://youtu.be/8PrR5RhPptY
Conference Paper
Full-text available
We introduce SyVOLT, a plugin for the Eclipse development environment for the verification of structural pre-/post-condition contracts on model transformations. The plugin allows the user to build transformations in our transformation language DSLTrans using a visual editor. The pre-/post-condition contracts to be proved on the transformation can a...
Conference Paper
We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on input-output model relations) on these path conditions. The prover evaluated atomic...
Technical Report
Full-text available
The Simulink modelling tool is used to diagram and study cyber-physical systems. One advantage of modelling the systems in this way is that embeddable code can generated from the models directly.However, this process means that inefficiencies in the model may be propagated to the code. Code generation optimizations are available, but may lead to an...
Thesis
Full-text available
The concept of evolving components of an artificial intelligence (AI) has seen increased interest in recent years as the power and complexity of AI has grown. In entertainment software, this AI can impact the player’s experiences and enjoyment through elements such as the level of difficulty of the player’s competition. Therefore AI development is...
Technical Report
Full-text available
Causal block diagrams are a formalism to model systems using mathematical values. However, their text output can be difficult to visualize. This paper aims to describe a system where causal block diagrams can be visualized using a Java simulation. This is achieved by embedding causal blocks within a behaviour tree formalism. With this new hybrid fo...

Network

Cited By

Projects

Projects (3)
Project
In order to optimize fault injection in terms of fault coverage and performance (time to finish the injection experiment), we use a machine-learning algorithm. The ML algorithm explores the faults space to find catastrophic faults that can fail the system. In this project we use the model of the system in Simulink and we try to find safety holes in the model under the test.
Project