Filters








3,768 Hits in 9.9 sec

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
2017 Journal of Information Processing  
The verification process consists of (a) a system model construction method, which generates a system model by combining software described in C and plant model code reused from model-based development  ...  The application of cyber-physical systems (CPSs) in safety-critical application domain requires rigorous verification of their functional correctness and safety-relevant properties.  ...  Acknowledgments Research supported in part by TUD CySEC. We also thank Hitachi Automotive Systems for providing the application examples.  ... 
doi:10.2197/ipsjjip.25.797 fatcat:sikoqcyqifcapmvzdjmjyqy2ri

An ICME Approach for Optimizing Thin-Welded Structure Design

Guoqing Gou, Yuping Yang, Hui Chen
2014 Engineering  
Using one or multiple solid elements representing a spot weld in a shell model was also discussed. Database building methods for resistance spot welding and fusion welding have been developed.  ...  The heat source models, microstructure model, and thermo-mechanical model involved in ICME for welding simulation were discussed.  ...  Butt joint shell element modeling method [18] . thod 2. However, to simplify the mesh generation in a large automotive structure, Method 2 could also be selected, as shown in Figure 9 .  ... 
doi:10.4236/eng.2014.613085 fatcat:etowsu43jrg35jctdeueasuqm4

Formal verification of autonomous vehicle platooning

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2017 Science of Computer Programming  
, to capture and implement the agent-based decision-making in each vehicle within an automotive platoon.  ...  In order to ensure that these autonomous decision-making agents in vehicle platoons never violate safety requirements, we use formal verification.  ...  In the rest of the paper, we first explain our agent-based development of an automotive platoon. The development is based on the procedures introduced in Section 2.  ... 
doi:10.1016/j.scico.2017.05.006 fatcat:wlovngg35fg75i67f6ga4jsgza

A Survey on Modelling of Automotive Radar Sensors for Virtual Test and Validation of Automated Driving

Zoltan Ferenc Magosi, Hexuan Li, Philipp Rosenberger, Li Wan, Arno Eichberger
2022 Sensors  
Virtual methods are being developed for verification and validation of automated driving functions to reduce the time and cost of testing.  ...  Instead of a technology-oriented classification as introduced in previous review articles, we present a classification of how these models can be used in vehicle development by using the V-model originating  ...  In this approach, system requirements are defined in parallel with their verification and validation (V&V) activities throughout the development process.  ... 
doi:10.3390/s22155693 pmid:35957250 pmcid:PMC9370944 fatcat:csu2yxuul5fy5fabakbcmdhogu

An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study [chapter]

Annapurna Chunduri, Robert Feldt, Mikael Adenmark
2016 Lecture Notes in Computer Science  
Firstly, to identify the current approach used to test the distributed automotive embedded software functions in literature and in a case company.  ...  The proposed verification strategy to test distributed automotive embedded software functions has given promising results by providing means to identify test gaps and test redundancies.  ...  traceability across multiple test levels of the automotive industry V-model.  ... 
doi:10.1007/978-3-319-49094-6_15 fatcat:euacc4ynrbb4bi2ywuy62nydaa

An Integrated Framework for Traceability and Impact Analysis in Requirements Verification of Cyber–Physical Systems

Alachew Mengist, Lena Buffoni, Adrian Pop
2021 Electronics  
, through design models, down to simulation and verification results throughout the product life cycle in model-based design of CPSs.  ...  In the field of model-based design of Cyber–Physical Systems (CPS), seamless traceability of the process, from requirements to models to simulation results, is becoming increasingly important.  ...  It also simplifies the modeling effort and allows for the automated combination and integration of requirement models.  ... 
doi:10.3390/electronics10080983 fatcat:j4rda5imeffero7bp3q4e6ykwm

A new real‐time message scheduling tool for control networks

Margaret Naughton, Donal Heffernan, David Saunders
2007 Industrial robot  
The tool is based on a 'least slack time' scheduling policy. A prototype tool for the TTCAN (Time-triggered Controller Area Network) is developed.  ...  Purpose of this paper -The development of a new software tool for the scheduling of real-time control messages in a time-triggered control network is described.  ...  The verification approach, developed by the authors, is referred to as SMART-Verify. The method of formal verification is based on model checking techniques using timed automata.  ... 
doi:10.1108/01439910710738818 fatcat:icgpojpnybg5nikc5fx4zrtjoa

An Ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel, Frank Singhoff, Alain Plantec, Stephane Rubini, Pierre Dissaux, Jerome Legrand
2011 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language - SIGAda '11  
Based on these models, we apply a model-based engineering process to generate, in Ada, a feasibility test selection tool.  ...  In order to assist an architecture model designer in early verification, we provide an approach, based on real-time specific design patterns, enabling an automatic schedulability analysis.  ...  In our automotive case study, five feasibility tests have been selected: one based on exhaustive simulation (test S1), two based on processor utilization factor (test C5, test C7) and two based on worst  ... 
doi:10.1145/2070337.2070359 dblp:conf/sigada/GaudelSPRDL11 fatcat:bxyqkwsa75dutjlktxjxrrmzby

An Ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel, Frank Singhoff, Alain Plantec, Stephane Rubini, Pierre Dissaux, Jerome Legrand
2011 ACM SIGAda Ada Letters  
Based on these models, we apply a model-based engineering process to generate, in Ada, a feasibility test selection tool.  ...  In order to assist an architecture model designer in early verification, we provide an approach, based on real-time specific design patterns, enabling an automatic schedulability analysis.  ...  In our automotive case study, five feasibility tests have been selected: one based on exhaustive simulation (test S1), two based on processor utilization factor (test C5, test C7) and two based on worst  ... 
doi:10.1145/2070336.2070359 fatcat:sjl5irc54rdltmt3mdo7awvi3q

Managed Evolution of Automotive Software Product Line Architectures: A Systematic Literature Study

Christoph Knieke, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel
2022 Electronics  
The rapidly growing number of software-based features in the automotive domain as well as the special requirements in this domain ask for dedicated engineering approaches, models, and processes.  ...  In this paper, we present an in-depth literature study based on a conceptual model of artifacts and activities for the managed evolution of automotive software product line architectures.  ...  [87] apply their TIGRE method (see category testing/verification) in an agile development process. Here, they test the product line in agile sprints.  ... 
doi:10.3390/electronics11121860 fatcat:blj6d44ov5cxxiebmozycnczie

Exploring andAdapt!– Extending theAdapt!Method to Develop Reconfigurable Manufacturing Systems

Kate Kujawa, Jakob Weber, Erik Puik, Kristin Paetzold, E.C.N. Puik, J.T. Foley, D.S. Cochran, M.L. Betasolo
2018 MATEC Web of Conferences  
Providing designers with conceptual information about future vehicle models early in the product design process, could shift the design start forward and enable a more efficient transition process.  ...  Large automotive companies work on vehicle design and development for years before a product is ready for production.  ...  is a design and development method tested and developed in the automotive industry in Germany [7, 8] . The approach enables a user-friendly design of changeable production units.  ... 
doi:10.1051/matecconf/201822301006 fatcat:yyrgmk5s4ng53h4un7famljmum

Automated Verification of Model Transformations in the Automotive Industry [chapter]

Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Juergen Dingel, Shige Wang
2013 Lecture Notes in Computer Science  
In this study, we investigate using automated verification for such industrial transformations.  ...  Many companies have adopted MDD for developing their software systems.  ...  In this study, we report on using a light-weight, automated verification prototype to reason about the correctness of an ATL [22] transformation developed for the automotive industry [29] .  ... 
doi:10.1007/978-3-642-41533-3_42 fatcat:jasjgay6gjfo5hqgjyoixozfbu

D2.1: Modelling Requirements for System's and Interface Specifications

VECTOR, KIT, UOP, QUB
2021 Zenodo  
, it, at first, introduces the XANDAR development process in Chapter 2.  ...  In Chapter 3, the document specifies the essential requirements to accurately model a system's architecture, constraints, and the interfaces to other tools.  ...  is a tool for model-based development of distributed, embedded systems in the automotive industry and related fields [2] .  ... 
doi:10.5281/zenodo.6539461 fatcat:ciojvukdnjafjc36yuhgqhq6um

A Model Identity Card to Support Simulation Model Development Process in a Collaborative Multidisciplinary Design Environment

Goknur Sirin, Christiaan J. J. Paredis, Bernard Yannou, Eric Coatanea, Eric Landel
2015 IEEE Systems Journal  
A Model Identity Card to Support Engineering Analysis Model (EAM) Development Process in a Collaborative Multidisciplinary Design Environment.  ...  , Verification, Validation, and Qualification) phase.  ...  Once the model architect sends on-demand requests to the model provider, he/she has to find or develop the requested model.  ... 
doi:10.1109/jsyst.2014.2371541 fatcat:5teaxpt2dfbp3m54bifcp6lu6q

Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework [chapter]

Garazi Juez, Estíbaliz Amparan, Ray Lattarulo, Alejandra Ruíz, Joshué Pérez, Huáscar Espinoza
2017 Lecture Notes in Computer Science  
In this work, a prototype tool called Sabotage has been developed to set up, configure, execute and analyse the simulation results.  ...  This paper presents a simulation-based fault injection approach aimed at finding acceptable safety properties for model-based design of automotive systems.  ...  On the other hand, as tackled in [14] , FI is seen as a dynamic testing technique to achieve fault removal during the development phase of a system (verification, diagnosis, and correction).  ... 
doi:10.1007/978-3-319-66266-4_17 fatcat:72eublb5crga3f5smf5d55vx4y
« Previous Showing results 1 — 15 out of 3,768 results