The safety monitor is a high integrity control that monitors the health and performance of safety related computer controlled functions in vehicles. The integrity of the safety monitor code is critical to the overall performance of the control software. Traditionally, once monitor requirements are understood, then the safety monitor is hand coded or created in a modeling environment. New practices such as ISO 26262 prescribe formal or semiformal methods are used against certain classes of foreseeable faults. Recently, a new tool, which is capable of auto-generating C-code based on safety monitor formal functional requirements is available from BTC Company. Ford Motor Company investigated the tool using an application example from a powertrain control feature safety monitor.The paper describes a pilot project and process assessment, comprising the steps of requirement-based C-code generation, code integration, code analysis and code verification using requirements selected from the powertrain control feature's specification. First, the paper describes the C-code generation process. This includes requirements capture as textual descriptions, the conversion of the requirements to macros, use of these macros in the creation of temporal logic patterns in formal notations, code generation and target code export. Then the paper discusses the code integration process, and after that the paper compares code analysis reports from Polyspace®, one from the pilot requirement based implementation and one from a Simulink® implementation. Afterwards, the paper demonstrates the functional testing of the code at both unit level and vehicle integration level. In conclusion, the paper summarizes the recommendations and lessons-learned with usage of the tools.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Requirement Based Safety Monitor Generation and Integration


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE 2014 World Congress & Exhibition ; 2014



    Publication date :

    2014-04-01




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Model-based requirement generation

    London, Brian / Miotto, Piero | IEEE | 2014


    Integration of Commercial Pick Up Vehicle to Meet Pedestrian Safety Requirement

    Pathak, Amit Kamalakar / Madiyan, Anupama / Rajke, Mayur | SAE Technical Papers | 2015


    Integration of Commercial Pick Up Vehicle to Meet Pedestrian Safety Requirement

    Pathak, A.K. / Rajke, M. / Madiyan, A. et al. | British Library Conference Proceedings | 2015


    Requirement for Integration of Satellite-Based Augmentation Systems

    Loh, R. / Nii, A. / Latas, S. et al. | British Library Conference Proceedings | 1997


    SAFETY MONITOR

    MANGERUCA LEONARDO / MARAZZA MARCO / MINOPOLI STEFANO | European Patent Office | 2022

    Free access