Abstract Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the implementation with respect to the model remain to be addressed. In this work, we investigate how to derive sampling rates for distributed real-time systems generated from a hybrid systems model such that there are no switching discrepancies and the resources spent in achieving this are a minimum. Of particular interest are the resulting mode switching semantics and we propose an approach to handle faulty transitions and compute execution rates for minimizing missed transitions.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008


    SOUND GENERATING DEVICE AND SOUND GENERATING METHOD

    ASAO KOJI / TANAKA JUNICHI | European Patent Office | 2016

    Free access

    Analog sound generating device and analog sound generating method

    KOJI ASAO / JUNICHI TANAKA | European Patent Office | 2015

    Free access

    Resource-aware automotive control systems design

    Chang, Wanli / Technische Universität München | TIBKAT | 2017


    VIRTUAL SOUND GENERATING SYSTEM AND VIRTUAL SOUND GENERATING METHOD

    PARK MIN KYU / JUNG WOO SUNG / CHO HYUN YEOP | European Patent Office | 2021

    Free access