Filters








434 Hits in 5.6 sec

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi
2017 Electronic Proceedings in Theoretical Computer Science  
We therefore developed a MISRA C code generator for formal models expressed in the PVSio-web prototyping toolkit.  ...  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  ...  Code generation Our MISRA C code generator was implemented in JavaScript using Handlebars [14], a macro-expansion tool for web applications.  ... 
doi:10.4204/eptcs.240.4 fatcat:zvwr2tthrbewbmvoxiv33u2xb4

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael D. Harrison, José C. Campos, Saulo Rodrigues e Silva
2017 Electronic Proceedings in Theoretical Computer Science  
This paper compares and evaluates two state-of-the-art toolkits: CIRCUS, a model-based development and analysis tool based on Petri net extensions, and PVSio-web, a prototyping toolkit based on the PVS  ...  Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces.  ...  Initial support for code generation is also available for MISRA-C, for behavioural models developed using Emucharts [21] .  ... 
doi:10.4204/eptcs.240.1 fatcat:we6d7mbttjai7f62ynlyw7mlea

Advanced Interactive Executive program development environment

R. Q. Cordell, II, M. Misra, R. F. Wolfe
1987 IBM Systems Journal  
Some of the characteristics of application development with this operating system, some of its features that influence application design, and the basic program development tools are described.  ...  This operating system provides a distinct environment for the development of programs.  ...  This makes the dialog manager a useful tool for prototyping and developing user interfaces for programs (see Murphy and Verburg').  ... 
doi:10.1147/sj.264.0361 fatcat:z6kyqr4ccjc4rhgqlm56rcwuem

Supporting the Analysis of Safety Critical User Interfaces

José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe Palanque
2020 ACM Transactions on Computer-Human Interaction  
Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and healthcare.  ...  These tools have been developed to support the model based analysis of critical user interfaces.  ...  of PVS executable models through the PVS ground evaluator (to support rapid prototyping), and automatic generation of production code compliant to MISRA-C (only for formal models developed using Emucharts  ... 
doi:10.1145/3404199 fatcat:tnkeszl5g5fivdtcmscz5cqbtq

Embedded Adaptive Self-Tuning Control Development by a Free Toolchain

Gernot Grabmair, Simon Mayr
2015 Universal Journal of Control and Automation  
After a very short introduction of model based design terms, this article focuses on the code generator and the other programs of the tool-chain.  ...  The new free tool-chain for model based control design is based, among other software, on the open simulator Scilab-XCos.  ...  Later, the system was extended to generate C-code and to largely comply with MISRA (S2C), see [7] .  ... 
doi:10.13189/ujca.2015.030203 fatcat:4fngaffr4zgqlc2c7hiougmroq

From Conception to Implementation: A Model Based Design Approach

Giovanni Gaviani, Giacomo Gentile, Giovanni Stara, Luigi Romagnoli, Thomas Thomsen, Alberto Ferrari
2004 IFAC Proceedings Volumes  
These components are integrated with handwritten (e.g. legacy) software modules together with the software platform.  ...  In more details, g iven a model of the implementation platform, which describes the available services and data types, the algorithms captured by models are refined and then automatically translated to  ...  Furthermore, TargetLink-generated code complies with the MISRA C standard, see (MISRA, 1998) and (Thomsen, 2002) .  ... 
doi:10.1016/s1474-6670(17)30317-8 fatcat:csrewfc5srcmvkykwrppdboshm

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments [article]

Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Bjoern Annighoefer
2021 arXiv   pre-print
generation, (5) a sophisticated visualization, and (6) a decoupled interaction of framework components.  ...  Tool qualification has to be conducted by the tool user and can be assisted by the tool developer by providing qualification artifacts.  ...  Automatic code generation from created models, as is common with other modeling frameworks, will not be provided.  ... 
arXiv:2108.04121v1 fatcat:jsjegp54kvdx7pt7mfb2ves5sa

Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions

Chunhua Liao, Daniel J. Quinlan, Jeremiah J. Willcock, Thomas Panas
2010 International journal of parallel programming  
Several representative parallelization candidate kernels are used to study semantic-aware parallelization strategies for high-level abstractions, combined with extended compiler analyses.  ...  Modern applications using high-level abstractions, such as C++ STL containers and complex user-defined class types, are largely ignored due to the lack of research compilers that are readily able to recognize  ...  Specifically, our work addresses the concerns of parallelism for three target audiences: 1) users with legacy code (C/C++) using standard abstractions (STL, etc.), 2) users and library writers with domain-specific  ... 
doi:10.1007/s10766-010-0139-0 fatcat:ru2s63ic3zfj7hozhbyw7mieim

Model based control design - A free tool-chain

