Because of its ability to address software complexity and productivity challenges, Model-Based Design with production code generation has been extensively used throughout the automotive software engineering community. More recently, engineers have begun to focus on compliance with external standards such as IEC 61508 and the use of Model-Based Design. For in-vehicle applications, the standard a...

Der von Industrie und Infrastrukturbetreibern erwartete vielteilige Standard IEC 62443, bzw. ISA99 [IEC TC57/WG15, IEC SC45A/WG9, ISO/IEC JTC1/SC27/WG1] für Industrielles Prozess-Management und Prozesskontrolle (IACS) besteht aus 4 Gruppen, mit bis zu 4 Teilen je Gruppe. Nur der vorläufig letzte Teil IEC 62443-4-2, der von den Normungsorganisationen Anfang 2016 zur Kommentierung ausgeschrieben ...

The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriate for safety-related applications, and suggests the use of static analysis techniques to find errors in the source code. In this context, we have added a semantic verification stage to the MatIEC compiler an open source ST, IL and SFC code translator to ANSI C. In so doing, we have identified s...

The emerging ISO/IEC 29110 standard Lifecycle profiles for Very Small Entities has at its core a Management and Engineering Guides which is targeted at very small entity (enterprise, organization, department or project) having up to 25 people, to assist them unlock the potential benefits of using standards which are specifically designed to address there needs. The developers of the standard, I...

Dependability analyses in the design phase are common IEC 60300 standards to assess reliability, risk, maintainability, and maintenance supportability of specific physical assets. Reliability risk assessment uses well-known methods such as failure modes, effects, criticality analysis (FMECA), fault tree (FTA), event (ETA)to identify critical components modes based on rate, severity, detectabili...

Programmable Logic Controllers (PLCs) are playing an increasing role in the construction of safety critical systems. The standard IEC 1131-3 deenes a number of interrelated languages for the expression of PLC programs. Here we consider a subset of the IEC 1131-3 languages, that of function blocks, and present an assessment of the standard from the viewpoint of providing a formal semantics to th...