Filters








942 Hits in 8.5 sec

Goals within Trust-based Digital Ecosystems

Emilia Cioroaica, Barbora Buhnova, Akanksha Purohit, Daniel Schenider
2021 Zenodo  
Within a digital ecosystem, systems and actors form coalitions for achieving common and individual goals.  ...  The anti-goals set the boundaries within which we structure the trust analysis and build up evidence for motivated attacks.  ...  Our anti-goal refinements correspond to the popular fault trees used for modeling and documentation of hazards in safety-critical systems [23] and to threat trees used for modeling and documenting potential  ... 
doi:10.5281/zenodo.4643219 fatcat:ntbwfo53fvf6xftbzgoqzaexxi

Goals within Trust-based Digital Ecosystems

Emilia Cioroaica, Akanksha Purohit, Barbora Buhnova, Daniel Schneider
2021 Zenodo  
Within a digital ecosystem, systems and actors form coalitions for achieving common and individual goals.  ...  The anti-goals set the boundaries within which we structure the trust analysis and build up evidence for motivated attacks.  ...  Our anti-goal refinements correspond to the popular fault trees used for modeling and documentation of hazards in safety-critical systems [23] and to threat trees used for modeling and documenting potential  ... 
doi:10.5281/zenodo.4607859 fatcat:q6jbvvaolbatplo6t3mfwbtfvi

Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security [article]

Mohamed Garoui, Belhassen Mazigh, Béchir El Ayeb, Abderrafiaa Koukam
2014 arXiv   pre-print
These analyzes are based on the Dependability models which are built using the formalism Stochastic Activity Network.  ...  By defining in a non-ambiguous way concepts used in a specific domain, Meta modeling may represent a step towards such interoperability.  ...  Safe platoon project (ANR-10-VPTT-011).  ... 
arXiv:1403.2821v1 fatcat:7nghmlaqg5exdeztgufmd52iuu

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)

Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker, Michael Wagner
2020 Dagstuhl Reports  
application of several rigorous engineering methods and formal analysis techniques.  ...  Our aim was to understand the practical challenges and the capabilities and limitations of recent formal modelling and analysis techniques when tackling these challenges, and to initiate a special research  ...  Fantechi: Safety aspects of au-tonomous systems P.C. Ölveczky: Formal modeling and Real-Time Maude analysis of real-time systems using break Uncertainty Modelling K.G.  ... 
doi:10.4230/dagrep.9.10.95 dblp:journals/dagstuhl-reports/GleirscherHLL19 fatcat:ut2tli44vrbplhpfjb42w7jpja

D.1.4: Functional requirements of selected use cases

Robert Hult, Martin Skoglund, Mats Jonasson, Anders Thorsén
2019 Zenodo  
This report presents use cases enabling testing and validation of Connected and Automated Driving (CAD).  ...  Platoon members will -based on the cut-in -adapt their velocity and gap towards the cut-in vehicle and between the platoon members to assure safety.  ...  the verification of the vehicle model used in simulations with PG results.  ... 
doi:10.5281/zenodo.4581419 fatcat:e7pwtlzykzfrdfznnyrqessjru

D.2.3: Assessment method for each of the use cases defined

Sjef van Monfort
2020 Zenodo  
This deliverable presents the work done in HEADSTART work package 2: Task 2.4 "Definition of methodology for the targeted use cases", with the 3 selected HEADSTART use cases: Highway pilot, Truck platooning  ...  Hence going towards multiple actors in a scenario, each actor with its own parameter values, is feasible.  ...  scenario Parameterised model of the time sequence of scenes (logical scenario) which begins with an initial scene and defined point in time; the behaviour of the main actor (vehicle under test) is not  ... 
doi:10.5281/zenodo.4581336 fatcat:pg7efxeybzhwxk5d4227ik7mvm

Real-Time Safety Optimization of Connected Vehicle Trajectories Using Reinforcement Learning

Tarek Ghoul, Tarek Sayed
2021 Sensors  
Speed advisories are used on highways to inform vehicles of upcoming changes in traffic conditions and apply a variable speed limit to reduce traffic conflicts and delays.  ...  This study applies a similar concept to intersections with respect to connected vehicles to provide dynamic speed advisories in real-time that guide vehicles towards an optimum speed.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/s21113864 fatcat:x2ogucwe3neyzelqxpgjzwdx6e

Traffic models with adversarial vehicle behaviour [article]

