Search Results

Test and verification procedures are a vital aspect of the development process for embedded control systems in the automotive domain. Formal requirements can be used in automated procedures to check whether simulation or experimental results adhere to design specifications and even to perform automatic test and formal verification of design models; however, developing formal requirements typically requires significant investment of time and effort for control software designers. We propose Signal Template Library (ST-Lib), a uniform modeling language to encapsulate a number of useful signal patterns in a formal requirement language with the goal of facilitating requirement formulation for automotive control applications. ST-Lib consists of basic modules known as signal templates. Informally, these specify a characteristic signal shape and provide numerical parameters to tune the shape.

Automotive control systems such as powertrain control interact with the open physical environment, and from this nature, expensive prototyping is indispensable to capture a deep understanding of the system requirements and to develop the corresponding control software. Model-based development (MBD) has been promoted to improve productivity by virtual prototyping. Even with MBD, systematic validation of the software specification remains as a major challenge and it still depends heavily on individual engineers' skill and knowledge. Though the introduction of graphical software modeling improved the situation, it requires much time to identify the primal functions, so-called “design interests”, from a large complex model where irrelevant components are mixed with, and to validate it properly.