A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
unpublished
Preserved Fulltext
, 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
2021
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 Forum on Specification and Design Languages (FDL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE Symposium on Security and Privacy (SP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Oil & Gas Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2004
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Journal of Engine Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Diabetes Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Ships and Offshore Structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 International Conference on Embedded Computer Systems (SAMOS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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