149,640 Hits in 10.0 sec

Automatic Test Generation for LUSTRE/SCADE Programs

Virginia Papailiopoulou
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
This research work is partially concerned with Lutess, a testing environment which automatically transforms formal specifications into test data generators.  ...  environment description.  ... 
doi:10.1109/ase.2008.96 dblp:conf/kbse/Papailiopoulou08 fatcat:afs2lnygfzeb7ht7zr2ee3q3mm

Automated Functional Verification of Application Specific Instruction-set Processors [chapter]

Marcela Šimková, Zdeněk Přikryl, Zdeněk Kotásek, Tomáš Hruška
2013 IFIP Advances in Information and Communication Technology  
The aim of this paper is to introduce an automated generation of SystemVerilog verification environments (testbenches) for verification of ASIPs.  ...  Results show that our approach reduces the time and effort needed for implementation of testbenches significantly and is robust enough to detect also well-hidden bugs.  ...  The programming tools, ISS as well as the HDL representation can be generated from the processor description. However, they do not provide any automatically generated verification environments.  ... 
doi:10.1007/978-3-642-38853-8_12 fatcat:otdupkuayjgjvdkaeedtakemma

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems

Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Eric Rutten
2008 EURASIP Journal on Embedded Systems  
Their recent successes in the automatic control industry highlight the benefits of formal verification and automatic code generation from high-level models.  ...  , integrated tools for both compilation and simulation of more general models of communication and coordination, and so forth.  ...  Their recent successes in the automatic control industry highlight the benefits of formal verification and automatic code generation from high-level models.  ... 
doi:10.1155/2008/376920 fatcat:bh5to5zogfhb3d6ygb7ql3bgjm

Reasoning with executable specifications [chapter]

Yves Bertot, Ranan Fraer
1995 Lecture Notes in Computer Science  
This work is a case study of an environment integrating executable tool generation and formal reasoning on these tools.  ...  Starting from the specification of a small imperative programming language, and the description of two program transformations on this language, we formally prove the correctness of these transformations  ...  Related work A wide variety of programming environment generators use formal descriptions of programming languages.  ... 
doi:10.1007/3-540-59293-8_218 fatcat:zz3zhl5iajfijk4ccvvbglnkwu

Towards establishing formal verification and inductive code synthesis in the PLC domain [article]

Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
2021 arXiv   pre-print
Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce costs.  ...  For this purpose, the general concepts of formal methods are first introduced and then transferred to the PLC area, resulting in an engineering-oriented description of the technology that is based on common  ...  To maintain a consistent model-driven development process from modelling to the automatically generated, executable program, formal verification would be helpful to automatically ensure the accuracy of  ... 
arXiv:2106.15878v1 fatcat:57h2oedzp5bezecpr5fjmc7dfy

Robust Real-Time Applications in Timber

Per Lindgren, Johan Nordlander, Martin Kero, Joakim Eriksson
2006 2006 IEEE International Conference on Electro/Information Technology  
We outline how system specifications in Timber can be "compiled" into efficient standalone executables for general light-weight microcontroller platforms.  ...  Methods for resource analysis and implications to system dimensioning and validation are further discussed.  ...  Using environment models, stimuli for functional validation can be automatically generated and the simulation results analyzed.  ... 
doi:10.1109/eit.2006.252112 fatcat:qlbimuje2zh5vlgu72jqnh2tou

KWIC (key word in context)

