20,421 Hits in 11.2 sec

Automated repair of feature interaction failures in automated driving systems

Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
2020 Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis  
In this paper, we propose a repair technique to automatically resolve undesired feature interaction failures in automated driving systems (ADS) that lead to the violation of system safety requirements.  ...  Feature interaction failures are common in complex systems such as autonomous cars that are typically built as a composition of independent features (i.e., units of functionality).  ...  ,Luxembourg, the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No 694277), and NSERC of Canada under the Discovery and CRC programs  ... 
doi:10.1145/3395363.3397386 dblp:conf/issta/AbdessalemPNBS20 fatcat:bnqczfzpsje4bbj24wfokmtzxy

Quality assurance methodologies for automated driving

Franz Wotawa, Bernhard Peischl, Florian Klück, Mihai Nica
2018 e & i Elektrotechnik und Informationstechnik  
The case of automated driving represents the next level of safety critical systems where additional challenges arise.  ...  in order to bring automated driving into practice without compromising safety requirements.  ...  Acknowledgements Open access funding provided by Graz University of Technology.  ... 
doi:10.1007/s00502-018-0630-7 fatcat:5jm7xvhhcjaw5jz3qbha4ob3ry

The Adaptive Automation Design [chapter]

Caterina Calefato, Roberto Montanari, Francesco Tesauri
2008 Human Computer Interaction: New Developments  
is applied in the designing of the driving task, turning the automation in a safety tool.  ...  In this way it is possible to improve the human performance that represents the crucial hearth of the interaction in complex systems.  ...  Publisher InTech Published online 01, October, 2008 Published in print edition October, 2008 The book consists of 20 chapters, each addressing a certain aspect of human-computer interaction.  ... 
doi:10.5772/5878 fatcat:me7po4mhsfbrzgkkz4wqy2qkre

A Method towards the Systematic Architecting of Functionally Safe Automated Driving – Leveraging Diagnostic Specifications for FSC design [article]

Naveen Mohan, Martin Törngren, Sagar Behere
2019 arXiv   pre-print
This poses challenges in the industry which is undergoing many significant changes due to new features like connectivity, electrification and automation.  ...  The results demonstrate the benefits of the method including (i) reuse of pre-existing work products, (ii) gathering requirements for automated driving functions while designing the PA and FSC, (iii) the  ...  The authors would also like to thank Per Roos and Johan Svahn from Scania for their help in reviewing this paper.  ... 
arXiv:1912.03178v1 fatcat:wmmwmus7anf63gamt2encmy774

Combinatorial Interaction Testing for Automated Constraint Repair

Angelo Gargantini, Justyna Petke, Marco Radavelli
2017 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
Combinatorial Interaction Testing (CIT) methods are already often used to drive systematic testing of software system configurations.  ...  Moreover, we also show it can infer parameter constraints in a large real-world software system, hence it can be used for automated creation of CIT models.  ...  Ghandehari for her assistance in the use of BEN and Paolo Vavassori for help with the experiments.  ... 
doi:10.1109/icstw.2017.44 dblp:conf/icst/GargantiniPR17 fatcat:kx437bb3cbh5zjgjm4jlt6dd4y

Human-Centered Artificial Intelligence: Reliable, Safe Trustworthy [article]

Ben Shneiderman
2020 arXiv   pre-print
Well-designed technologies that offer high levels of human control and high levels of computer automation can increase human performance, leading to wider adoption.  ...  understand the situations in which full human control or full computer control are necessary, and (3) avoid the dangers of excessive human control or excessive computer control.  ...  Full autonomy: equal to that of a human driver, in every driving scenario. 4.  ... 
arXiv:2002.04087v2 fatcat:q2n6aj5orfelbcvjc5g5etwtxq

Survivability models for the assessment of smart grid distribution automation network designs

Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasché, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna Carmem Diniz, Kishor Trivedi, Lucia Happe, Anne Koziolek
2013 Proceedings of the ACM/SPEC international conference on International conference on performance engineering - ICPE '13  
that takes into consideration the interplay of communication reliability, energy backup, distribution automation topology, energy storage and intelligent features such as automated failure detection,  ...  feature with automated FDIR approaches.  ...  ACKNOWLEDGEMENT This work was supported in part by grants from CNPq, FAPERJ/ Brazil and Siemens Corporate Research, Inc and by the Swiss Research Foundation (SNF) as a Forschungskredit of the University  ... 
doi:10.1145/2479871.2479905 dblp:conf/wosp/AvritzerSMLSDTHK13 fatcat:wz4l4aiwsvdbvdck24kjenvpfu

Autonomous cars, development of modern transport technology

Cezary Krysiuk
2022 Journal of Civil Engineering and Transport  
problems of their implementation and functioning in the real transport system.  ...  The article presents selected issues from the conducted research and analyzes in the field of the development of autonomous vehicles, carried out under the project: Polish road to Automation of Road Transport  ...  to a request to System System System Some driving modes Fully automated intervene 3/4 the full time performance by an 5 Full Automation automated driving system of all aspects of the dynamic driving task  ... 
doi:10.24136/tren.2021.002 fatcat:zjakvqwt4vge5exsp3rkzuwtee

