Filters








10,248 Hits in 5.3 sec

Modelling and Validating an Automotive System in Classical B and Event-B [chapter]

Michael Leuschel, Mareike Mutz, Michelle Werth
2020 Lecture Notes in Computer Science  
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]

Alessandro Frigerio, Bart Vermeulen, Kees Goossens
2018 Lecture Notes in Computer Science  
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

Eric Hutter
2019 Jahrestagung der Gesellschaft für Informatik  
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

Florian Bartols, Till Steinbach, Franz Korf, Bettina Buth, Thomas C. Schmidt
2014 Proceedings of the 22nd International Conference on Real-Time Networks and Systems - RTNS '14  
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]

Jean-Raymond Abrial
2018 Lecture Notes in Computer Science  
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

Bernhard Wolf, Simon Kind, Rainer Stark
2020 Procedia CIRP  
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

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2020 Electronic Proceedings in Theoretical Computer Science  
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]

YeQiong Song, Françoise Simonot-Lion
2005 Embedded Systems Handbook  
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]

Gérard Berry
2007 Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems  
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]

YeQiong Song, Françoise Simonot-Lion
2005 Embedded Systems Handbook  
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

Thomas Schulte, Axel Kiffe, Frank Puschmann
2012 Electronics  
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

Manel Khlif, Oussama Tahan, Mohamed Shawky
2010 2010 IEEE Intelligent Vehicles Symposium  
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

Hamzeh Soltanali, Mehdi Khojastehpour, José Torres Farinha, José Edmundo de Almeida e Pais
2021 Energies  
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]

Arnaud Dieumegard, Ning Ge, Eric Jenn
2017 Lecture Notes in Computer Science  
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

Marcel Rumez, Daniel Grimm, Reiner Kriesten, Eric Sax
2020 IEEE Access  
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