loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Moving Automotive Embedded Software Development to the Cloud

I will spare you from a lengthy monolog on why a CI Pipeline that requires manually configured environments is fairly limited when it comes to scaling it out to other projects, other teams. I assume that you have felt the pain yourselves. There are different aspects to this topic including integrating with a cloud provider […]

Simulink Interface Concepts

In Model-based Development and Embedded Software Engineering, the growing complexity requires concepts like modularization, ease of maintenance, or module reusability. In this context it is crucial to understand the interface in Simulink, which is defined by the data flow into and out of a subsystem. This blog article gives an overview about the different interfaces […]

Why and How to Improve Requirements

“How do you manage your requirements?” We ask this question quite often in customer meetings. The people we meet are usually developers and testers in the automotive industry. In most cases the answers range between “We do not have any requirements. The model represents them.” and “We use a requirements management system; however, the requirements […]

Automatic Test of Ford Code Replacement Library Routines

What we haveThe Journey – from idea to solution It seems like every day more and more software teams are developing software in a model-based way, using Simulink models and auto-generated c-code… and Ford is no different. Many low-level math and interpolation routines have been developed by the central software team as libraries that can […]

AUTOSAR – What is the Best Approach to Handle Reusable Code?

AUTOSAR addresses this use case with native mechanisms but also supports traditional approaches

Component reuse is a common use case in any type of software and this is particularly true in automotive applications. Consider the equipment in the cars such as wheels, seats, doors, lights, clutches (e.g., in a dual-clutch transmission), and so on. They are controlled by software and as they exist by pairs, it makes sense […]

Interview: How does a Model Checker work?

Model Checking is part of the Formal Methods which address formal specification, formal development, formal verification and theorem provers. Model Checking belongs to the formal verification and provides a complete mathematical proof to verify your system-under-test. BTC EmbeddedPlatform uses the model checking technology for structural test data generation to achieve full code coverage, for formal […]

ISO 26262 Functional Safety Requirement Types

With the aim to provide technical coherence, reliability and safety, requirements engineering is the process for defining, documenting and managing requirements. In the 90s, the IEEE provided a general definition of requirements engineering with five phases: elicitation, analysis, specification, verification and management. Within each industry, requirements engineering has been adapted to the specific domain of […]

What You Should Know About Fixed-Point

Vocabulary: Floating-point? – Fixed-point? – Scaling? – Resolution? – LSB? Basically, we can distinguish between two kinds of datatypes in embedded code: Floating-point and Integer. An integer variable basically represents whole numbers and the value range is limited by the number of bits. For example, an (unsigned) 8bit Integer can represent 2^8=256 different values, by default ranging from […]

How to Set Up Jenkins From Scratch on Your Own PC in 5 Minutes

Optimization “We know that Jenkins is great and all but we’re not some cloud-based start up. It would take ages to have server infrastructure available only to realize that it doesn’t support our workflows and tools after all.” Even though Jenkins is rapidly growing in automotive embedded software development I hear a lot of stories […]

When and how to generate test cases automatically

The automatic generation of test cases has always been a controversial topic. While some people dream about stopping any manual test activities others say that test generation is not allowed. But who is right? Test Goals for test case generation Let’s have a quick look at the possible test goals for which we can generate […]