1984 The Journal of Logic Programming  
[336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  of FGCS [534]New Applications: User and Social Access to PROLOG Database Systems [529]  ...  Automatic Generation of Mode Declaration for PROLOG Programs [392]The Automatic Generation of Mode Declaration for PROLOG Programs [393]The Automatic Generation of the Input-output Relation  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

Towards a Grid Applicable Parallel Architecture Machine [chapter]

Karolj Skala, Zorislav Sojat
2004 Lecture Notes in Computer Science  
of the given problem.  ...  Based on this interactive deformalized (i.e. natural language like) human-Grid interaction languages should be developed, enabling parallel programming to be done by inherently parallel model description  ...  In this sense deformalisation is to be regarded as development of synonyms, easy and partially automatic definition of abstracts, i.e. abstraction layers, and a non-too-formal grammar, which enables interactive  ... 
doi:10.1007/978-3-540-24688-6_18 fatcat:zex2ifkijffjtntrytga6aguey


Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Gabriele Taentzer
2002 Science of Computer Programming  
In Designing the automatic transformation of visual languages Varro, Varro and Pataricza present a general framework for an automated model transformation system.  ...  The contribution improves previous work in the area of Architecture Description Languages (ADL) and related ÿelds.  ... 
doi:10.1016/s0167-6423(02)00035-7 fatcat:tcw3kdrlrjfdrf7stan6ycv5gq

Environments for Term Rewriting Engines for Free! [chapter]

Mark van den Brand, Pierre-Etienne Moreau, Jurgen Vinju
2003 Lecture Notes in Computer Science  
Furthermore, we can also automatically generate new libraries specifically tailored towards the rewriting formalism that we want to implement [13] .  ...  It is a long path from a description of a term rewriting engine, via language design for the corresponding formalism, to a usable programming environment.  ... 
doi:10.1007/3-540-44881-0_30 fatcat:ynoknzvgqnfwppq2yfbtx6d7ou

Towards an Interactive Learning Environment for Object-Z

Selvarajah Mohanarajah, Ray Kemp, Elizabeth Kemp
2004 Issues in Informing Science and Information Technology  
In LOZ, the semiformal model UML is used in the intermediate phase between informal textual description and formal Object-Z description.  ...  We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z.  ...  The Refinement unit in this design helps to keep the motivation of the learner high. It could automatically generate programming code for some selected formal specification portions when possible.  ... 
doi:10.28945/793 fatcat:zesmxjqq4vaadkicuqwbvbhzii

Component-Oriented Programming as an AI-Planning Problem [chapter]

Debasis Mitra, Walter P. Bond
2002 Lecture Notes in Computer Science  
A dream of the software-engineering discipline is to develop reusable program-components and to build programs out of them.  ...  Formalization a type of component-oriented programming (COP) problem (that does not need any non-trivial effort for gluing components together) shows a surprising similarity to the problem of Planning  ...  Formalizing such "design rationale" could constitute a step forward toward handling the "descriptions" as in 'A' and p i 's in the COP.  ... 
doi:10.1007/3-540-48035-8_55 fatcat:dc6mkh7geja6pgt4r55fkuon7u

A summary of progress toward proving program correctness

T. A. Linden
1972 Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)  
5 May 1972 pp 330-336 44 C STRACHEY Towards a formal semantics Formal Language Description Languages for Computer Programming T B Steel Jr ed North Holland Publ Co Amsterdam 1966 pp 198-220 45 D SCOTT  ...  In 1969 King 18 completed a program verifier that automatically generated the verification conditions and then used a special theorem prover based on a natural deduction principle to automatically prove  ...  and testing the program.  ... 
doi:10.1145/1479992.1480019 dblp:conf/afips/Linden72 fatcat:ofwp5rbivbafld2x75wkgpazky

On the Evaluation of Intelligent Process Automation [article]

Deborah Ferreira, Julia Rozanova, Krishna Dubba, Dell Zhang, Andre Freitas
2020 arXiv   pre-print
So far, the field of IPA has been largely driven by systems and use cases, lacking a more formal definition of the task and its assessment.  ...  This work also compares and contrasts IPA against related tasks such as end-user programming and program synthesis.  ...  Acknowledgements The authors would like to thank Jacques Cali and the Blue Prism team for their support of this project. We also thank the anonymous reviewers for the valuable feedback.  ... 
arXiv:2001.02639v2 fatcat:xb3ts4yqerht7d3bz2fwbzfok4

Towards General Game-Playing Robots: Models, Architecture and Game Controller [chapter]

David Rajaratnam, Michael Thielscher
2013 Lecture Notes in Computer Science  
We develop a formal model for general games in physical environments and provide a systems architecture that allows the embedding of existing general game players as the "brain" and suitable robotic systems  ...  We also report on an initial robot prototype that can understand the rules of arbitrary games and learns to play them in a fixed physical game environment.  ...  This paper makes the first step towards general game-playing robots, which we define to be autonomous systems that can understand descriptions of new games and learn to play them in a physical game environment  ... 
doi:10.1007/978-3-319-03680-9_29 fatcat:hncsbzqnmfazvgnaptvlzkiy64
« Previous Showing results 1 — 15 out of 149,640 results