Abstract This work in progress presents a prototype multi-simulation environment for the Rodin platform that enables import, co-modelling and co-simulation of dynamic models and formal Event-B specifications, which can help in the design of mixed discrete-event/continuous-time systems. The proposed solution is based on the Functional Mock-up Interface standard and ProB animator for Event-B. The involved technologies and co-simulation semantics are explained, followed by a demonstration of preliminary results, obtained from a landing gear case study.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Co-simulation Environment for Rodin: Landing Gear Case Study


    Contributors:


    Publication date :

    2014-01-01


    Size :

    6 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Co-simulation Environment for Rodin: Landing Gear Case Study

    Savick, V. / Butler, M. / Colley, J. | British Library Conference Proceedings | 2014


    The Landing Gear System Case Study

    Boniol, Frédéric / Wiels, Virginie | Springer Verlag | 2014


    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014



    Helicopter Landing Gear Shimmy Simulation

    Butts, D. / Kogan, A. / Herce, D. et al. | British Library Conference Proceedings | 2010