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.
Filters
Modelling and Validating an Automotive System in Classical B and Event-B
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
For the early phases of modelling we have used the classical B for software, while for proof we have used Event-B and Rodin. ...
Moreover, for one particular style of modelling, the result can then be translated to superposition refinement with event extension in Event-B. ...
We thank Frank Houdek, Alexander Raschke and anonymous reviewers for their useful feedback. ...
doi:10.1007/978-3-030-48077-6_27
fatcat:fgzmeqa5izel3fxili246wltnm
A Generic Method for a Bottom-Up ASIL Decomposition
[chapter]
2018
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.
The system architecture is described in a three-layer model, from which fault trees are generated, formed by the application, resource, and physical layers and their mappings. ...
This procedure requires a system-level validation, and the elements of the architecture to which the decomposed requirements are allocated must be analyzed in terms of Common-Cause Faults (CCF). ...
The work in this paper is supported by TU/e Impuls program, a strategic cooperation between NXP Semiconductors and Eindhoven University of Technology. ...
doi:10.1007/978-3-319-99130-6_2
fatcat:6gqyiy3t6fh2thk7jgnqcjbawy
Text/Conference Paper
2019
Jahrestagung der Gesellschaft für Informatik
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 2022; you can also visit the original URL.
The file type is application/pdf.
We propose an organic concept based on artificial DNA (ADNA) and an artificial hormone system (AHS) that can be used to realize highly reliable, robust and flexible automotive systems. ...
However, computational resources and communication bandwidth are often limited in automotive environments. ...
Basic Operating System Support This module implements the ADNA/AHS system's thread model as well as synchronization primitives like mutexes, semaphores and events on top of the underlying operating system ...
doi:10.18420/inf2019_ws51
dblp:conf/gi/Hutter19
fatcat:2eiudzf7rjfjdm2uojihacfeoy
Real-time Ethernet Residual Bus Simulation
2014
Proceedings of the 22nd International Conference on Real-Time Networks and Systems - RTNS '14
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 a methodology and a feasibility study of a residual bus simulation in automotive real-time Ethernet systems. ...
The challenges of applying this testing method in real-time Ethernet based networks with parallel packet transmission are outlined and compared to today's automotive bus system simulation approaches. ...
Acknowledgements This work is funded by the Federal Ministry of Education and Research of Germany (BMBF) within the RECBAR project. ...
doi:10.1145/2659787.2659800
dblp:conf/rtns/BartolsSKBS14
fatcat:r2swsgzqhbe2zjsxi2me4cyso4
On B and Event-B: Principles, Success and Challenges
[chapter]
2018
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.
in B and Event-B -And, clearly, in other formalisms presented here at ABZ End Because a model cannot be defined in a single step -Models are thus constructed gradually -From an initial very abstract view ...
-It's not an example in: ASM, ALLOY, B, Event-B, TLA, VDM, Z, ... -It's an example in: C. ...
doi:10.1007/978-3-319-91271-4_3
fatcat:5rp7sjeuevgepgobv533z3tosa
Smart Hybrid Prototyping in manual automotive assembly validation
2020
Procedia CIRP
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.
Successfully implemented use cases in the field of automotive assembly process validation are presented. ...
Successfully implemented use cases in the field of automotive assembly process validation are presented. ...
Two out of the three modeling results were developed and validated in automotive industry, while the third one was set up in research field. ...
doi:10.1016/j.procir.2020.05.015
fatcat:c4p6owkzovdhpndjjzlnpwbuui
Simulation-based Safety Assessment of High-level Reliability Models
2020
Electronic Proceedings in Theoretical 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 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams ...
We demonstrate the applicability of our approach in a case study adapted from the automotive system from the collaboration. ...
Pter Gyrke and ThyssenKrupp Presta Kft. for the fruitful collaboration and the case study. ...
doi:10.4204/eptcs.316.9
fatcat:bl3ueqxle5gk5ii3rkyvbnxnxm
Design and Validation Process of In-Vehicle Embedded Electronic Systems
[chapter]
2005
Embedded Systems Handbook
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 2009; you can also visit the original URL.
The file type is application/pdf.
In automotive industry, some recent efforts brought a solution for mastering the design, modelling and validation of in-vehicle electronic embedded systems. ...
executable model of the system; then, in both techniques we have to look which events and/or data are produced by the system. ...
doi:10.1201/9781420038163.sec6
fatcat:tdr3aerzqbavxmmua7am4rhquq
SCADE: Synchronous Design and Validation of Embedded Control Software
[chapter]
2007
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
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.
We describe the SCADE synchronous approach to modelbased embedded software design, validation, and implementation for avionics, automotive, railway, and industry applications. ...
SCADE specifications are based on block-diagrams and hierarchical state-machine graphical models with rigorous formal specifications. ...
Acknowledgements: the author thanks the various people involved in the design, development, and usage of SCADE: P. Caspi and N. Halbwachs who created Lustre, J-L. Bergerand and E. ...
doi:10.1007/978-1-4020-6254-4_2
fatcat:r5krrlpycbaltlyexzhvzjem2u
Design and Validation Process of In-Vehicle Embedded Electronic Systems
[chapter]
2005
Embedded Systems Handbook
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 2009; you can also visit the original URL.
The file type is application/pdf.
In automotive industry, some recent efforts brought a solution for mastering the design, modelling and validation of in-vehicle electronic embedded systems. ...
executable model of the system; then, in both techniques we have to look which events and/or data are produced by the system. ...
doi:10.1201/9781420038163.ch41
fatcat:7gi2kppqrjaevja44tqqeahrra
HIL Simulation of Power Electronics and Electric Drives for Automotive Applications
2012
Electronics
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.
This paper gives an overview of hardware-in-the-loop simulation of power electronics and electric drives in the automotive industry. ...
Since electric drives and power electronic devices are more and more important in automotive applications, these kinds of systems have to be integrated into the hardwarein-the-loop simulation. ...
Interpolation of event B. Second asynchronous step B to D and extrapolation to E.
Fig. 6 . 6 Segmentation of the switching period T s . ...
doi:10.7251/els1216130s
fatcat:gmtjw244ujhvtaxih3nh23j4ji
CO-SImulation Trace Analysis (COSITA) tool for vehicle electronic architecture diagnosability analysis
2010
2010 IEEE Intelligent Vehicles Symposium
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 a CO-SImulation Trace Analysis (COSITA) tool in order to analyze functional/architectural properties, in the automotive field. ...
The validation process is applied on a real automotive experimental embedded platform called DIAFORE based on several Electronic Control Units. ...
approaches, which are suitable for continuous systems as shown in [4] , • and event-based approaches [5] , which are suitable to use with discrete-events models to represent an electronic embedded system ...
doi:10.1109/ivs.2010.5548045
dblp:conf/ivs/KhlifTS10
fatcat:5baltmpp45haperzzum6p6cgtq
An Integrated Fuzzy Fault Tree Model with Bayesian Network-Based Maintenance Optimization of Complex Equipment in Automotive Manufacturing
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.
As a case study, the proposed model was implemented in a fluid filling system in an automotive assembly line. ...
Process integrity, insufficient data, and system complexity in the automotive manufacturing sector are the major uncertainty factors used to predict failure probability (FP), and which are very influential ...
A filling system in an Iranian automotive assembly line. (a) Block diagram, and (b) functioning view.
Figure 1 . 1 Figure 1. A filling system in an Iranian automotive assembly line. ...
doi:10.3390/en14227758
fatcat:ul2uitlgqjc3xagsubpwtgkpka
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
[chapter]
2017
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 2018; you can also visit the original URL.
The file type is application/pdf.
The technical and academic aspects of the Event-B method, and the abstract description of its application in industrial contexts are the subjects of numerous publications. ...
In this paper, we describe the experience of development engineers non familiar with Event-B to getting to grips with this method. ...
As the rework of an Event-B model is fairly expensive, it shall be validated as early and often as possible. ...
doi:10.1007/978-3-319-57288-8_24
fatcat:we7reyap75axjavdxj5bn2i4w4
An Overview of Automotive Service-oriented Architectures and Implications for Security Countermeasures
2020
IEEE Access
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.
For this purpose, we explain different security countermeasures and present a state of the section of automotive approaches in the fields of firewalls, Intrusion Detection Systems (IDSs) and Identity and ...
In this article, we provide an overview of current protocols and communication patterns for automotive architectures based on the service-oriented architecture (SOA) paradigm and compare them with signal-oriented ...
Furthermore, we thank the reviewers (Houssem Guissouma, Jaqueline Henle, Marc Schindewolf, and Andreas Vetter) for their inspiring comments. ...
doi:10.1109/access.2020.3043070
fatcat:kwzvsg2eafh5ni5273ykibcrqe
« Previous
Showing results 1 — 15 out of 10,248 results