Search

Your search keyword '"Bandur, Victor"' showing total 29 results
Start Over Author "Bandur, Victor"
29 results on '"Bandur, Victor"'

1. Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles

Author

Ramdhan, Stefan, Trandinh, Winnie, Arulmohan, Sathurshan, Hu, Xiayong, Deevy, Spencer, Bandur, Victor, Pantelic, Vera, Lawford, Mark, and Wassyng, Alan

Subjects
Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control
Abstract

The challenges in implementing SAE Level 4/5 autonomous vehicles are manifold, with intersection navigation being a pervasive one. We analyze a novel road topology invented by a co-author of this paper, Xiayong Hu. The topology eliminates the need for traditional traffic control and cross-traffic at intersections, potentially improving the safety of autonomous driving systems. The topology, herein called the Zonal Road Topology, consists of unidirectional loops of road with traffic flowing either clockwise or counter-clockwise. Adjacent loops are directionally aligned with one another, allowing vehicles to transfer from one loop to another through a simple lane change. To evaluate the Zonal Road Topology, a one km2 pilot-track near Changshu, China is currently being set aside for testing. In parallel, traffic simulations are being performed. To this end, we conduct a simulation-based comparison between the Zonal Road Topology and a traditional road topology for a generic Electric Vehicle (EV) using the Simulation for Urban MObility (SUMO) platform and MATLAB/Simulink. We analyze the topologies in terms of their travel efficiency, safety, energy usage, and capacity. Drive time, number of halts, progress rate, and other metrics are analyzed across varied traffic levels to investigate the advantages and disadvantages of the Zonal Road Topology. Our results indicate that vehicles on the Zonal Road Topology have a lower, more consistent drive time with greater traffic throughput, while using less energy on average. These results become more prominent at higher traffic densities., Comment: 8 pages, 10 figures, Submitted to IV2024

Published
2024

2. Assurance Cases for Timing Properties of Automotive TSN Networks

Author

Kapinski, Ryan, Pantelic, Vera, Bandur, Victor, Wassyng, Alan, Lawford, Mark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guiochet, Jérémie, editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, Roy, Matthieu, editor, and Bitsch, Friedemann, editor

Published
2023
Full Text
View/download PDF

3. Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities

Author

Bandur, Victor, Lawford, Mark, Mosser, Sébastien, Paige, Richard F., Pantelic, Vera, Wassyng, Alan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guiochet, Jérémie, editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, Roy, Matthieu, editor, and Bitsch, Friedemann, editor

Published
2023
Full Text
View/download PDF

4. SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection

Author

Lesiuta, Eric, Bandur, Victor, Lawford, Mark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Katsikas, Sokratis, editor, Cuppens, Frédéric, editor, Kalloniatis, Christos, editor, Mylopoulos, John, editor, Pallas, Frank, editor, Pohle, Jörg, editor, Sasse, M. Angela, editor, Abie, Habtamu, editor, Ranise, Silvio, editor, Verderame, Luca, editor, Cambiaso, Enrico, editor, Maestre Vidal, Jorge, editor, Sotelo Monge, Marco Antonio, editor, Albanese, Massimiliano, editor, Katt, Basel, editor, Pirbhulal, Sandeep, editor, and Shukla, Ankur, editor

Published
2023
Full Text
View/download PDF

8. Unifying theories of logics with undefinedness

Author

Bandur, Victor and Woodcock, Jim

Subjects
005.1
Abstract

A relational approach to the question of how different logics relate formally is described. We consider three three-valued logics, as well as classical and semi-classical logic. A fundamental representation of three-valued predicates is developed in the Unifying Theories of Programming (UTP) framework of Hoare and He. On this foundation, the five logics are encoded semantically as UTP theories. Several fundamental relationships are revealed using theory linking mechanisms, which corroborate results found in the literature, and which have direct applicability to the sound mixing of logics in order to prove facts. The initial development of the fundamental three-valued predicate model, on which the theories are based, is then applied to the novel systems-of-systems specification language CML, in order to reveal proof obligations which bridge a gap that exists between the semantics of CML and the existing semantics of one of its sub-languages, VDM. Finally, a detailed account is given of an envisioned model theory for our proposed structuring, which aims to lift the sentences of the five logics encoded to the second order, allowing them to range over elements of existing UTP theories of computation, such as designs and CSP processes. We explain how this would form a complete treatment of logic interplay that is expressed entirely inside UTP.

Published
2014

10. Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic

Author

Bandur, Victor, McDermid, John, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Koornneef, Floor, editor, and van Gulijk, Coen, editor

Published
2015
Full Text
View/download PDF

11. Unifying Theories of Logic and Specification

Author

Bandur, Victor, Woodcock, Jim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Iyoda, Juliano, editor, and de Moura, Leonardo, editor

Published
2013
Full Text
View/download PDF

12. Unifying Theories of Undefinedness in UTP

Author

Woodcock, Jim, Bandur, Victor, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Wolff, Burkhart, editor, Gaudel, Marie-Claude, editor, and Feliachi, Abderrahmane, editor

Published
2013
Full Text
View/download PDF

13. Microcontroller Assembly Synthesis from Timed Automaton Task Specifications

Author

Bandur, Victor, Kahl, Wolfram, Wassyng, Alan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Stoelinga, Mariëlle, editor, and Pinger, Ralf, editor

Published
2012
Full Text
View/download PDF

24. INTO-CPS tool chain user manual

Author

Bandur, Victor, Larsen, Peter Gorm, Lausdahl, Kenneth, Thule, Casper, Gamble, Carl, Payne, Richard, Pop, Adrian, Brosse, Etienne, Brauer, Jörg, Lapschies, Florian, Groothuis, Marcel, Bokhove, Tom, Kleijn, Christian, and Couto, Luis Diogo

Published
2017

25. Code-generating VDM for Embedded Devices

Author

Bandur, Victor, Tran-Jørgensen, Peter Würtz Vinther, Hasanagic, Miran, Lausdahl, Kenneth Guldbrandt, Fitzgerald, J, Tran-Jørgensen, P.W.V., and Oda, T.

Published
2017

27. Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications

Author

Bandur, Victor, Kahl, Wolfram, Wassyng, Alan, and Software Engineering

Abstract

Title: Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications, Author: Victor Bandur, Location: Thode A method is developed for automatically synthesizing hard real-time assembly code for simple microcontrollers directly from timed automaton software specifications. The method uses the microcontrollers' individual instruction execution times to approximate as closely as possible the timing requirements indicated in the specification. In order to accommodate this approximation, certain transitions in the specification automaton require tolerances on timing constraints to be provided as part of the specification. A second automaton is produced that is a model of the behaviour of the implementation. The method is applied to the synthesis of a software metronome device for the Microchip PIC 18F452 microcontroller. Thesis Bachelor of Engineering (BEng)

Published
2008

Catalog

Books, media, physical & digital resources
See catalog results