Bogdan Groza
2017 arXiv   pre-print
We examine the impact of adversarial actions on vehicles in traffic.  ...  Moreover, we discuss intelligent adversarial behaviour by which the creation of rogue platoons is possible and speed manipulations become stealthy to human drivers.  ...  State transitions for a vehicle model is not part of our goals here but may be subject of future work and is easy to derive from the formalism that we introduce.  ... 
arXiv:1701.07666v1 fatcat:44wry2wo7fdpdfb6o3yfbmi7pm

Formal methods for a system of systems analysis framework applied to traffic management

Charles E. Dickerson, Siyuan Ji, Rosmira Roslan
2016 2016 11th System of Systems Engineering Conference (SoSE)  
Traditional formal methods include model checking, formal testing, and proving of theorems.  ...  To capture the high level Use Case in matrix representation, the following lists are defined and variable names are given accordingly: List of Actors: ≡ Vehicle ≡ TCC List of high level Use Cases:  ... 
doi:10.1109/sysose.2016.7542918 dblp:conf/sysose/DickersonJR16 fatcat:4bu6pxws6fcqrbvmmvpucfeooq

Let the Game Begin: Enhancing Sustainable Collaboration among Actors in Innovation Ecosystems in a Playful Way

Anastasia Roukouni, Heide Lukosch, Alexander Verbraeck, Rob Zuidwijk
2020 Sustainability  
The two innovation cases are truck platooning and multi-sided digital platforms for barge transportation, both improving the sustainability of hinterland transportation.  ...  innovation adoption can be fostered, using an innovation ecosystem perspective.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/su12208494 fatcat:eslh3aewpzfdxitidg3pkcixmq

An information fusion demonstrator for tactical intelligence processing in network-based defense

Simon Ahlberg, Pontus Hörling, Katarina Johansson, Karsten Jöred, Hedvig Kjellström, Christian Mårtenson, Göran Neider, Johan Schubert, Pontus Svenson, Per Svensson, Johan Walter
2007 Information Fusion  
The main services of the demonstrator are discussed and early experience from using the system is shared.  ...  This represents a key step toward the goal of creating in real time a dynamic, high fidelity representation of a moving battalion-sized organization, based on sensor data as well as a priori intelligence  ...  In a formal sense, the fusion node is also an actor in the scenario.  ... 
doi:10.1016/j.inffus.2005.11.002 fatcat:eppjwn6zcne7ncovyga3ze7py4

Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons

Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif
2017 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)  
The contribution of this paper is articulated around a new software design approach of autonomous control systems for connected vehicle platoons.  ...  Our software is mainly implemented using the Ada standard of programming (in particular the annexes D and E of real-time and distributed systems).  ...  Safety requirements are checked using the V-Model's testing techniques, posterior formal proof, or prior incremental formal design.  ... 
doi:10.1109/iceccs.2017.32 dblp:conf/iceccs/MouelhiCR17 fatcat:3bizol5cnvcfnmrzwfxkj4mauy

A Functional Safety Assessment Method for Cooperative Automotive Architecture [article]

Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand
2021 arXiv   pre-print
With the increasing number of cooperative driving capable vehicles on the road, it is now imperative to systematically assess the functional safety of architectures of these vehicles.  ...  The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving.  ...  [38] uses system theory for the safety analysis from the perspective of set of vehicles as a system.  ... 
arXiv:2104.13729v2 fatcat:mqfzdgay2zd2jmwcbf5iypqocu

A functional safety assessment method for cooperative automotive architecture

Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand
2021 Journal of Systems and Software  
purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication  ...  If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User  ...  In a platoon, vehicles coordinate with each other using vehicle-to-vehicle (V2V) communication.  ... 
doi:10.1016/j.jss.2021.110991 fatcat:l4prlucppjhivo43xzor4v6ala

Applying the Isabelle Insider Framework to Airplane Security [article]

Florian Kammüller, Manfred Kerber
2020 arXiv   pre-print
In this paper, we report on our work on using logical modelling and analysis of infrastructure models and policies with actors to scrutinize security policies in the presence of insiders.  ...  Avionics is one of the fields in which verification methods have been pioneered and brought a new level of reliability to systems used in safety critical environments.  ...  In [20] Kamali et al. present reasoning that integrates deduction based reasoning and model checking for the formal verification of vehicle platooning.  ... 
arXiv:2003.11838v1 fatcat:6u23d5pepjb63mraxn5ymccq2u
« Previous Showing results 1 — 15 out of 942 results