Filters








166 Hits in 6.0 sec

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
unpublished
, and (iii) synthesis of runtime monitors for real driving emissions of cars in-the-wild.  ...  In this context, the diesel emission scandal has made it apparent that the automotive industry is susceptible to fraudulent behaviour, implemented and effectuated by that control software.  ...  Verification, Testing, and Runtime Monitoring of Automotive Exhaust EmissionsH. Hermanns et al.  ... 
doi:10.29007/6zxt fatcat:pi5wtxjvsjceblrxqs77tuoz2m

Electrification of Compact Off-Highway Vehicles—Overview of the Current State of the Art and Trends

Daniele Beltrami, Paolo Iora, Laura Tribioli, Stefano Uberti
2021 Energies  
Emission regulations are becoming increasingly tight, and governments have been allocating multiple funds to facilitate the spreading of the so-called green mobility.  ...  Electrified vehicles have undergone great evolution during the last decade because of the increasing attention paid on environmental sustainability, greenhouse gas emissions and air pollution.  ...  of exhaust gas emission and lower noise levels are considerable advantages and where the charging infrastructure is easily available.  ... 
doi:10.3390/en14175565 fatcat:zhozb27cwvdatbxgnatdd6io4e

Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl [article]

Joel Greenyer, Malte Lochau, Thomas Vogel
2019 arXiv   pre-print
The goal of this seminar was to serve as a starting point for an interdisciplinary coordination of research activities targeting ES4CPS and an incubator of a new research community around this topic.  ...  This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS).  ...  (GI, German Society for Informatics) and Schloss Dagstuhl for partially funding this seminar.  ... 
arXiv:1904.11851v1 fatcat:r2r5ac6hmnel3f6weiynjwunni

Flexible runtime verification based on logical clock constraints

Daian Yue, Vania Joloboff, Frederic Mallet
2016 2016 Forum on Specification and Design Languages (FDL)  
We present in this paper a method and tool for the verification of causal and temporal properties of embedded systems, by analyzing the trace streams resulting from virtual prototypes that combines simulated  ...  The experiments, developed over the SimSoC virtual prototyping framework, show flexibility, possibility of using multi-core platforms to parallelize simulation and verification, providing fast results.  ...  The verification can occur at runtime, concurrently with the simulation (possibly using at least two of the cores on a multi-core platform, introducing no penalty on the runtime verification), somehow  ... 
doi:10.1109/fdl.2016.7880366 dblp:conf/fdl/YueJM16 fatcat:qba3ambvojb4bfrd75sfxmtnna

How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles

Moritz Contag, Guo Li, Andre Pawlowski, Felix Domke, Kirill Levchenko, Thorsten Holz, Stefan Savage
2017 2017 IEEE Symposium on Security and Privacy (SP)  
In this paper, we present our analysis of two families of software defeat devices for diesel engines: one used by the Volkswagen Group to pass emissions tests in the US and Europe, and a second that we  ...  Using modern electronic engine controllers, manufacturers can programmatically infer when a car is undergoing an emission test and alter the behavior of the vehicle to comply with emission standards, while  ...  ACKNOWLEDGMENTS Part of this work was supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No 640110 -BASTION).  ... 
doi:10.1109/sp.2017.66 dblp:conf/sp/ContagLPDLHS17 fatcat:l6eecynwwbhjbe7qmsfctbu5ca

The Art of Control Engineering: Science Meets Industrial Reality

Urs Christen, Rainer Busch
2014 Oil & Gas Science and Technology  
between academia and industry on automotive control.  ...  of controllers.  ...  ACKNOWLEDGMENTS We would like to thank our colleagues, especially Karl Siebertz, Craig Stephens, and Davor Hrovat, for helpful discussions.  ... 
doi:10.2516/ogst/2013202 fatcat:7dzzquvdgzbtxf5xdt7yh66uye

Secure and Trusted Application Execution on Embedded Devices [chapter]

Konstantinos Markantonakis, Raja Naeem Akram, Mehari G. Msgna
2015 Lecture Notes in Computer Science  
We also present a holistic approach to the security and trust of embedded devices, from the hardware design, reliability and trust of the runtime environment to the integrity and trustworthiness of the  ...  This urgency is also strengthened further by the potential advent of the Internet of Things and Cyber-Physical Systems.  ...  It is by no means an exhaustive list and should be taken as an example of potential targets.  ... 
doi:10.1007/978-3-319-27179-8_1 fatcat:qann2ltknrdgrpt4y665s5gk5u

Model-Based Systems in the Automotive Industry

Peter Struss, Chris J. Price
2004 The AI Magazine  
The automotive industry was the first to promote the development of applications of model-based systems technology on a broad scale and, as a result, has produced some of the most advanced prototypes and  ...  In this article, we illustrate the features and benefits of model-based systems and qualitative modeling by prototypes and application systems that were developed in the automotive industry to support  ...  engine and exhaust turbine.  ... 
doi:10.1609/aimag.v24i4.1728 dblp:journals/aim/StrussP04 fatcat:5tltgwkkq5aozattyr3fdsb5d4