Gernot Grabmair, Simon Mayr, Martin Hochwallner, Markus Aigner
2014 2014 European Control Conference (ECC)  
After a very short introduction of model based design terms this article focuses on the code generator and the other programs of the tool-chain.  ...  In this study we present a new free tool-chain for model based control design for mechatronic plants applicable to small embedded systems based among other software on the open simulator Scilab-XCos.  ...  Later, the system was extended to generate C-code and to largely comply with MISRA (S2C), see [6] .  ... 
doi:10.1109/ecc.2014.6862509 dblp:conf/eucc/GrabmairMHA14 fatcat:wsrmb5akhrag3adnfct72sfifa

A Web Service for File-Level Access to Disk Images

Sunitha Misra, Christopher A. Lee, Kam Woods
2014 Code4Lib Journal  
The work examines two approaches in creating this tool: First, a graphical user interface running on a local machine. Second, a web-based application running in web browser.  ...  The project incorporates existing open source forensics tools and libraries including The Sleuth Kit and libewf along with the Flask web application framework and custom Python scripts to generate web  ...  The Sleuth Kit (TSK)[9] is a complete file-system analysis tool. It provides a general purpose library, libtsk3 , which is written in C++.  ... 
doaj:1e5fa9afa6d746789befbb1a0d8436cd fatcat:h44o7wkv6baevo6rl4bxt4cwym

Automatic Code Generation from Real-Time Systems Specifications

Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
2009 2009 IEEE/IFIP International Symposium on Rapid System Prototyping  
The task-set is specified according to the graphic formalism of timeline schemas and it is translated into C-code that implements the dynamic architecture of the task-set on top of Linux- RTAI operating  ...  We address the problem of rapid development of complex real-time task-sets through a Model Driven Development (MDD) approach.  ...  The JComposer framework has been employed in the automatic generation of real-time C-code for safetycritical embedded systems run on top of Linux-RTAI platform.  ... 
doi:10.1109/rsp.2009.24 dblp:conf/rsp/CarnevaliDRV09 fatcat:a56hznnxcvhidg4yqvogcdkfyu

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

Hugues Evrard, Frederic Lang
2015 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing  
The generated code can be either executed in an autonomous way (i.e., without requiring additional code to be defined by the user), or connected to external software through user-modifiable C functions  ...  In this paper, we present DLC, a compiler that enables distributed code to be generated from models written in a formal process language called LNT, which is equipped with a rich verification toolbox named  ...  The authors warmly thank Lucas Cimon for suggesting Raft as a case study, and the Inria/CONVECS team members, in particular Wendelin Serwe and Hubert Garavel, for useful discussions.  ... 
doi:10.1109/pdp.2015.96 dblp:conf/pdp/EvrardL15 fatcat:atyi6lwoxzeyhe7j6hsb7cmdya

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore [chapter]

Chunhua Liao, Daniel J. Quinlan, Jeremiah J. Willcock, Thomas Panas
2009 Lecture Notes in Computer Science  
Those kernels include an array-based computation loop, a loop with task-level parallelism, and a domain-specific tree traversal.  ...  In this paper, we automatically parallelize C++ applications using ROSE, a multiple-language source-to-source compiler infrastructure which preserves the high-level abstractions and allows us to unambiguously  ...  , and a Compass checker (shown in Fig. 2 for MISRA Rule 5-0-18 [11] ) applied on a ROSE source file (Cxx Grammar.C) with approximately 300K lines of code.  ... 
doi:10.1007/978-3-642-02303-3_3 fatcat:tddm42kq7rhbjhze2i7kpj6wfi

Embedded Software Development with Projectional Language Workbenches [chapter]

Markus Voelter
2010 Lecture Notes in Computer Science  
Instead of using a combination of C code and modeling tools, we propose an approach where modeling and programming is unified using projectional language workbenches.  ...  These allow the incremental, domainspecific extension of C and a seamless integration between the various concerns of an embedded system.  ...  I also want to thank Bernhard Merkle, without whom I would have had a much harder time getting started with Mindstorms and OSEK.  ... 
doi:10.1007/978-3-642-16129-2_4 fatcat:wwsdsmqadja2pg5l33wjnfw67u

Comparison Of Java Programming Testing Tools

Shikha Gautam
2018 Zenodo  
Java testing tools are analyzed based on various quality attributes. Analysis shows that selection of testing tool depends on requirement.  ...  This paper provides the overview of various testing tools and analyzed Java programming testing tools because Java programming is very important due to its mature nature to develop software.  ...  Brijendra Singh, Ph.D. supervisor for proper guidance to do creative research work and IIIT Lucknow to give such a beautiful and research-oriented environment.  ... 
doi:10.5281/zenodo.1179382 fatcat:anut55ju2vfmrcn6w3vggpt2ke
« Previous Showing results 1 — 15 out of 434 results