Safe Code Generation

Electronic systems are becoming increasingly complex, and more and more functions are being implemented in software form. The result is a marked increase in the complexity of embedded software. The development process is changing to meet the challenges posed by this complex system development. Years ago, high-level languages such as C were introduced because the complexity of applications could no longer be represented in assembler language. Today, high-level languages are being replaced, or at least supplemented, by the use of an additional abstraction level. Modern software development is therefore using the model-based approach more often.