Road-to-rig-to-desktop: Virtual development using real-time engine modelling and powertrain co-simulation

Jakob Andert, Feihong Xia, Serge Klein, Daniel Guse, Rene Savelsberg, Raul Tharmakulasingam, Matthias Thewes, Johannes Scharf
2018 International Journal of Engine Research  
By front-loading of the conventional vehicle testing to engine test bench or even further forward to off-line simulations, it is possible to assess a large variation of powertrain design parameters and  ...  To verify the engine model in the transient vehicle simulation, two 900 s time windows from a 2 hours Real Driving Emission (RDE) test, representing urban and motorway conditions, are simulated using the  ...  Declaration of conflicting interests The authors declare that there is no conflict of interest.  ... 
doi:10.1177/1468087418767221 fatcat:p73uhjoi3vc6linazookqp66vm

An extended systematic literature review on provision of evidence for safety certification

Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel Briand
2014 Information and Software Technology  
Context: Critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification.  ...  to assist them in classifying different types of evidence, and in structuring and assessing the evidence.  ...  Verification Laboratory), and from the Research Council of Norway under Certus SFI.  ... 
doi:10.1016/j.infsof.2014.03.001 fatcat:4np4lepiffabxbkspqrwfumhrm

Generic Safety Requirements for Developing Safe Insulin Pump Software

Yi Zhang, Raoul Jetley, Paul L. Jones, Arnab Ray
2011 Journal of Diabetes Science and Technology  
The aim of this paper is to extend our previous work on the GIIP model by articulating safety requirements that address the identified GIIP hazards.  ...  These safety requirements can be validated by manufacturers, and may ultimately serve as a safety reference for insulin pump software.  ...  memory test • Volatile memory test • Battery test • Keypad test (or other input device test) Any failure of a test step during POST shall abort the remaining test steps and generate the appropriate alarm  ... 
doi:10.1177/193229681100500612 pmid:22226258 pmcid:PMC3262707 fatcat:jtuz275i7vbt5jpkunodaa77cm

Physical, data-driven and hybrid approaches to model engine exhaust gas temperatures in operational conditions

Andrea Coraddu, Luca Oneto, Francesca Cipollini, Miltos Kalikatzarakis, Gert-Jan Meijn, Rinze Geertsma
2021 Ships and Offshore Structures  
Physical, data-driven and hybrid approaches to model engine exhaust gas temperatures in operational conditions  ...  The Royal Netherlands Navy supplied Figure 1 and maintains its copyright. Disclosure statement No potential conflict of interest was reported by the author(s).  ...  Acknowledgments This project is supported by the Royal Netherlands Navy supplying the operational measurement data from one Holland Class Oceangoing Patrol Vessel and Damen Schelde Naval Shipbuilding.  ... 
doi:10.1080/17445302.2021.1920095 fatcat:mffk6etyubdvxmqxkgjhodvxa4

Multicore enablement for Cyber Physical Systems

Andreas Herkersdorf
2012 2012 International Conference on Embedded Computer Systems (SAMOS)  
The focus of the seminar was on the exchange of experiences and discussion of the challenges of reusable and transferable multicore technologies.  ...  Industry and university research in Europe recognized early and invested significantly into the establishment of multicore know-how and competences. Examples of related projects at EU level and  ...  The traditional offline analysis has to be complemented and replaced by online analysis approaches, such as runtime verification. The embedded-systems industry goes multi-core.  ... 
doi:10.1109/samos.2012.6404198 dblp:conf/samos/Herkersdorf12 fatcat:73whij7ozbfgpimxz4md3f4jii

Toward virtual biopsy through an all fiber optic ultrasonic miniaturized transducer: a proposal

A. Acquafresca, E. Biagi, L. Masotti, D. Menichelli
2003 IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control  
wireless technologies ....Automotive engineering ........Automotive applications ........Automotive electronics ........Power steering ........Vehicle crash testing ........Vehicle detection ........Vehicle  ...  ........Computerized monitoring ........Environmental monitoring ........Patient monitoring ........Radiation monitoring ............Radiation dosage ........Remote monitoring ........Surveillance ...  ... 
doi:10.1109/tuffc.2003.1244749 fatcat:l3jre4etsvcqzfyz2jqggji3gy

Empowering Vertical Industries through 5G Networks - Current Status and Future Trends

Alexandros Kaloxylos, Anastasius Gavras, Raffaele De Peppe
2020 Zenodo  
It provides information about requirements and business cases addressed by the projects.  ...  This white paper summarizes the progress and key findings produced by 5G PPP projects to provide 5G network services for vertical industries.  ...  or are actually contributing to developing and testing 5G features for the automotive vertical.  ... 
doi:10.5281/zenodo.3698113 fatcat:mkjzdvjnqfehxply655s7mdqam
« Previous Showing results 1 — 15 out of 166 results