Automated performance maintenance for service compositions

Adina Mosincat, Walter Binder
2009 2009 11th IEEE International Symposium on Web Systems Evolution  
Therefore, BPEL processes must be able to detect web service failure and performance degradation resulting in the violation of service-level agreements.  ...  Automated diagnosis and repair are equally important. However, BPEL lacks constructs for web service monitoring and runtime adaptability, which are pre-requisites for diagnosis and repair.  ...  In this subsection we briefly summarize the features of our former system that are used by ADULA, as well as the improvements of these features in ADULA.  ... 
doi:10.1109/wse.2009.5631246 dblp:conf/wse/MosincatB09 fatcat:x2fgyelqorbvdgaihkqvw2s6vi

Civil Infrastructure Management Models for the Connected and Automated Vehicles Technology

John O. Sobanjo
2019 Infrastructures  
The new concept of Connected and Automated Vehicles (CAVs) necessitates a need to review the approach of managing the existing civil infrastructure system (highways, bridges, sign structures, etc.).  ...  This paper provides a basic introduction to the CAV concept, assesses the infrastructure requirements for CAVs, and identifies the appropriateness of the existing infrastructure, and needs, in terms of  ...  Conflicts of Interest: The author declares no conflict of interest.  ... 
doi:10.3390/infrastructures4030049 fatcat:ojms725rkje5xlwia4tv7vnpvy

Taxonomy of Trust-Relevant Failures and Mitigation Strategies

Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman
2020 Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction  
of interaction scenarios.  ...  Studying trust repair in HRI has only recently been given more interest and we propose a taxonomy of potential trust violations and suitable repair strategies to support researchers during the development  ...  Dixon was partially supported by UKRI Hubs for Robotics and AI in Hazardous Environments EP/R026092 (FAIR-SPACE), EP/R026084 (RAIN), and M. Hanheide by EP/R02572X (NCNR).  ... 
doi:10.1145/3319502.3374793 dblp:conf/hri/TolmeijerWHLPDT20 fatcat:lp2vqwomhfdwjjbz3cxf4ybc6i

The challenges, approaches, and used techniques of CPS for manufacturing in Industry 4.0: a literature review

Baudouin Dafflon, Nejib Moalla, Yacine Ouzrout
2021 The International Journal of Advanced Manufacturing Technology  
AbstractThis work aims to review literature related to the latest cyber-physical systems (CPS) for manufacturing in the revolutionary Industry 4.0 for a comprehensive understanding of the challenges, approaches  ...  Then, we reviewed different studies through a number of synthesized matrices to narrate the challenges, approaches, and used techniques as the key-enablers of the CPS for manufacturing in Industry 4.0.  ...  The first draft of the manuscript was written by the three authors and all authors commented on previous versions of the manuscript. All authors read and approved the final manuscript.  ... 
doi:10.1007/s00170-020-06572-4 fatcat:2qo42mk4mjhcricvb6bpy7jizi

Toward automatic policy refinement in repair services for large distributed systems

Moises Goldszmidt, Mihai Budiu, Yue Zhang, Michael Pechuk
2010 ACM SIGOPS Operating Systems Review  
In order to be economically feasible and to offer high levels of availability and performance, large scale distributed systems depend on the automation of repair services.  ...  In this paper we propose one such framework and report on our initial experience in applying the framework to analyze and optimize the operation a geo-distributed cloud storage system at Microsoft.  ...  INTRODUCTION Researchers and practitioners have made a convincing argument for automated repair services in large distributed systems [9, 1] .  ... 
doi:10.1145/1773912.1773925 fatcat:y3i7ndoe3jfwhm556fxvhofdme

Law and tech collide: foreseeability, reasonableness and advanced driver assistance systems

Tania Leiman
2020 Policy & Society  
The dynamic driving task is no longer reliant simply on the physical interaction of human driver with that vehicle.  ...  Minimal attention has focused on the legal implications of advanced driver assistance systems (ADAS) in vehicles already currently available.  ...  me in an excellent workshop in August 2019 hosted by Lee Kuan Yew School of Public Policy at the National University of Singapore, and finally to the two anonymous reviewers.  ... 
doi:10.1080/14494035.2020.1787696 fatcat:r5trlterqve65azcbx2lfppany

Model-Based System Patterns for Automated Ground Vehicle Platforms

Troy Peterson, William D. Schindel
2015 INCOSE International Symposium  
Automated Ground Vehicle Platforms AGVs are rapidly and dramatically increasing in complexity which is changing the way we develop, manage and interact with these systems.  ...  The rapid evolution of autonomy in ground vehicles is also driving competition and accelerating innovation in a reinforcing loop.  ...  It addresses the core system science needed in designing automated ground vehicle platforms by making interactions, the heart of Cyber Physical Systems, more visible.  ... 
doi:10.1002/j.2334-5837.2015.00070.x fatcat:o7arzo3b6jel3nwp3t7pk2jw24
« Previous Showing results 1 — 15 out of 20,421 results