Simulink Interface Concepts
In Model-based Development and Embedded Software Engine […]
Automatic Test of AUTOSAR Code Replacement Library Routines at Ford Motor Company
The Journey – from idea to solution It seems like every […]
AUTOSAR – What is the Best Approach to Handle Reusable Code?
Component reuse is a common use case in any type of sof […]
Interview: How does a Model Checker work?
Model Checking is part of the Formal Methods which addr […]
ISO 26262 Functional Safety Requirement Types
With the aim to provide technical coherence, reliabilit […]
Why and How to Improve Requirements
“How do you manage your requirements?” We ask this ques […]
What You Should Know About Fixed-Point Code
Vocabulary: Floating-point code? – Fixed-point co […]
When and how to generate test cases automatically
The automatic test case generation has always been a co […]
The Power of Focus – How to Optimize a Model Checker for Embedded Software
Unlike random algorithms or Abstract Interpretation, Mo […]
AUTOSAR – What Every Function Developer Should Know…
In recent decades, the demands for designing smarter an […]