Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived and to be formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs to introduce and formalize many details. In this paper an experience is reported in deriving an executable formal model from a high level specifications, originally given following a mainly architectural UML approach. The tool used in this experience is SCADE. This method bridges the semantic gap between UML state diagrams and SCADE Statecharts (SSM). Formal verification is used during the process to maintain consistency of the transformation between UML state diagrams and SSM. The development process is illustrated on an automotive case study named SENSORIA. A state of the art code generation tool is then applied to produce a prototype implementation of the analyzed system. Within the scope of the SENSORIA project, a car repair scenario low oil level is selected for illustrating the different techniques presented in this article. The actors and their interaction with the system in the scenario are the following: (1) Sensor systems: cause low oil level alert, (2) discovery engine: discovers services needed (towing, repair), (3) driver: communicates with towing and repair service, (4) tow truck: receives GPS co-ordinates of stranded vehicle, and (5) repair shop: receives diagnostic data from stranded vehicle.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Model-Driven Code Generation and Analysis

    Rustemeier, Carsten / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2014


    Model-Driven Code Generation and Analysis

    Kaestner, D. / Rustemeier, C. / Kiffmeier, U. et al. | British Library Conference Proceedings | 2014


    Practical validation of model based code generation for automotive applications

    Toeppe, S. / Ranville, S. / Bostic, D. et al. | IEEE | 1999


    Automatic code generation of production quality code for embedded automotive control

    Hanselmann,H. / Kiffmeier,U. / Koester,L. et al. | Automotive engineering | 1999