Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation
نویسندگان
چکیده
We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore developed a MISRA C code generator for formal models expressed in the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic interactive prototypes for verifying usability and safety requirements in human-machine interfaces. The visual appearance of the prototypes is based on a picture of a physical device, and the behaviour of the prototype is defined by an executable formal model. Our approach transforms the PVSio-web prototyping tool into a model-based engineering toolkit that, starting from a formally verified user interface design model, will produce MISRA C code that can be compiled and linked into a final product. An initial validation of our tool is presented for the data entry system of an actual medical device.
منابع مشابه
Implementing Rapid Prototyping Using CNC Machining (CNC-RP) Through a CAD/CAM Interface
This paper presents the methodology and implementation of a rapid machining system using a CAD/CAM interface. Rapid Prototyping using CNC Machining (CNC-RP) is a method that has been developed which enables automatic generation of process plans for a machined component. The challenge with CNC-RP is not the technical problems of material removal, but with all of the required setup, fixture and t...
متن کاملAutomatic Generation of GUI from VDM++ Specifications VDM++ GUI Builder
The Vienna Development Method is supported by several tools. These tools allow generating Java code from a VDM++ specification but do not generate a graphical user interface (GUI). This paper describes a generic approach and tool to automatically generate a GUI in Java from a VDM++ specification. The generated GUI calls methods of the VDM++ specification, which allows testing the specification ...
متن کاملArda: a Framework for Procedural Video Game Content Generation
The current trend in computer game design is toward larger and richer virtual worlds, providing interesting and abundant game content for players to explore. The creation and continuous expansion of detailed virtual environments, however, is a time and resource-consuming task for game developers. Procedural content generation potentially solves this problem; textures, landscapes, and more recen...
متن کاملAnalysis and Design of Model-Based User Interfaces: An Approach to Refining Specifications towards Implementation
This paper proposes a method for user interface development where a model for analysis (Just-UI) and a model for design (DiaMODL) are conveniently combined into an integrated method. Just-UI currently supports automatically refining analysis models, through conceptual patterns to concrete user interface designs. Integrating a dialog modeling language (DiaMODL) into the method, will let the desi...
متن کاملA Generic Framework for Rapid Prototyping of System-on-Chip Designs
The integration of different Intellectual Property (IP) cores to modern System-on-Chip (SoC) designs becomes more and more an important topic because of the benefits in the overall system performance and the design costs. In this paper we present a new generic framework consisting of a graphical user interface with an extendable highly parameterizable IP component library for convenient SoC arc...
متن کامل