• Skip navigation
  • Skip to navigation
  • Skip to the bottom
Simulate organization breadcrumb open Simulate organization breadcrumb close
Computer Science 7
  • FAUTo the central FAU website
  1. Friedrich-Alexander-Universität
  2. Faculty of Engineering
  3. Department Computer Science
  • Deutsch
  • English
  • Campo
  • UnivIS
  • Jobs
  • Map
  • Help
  1. Friedrich-Alexander-Universität
  2. Faculty of Engineering
  3. Department Computer Science

Computer Science 7

Navigation Navigation close
  • CS7
  • Research
  • Publications
  • Teaching
  • Cooperation Partners
  1. Home
  2. Research
  3. Concluded Projects
  4. Formal verification and validation of test methods for complex vehicle safety systems in virtual environments

Formal verification and validation of test methods for complex vehicle safety systems in virtual environments

In page navigation: Research
  • Quality-of-Service
    • Research Projects
    • Group Members
    • Publications
  • Connected Mobility
    • Research Projects
    • Group Members
    • Publications
  • Smart Energy
    • Research Projects
    • Group Members
    • Publications
  • Concluded Projects
    • ACOOWEE – Activity Oriented Programming of Wireless Sensor Networks
    • ALF: Autonomous Localization Framework
    • Analysis Methods for Non-Markovian Models
    • A⁵: Development Method for Driver Assistance Systems based on a Domain-Specific Language
    • BioNeting – Bio-inspired Networking
    • CoCar – Cooperative Cars
    • Concurrency in timed usage models for system testing in the automotive domain
    • Data Quality and the Control of Automotive Manufacturing
    • Decentralized organization of future energy systems based on the combination of blockchains and the cellular concept
    • Dienstgütegarantien für Ethernet in der industriellen Kommunikation
    • e-NUE: Co-Simulation of Electrified and Connected Vehicles
    • Energy System Analysis
    • Formal verification and validation of test methods for complex vehicle safety systems in virtual environments
    • GeTTeMo – Systematische Generierung von Testszenarien aus benutzungsorientierten Testmodellen
    • HISTORY – HIgh Speed neTwork mOnitoRing and analYsis
    • Hybrid Simulation of Intelligent Energy Systems
    • Integrated Modeling Platforms for Computer Infrastructures
    • MaTeLo (Markov Test Logic)
    • Mo.S.I.S. (Modular Software Engineering for Interoperative Systems)
    • Model support in design, test, and monitoring of image system architectures
    • Modeling of External and Internal Impact Factors on the Performance of Wireless Local Area Networks
    • monk-it – Efficient distributed monitoring, attack detection, and event correlation
    • p2p4wsn – Efficient Data Management in Mobile Sensor Networks using Peer-to-Peer Technologies
    • Pal-Grid: A Comprehensive Simulation Framework for the Palestinian Power Grid
    • Privacy in Vehicular Networks
    • ProHTA: Prospective Assessment of Healthcare Technologies
    • Q.E.D. (QoS Enhanced Development Using UML2.0 and TTCN-3)
    • Quality of Service of Networked Embedded Systems
    • Requirements oriented testing with Markov chain usage models in the automotive domain
    • ROSES – Robot Assisted Sensor Networks
    • Secure intelligent Mobility – Testarea Germany
    • Security and Quality of Service and Aspects in ZigBee-based Wireless Communication
    • Self-organization of SN-MRS systems
    • Sensitivity Analysis of Queueing Networks
    • SkyNet – Communicating Paragliders
    • Smart Grid Services
    • Smart Grid Solar
    • Software-in-the-Loop Simulation and Testing of Highly Dependable Distributed Automotive Applications
    • Support for inter-domain routing and data replication in virtual coordinate based networks
    • SWARM (Storage With Amply Redundant Megawatt)
    • Telematics Services in Hybrid Networks
    • Transmission of Safety-Relevant Sensor Data in Intra-Car Communication Systems
    • Veins 1.0 – Vehicles in Network Simulation
    • Web Cluster Laboratory
    • WinPEPSY-QNS – Performance Evaluation and Prediction System for Queueing Networks

Formal verification and validation of test methods for complex vehicle safety systems in virtual environments

Logo testmethods

Project Description

Integral safety functions provide a significant contribution to the protection of occupants and other road users by interconnecting active and passive safety and assistance systems. During the development of these complex, interrelated functions particular interest is taken into hedging against system failures and unwanted behavior. Malfunctions, e.g., an unwananted braking intervention at high speeds, can have a dramatic effect and therefore have to be appropriatly considered during the development, especially in the selection of test stations, system and functional requirements and for scheduling the test runs. However, ever shorter development cycles and increasing functional scopes increase the time pressure on all test stations. A development cycle involves modeling a system and specifying its test-model and generating code for its validation on both the development computer as well as on the target processor. The essential requirement to the validation is that it must be as realistic as possible, so that the system behavior can be examined in interaction with other control devices of a vehicle. For this purpose, a HiL simulator is used, which emulates the control units and the sensors and actuators of a vehicle, so that the validation can be carried out in a virtual environment. It is a framework be created, that verifies and validates test methods for complex vehicle safety systems in virtual environments.

Project Period

    2014-08-01 – 2017-08-01

Project Leader

    Reinhard German

Project Members

    Ibrahim Alagöz

Involved institutions

Automotive Safety Technologies GmbH

Related Publications

  • Alagöz I., Herpel T., German R.:
    A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level
    10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017 (, 2017-03-13 - 2017-03-17)
    In: Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on 2017
    DOI: 10.1109/ICST.2017.18
    BibTeX: Download
  • Alagöz I., Hoiss T., German R.:
    Modeling a Classifier for Solving Safety-Critical Binary Classification Tasks
    DOI: 10.1109/ICMLA.2017.00-38
    BibTeX: Download
  • Alagöz I., Hoiss T., German R.:
    Improving System Reliability Assessment of Safety-Critical Systems using Machine Learning Optimization Techniques
    In: Advances in Science, Technology and Engineering Systems 3 (2018), p. 49-65
    ISSN: 2415-6698
    DOI: 10.25046/aj030107
    BibTeX: Download
Computer Science 7 (Computer Networks and Communication Systems)
Friedrich-Alexander-Universität Erlangen-Nürnberg

Martensstr. 3
91058 Erlangen
  • Contact
  • Imprint
  • Privacy
  • Accessibility
  • RSS-FEED Colloquium
Up