Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review

J Cederbladh, A Cicchetti, J Suryadevara - ACM Transactions on …, 2024 - dl.acm.org
In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …

Simulation-based verification of automotive safety-critical systems based on EAST-ADL

R Weissnegger, M Schuss, C Kreiner, M Pistauer… - Procedia computer …, 2016 - Elsevier
The increasing amount of assistance features in today's vehicles to ensure safe and reliable
operation, imply increasingly complex systems. New challenges are arising due to highly …

Automated assessment of E/E-architecture variants using an integrated model-and simulation-based approach

H Bucher, K Neubauer, J Becker - 2019 - sae.org
Due to the continuously increasing complexity of auto-motive electric/electronic architectures
(EEAs), model-based systems engineering principles became state-of-the-art for designing …

An integrated approach enabling cross-domain simulation of model-based E/E-architectures

H Bucher, C Reichmann, J Becker - 2017 - sae.org
The increasing complexity of electric/electronic architectures (EEA) in the automotive
domain raised the necessity of model-based development processes for the design of such …

Co-simulation of self-adaptive automotive embedded systems

M Zeller, G Weiss, D Eilers… - 2010 IEEE/IFIP …, 2010 - ieeexplore.ieee.org
The complexity of modern vehicular embedded systems is constantly rising. In addition,
distributed embedded systems like automobiles often implement safety-relevant applications …

The fluid stochastic Petri net simulator

DM Nicol, AS Miner - … 6th International Workshop on Petri Nets …, 1995 - ieeexplore.ieee.org
A Fluid Stochastic Petri Net (FSPN) extends a normal Petri net with the notion of fluid places,
and fluid arcs. Fluid levels are continuous, and may be used to approximate the presence of …

[PDF][PDF] Integrierte modell-und simulationsbasierte Entwicklung zur dynamischen Bewertung automobiler Elektrik/Elektronik-Architekturen

H Bucher - 2020 - core.ac.uk
Kurzfassung Die Digitalisierung hat enormen Einfluss auf nahezu alle Industriezweige.
Besonders die Automobilbranche befindet sich seit einigen Jahren im Wandel. Trends wie …

Electric circuit-and wiring harness-aware behavioral simulation of model-based E/E-architectures at system level

H Bucher, J Becker - 2018 IEEE International Systems …, 2018 - ieeexplore.ieee.org
To cope with the rising complexity of automotive electric/electronic architectures (EEA),
model-based development at system level is well-established and typically realized in …

[PDF][PDF] Using reference traces for validation of communication in embedded systems

F Langer, E Oswald - Proceedings of The Ninth …, 2014 - publica-rest.fraunhofer.de
This paper addresses the problem of evaluating the communication behavior of embedded
systems. An important problem is missing, wrong or incomplete specification for the …

A self-learning approach for validation of communication in embedded systems

F Langer, E Oswald - Proceedings of the 3rd International workshop on …, 2014 - dl.acm.org
This paper demonstrates a new approach that addresses the problem of evaluating the
communication behavior of embedded systems by applying algorithms from the area of …