374 Hits in 4.5 sec

Constructing Customized Interpreters from Reusable Evaluators Using Game [chapter]

Stijn Timbermont, Coen De Roover, Theo D'Hondt
2012 Lecture Notes in Computer Science  
In this paper, we present the Game environment for composing customized interpreters from a reusable evaluator and different variants of its supporting runtime.  ...  To this end, Game offers a language for specifying the evaluator according to the generic programming methodology.  ...  Using Game, a reusable evaluator is converted into a generic abstract machine, which is subsequently instantiated with a runtime, giving rise to a customized interpreter.  ... 
doi:10.1007/978-3-642-30564-1_7 fatcat:yngeh6oinve6xkkpqt4a7w2dsy

ArchGenTool: A system-independent collaborative tool for robotic architecture design

E. Ruffaldi, I. Kostavelis, D. Giakoumis, D. Tzovaras
2016 2016 21st International Conference on Methods and Models in Automation and Robotics (MMAR)  
The tool facilitates reusability and expandability of the architecture to any robotic system, as it can be adapted to different specifications. A case study with the RAMCIP service robot is presented.  ...  ArchGentTool is a collaborative architecture generation tool which supports the design of the robotic architecture in a multi-level fashion.  ...  ACKNOWLEDGMENTS This work has been supported by the EU Horizon 2020 funded project "Robotic Assistant for MCI Patients at home (RAMCIP)" under the grant agreement with no. 643433.  ... 
doi:10.1109/mmar.2016.7575079 dblp:conf/mmar/RuffaldiKGT16 fatcat:bmcmsv4ph5fxpaicetwxpzvgsm

Formally-based Model-Driven Development of Collaborative Robotic Applications

Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
2021 Journal of Intelligent and Robotic Systems  
The toolchain has been evaluated on a few realistic case studies. In this paper, we show a couple of them to illustrate the applicability of the approach.  ...  , and (iii) trans-coding tools for automating the development process.  ...  Modularity, composability and reusability in component-based engineering are key enablers for replacing and reloading the tasks of a robot system in human-centered manufacturing [33] .  ... 
doi:10.1007/s10846-021-01386-2 fatcat:oh6p33owhncffnvomtkancen7q

Don't Repeat Yourself: Seamless Execution and Analysis of Extensive Network Experiments [article]

Alexander Frömmgen and Denny Stohr and Boris Koldehofe and Amr Rizk
2018 arXiv   pre-print
Driven by the desire to avoid repetitive implementation of just a few scripts for the execution and analysis of experiments, MACI emerged as a generic framework for network experiments that significantly  ...  This paper presents MACI, the first bespoke framework for the management, the scalable execution, and the interactive analysis of a large number of network experiments.  ...  This work was supported by the AWS Cloud Credits for Research program.  ... 
arXiv:1802.03455v1 fatcat:3unrnhcnlbdzbkzy2xaobsqq4e

A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI

David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
2020 Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development  
For the industrial simulation of complex systems and CPS, it is better to rely on standard technologies, as they address various needs like scalability, modularity or reusability.  ...  Following this approach, we developed a toolchain to automate the actions needed to run a cosimulation starting from a global model.  ... 
doi:10.5220/0008875400150025 dblp:conf/modelsward/OudartCBC20 fatcat:bd72ilmbbrdq7cglzteiik4e6q

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Peter Gorm Larsen, John Fitzgerald
2016 Journal of Logical and Algebraic Methods in Programming  
toolchains from the ongoing INTO-CPS project.  ...  We chart the move from a single-formalism tool focussed on executable VDM specifications to a platform for multi-tool analysis of a wider range of models, and look forward to the growth of integrated multidisciplinary  ...  We are grateful to José Nuno Oliveira for the inspiration and wisdom he has provided over decades, and in particular for the open and welcoming research group that he has created at Minho.  ... 
doi:10.1016/j.jlamp.2015.10.001 fatcat:epvsksks2vd7ja5hka2owuh5uq

Model-Driven Approach for Realization of Data Collection Architectures for Cyber-Physical Systems of Systems to Lower Manual Implementation Efforts

Emanuel Trunzer, Birgit Vogel-Heuser, Jan-Kristof Chen, Moritz Kohnle
2021 Sensors  
In a lab-scale evaluation and a unique generalized extrapolation study, the significant effort savings compared to manual programming could be quantified.  ...  Data collection from distributed automated production systems is one of the main prerequisites to leverage information gain from data analysis in the context of Industrie 4.0, e.g., for the optimization  ...  [14] point out, there is a lack of adequate metrics and quantitative evaluations in the domain of MDD for I4.0.  ... 
doi:10.3390/s21030745 pmid:33499280 pmcid:PMC7865791 fatcat:7v5wg74mmbhhvbmk4wus3uylgm

A Methodology for Automating Assurance Case Generation [article]

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai
2020 arXiv   pre-print
in an automated manner.  ...  To improve the current state of practice, we introduce a structured ACG tool which uses system design artifacts, accumulated evidence, and developer expertise to construct a safety case and evaluate it  ...  store. • Linked atomic evidence nodes (Section IV-D1) to minimize redundancy and promote reusablability for other safety cases. • Safety case evaluation (Section VI) to determine credibility of the generated  ... 
arXiv:2003.05388v1 fatcat:hdrbapttfnghnir23fhp63uaxy

Model-driven analysis and design for software development of autonomous underwater vehicles

Francisco J. Ortiz, Carlos C. Insaurralde, Diego Alonso, Francisco Sánchez, Yvan R. Petillot
2014 Robotica (Cambridge. Print)  
The software development stages are carried out by using a model-driven toolchain that provides support to design and build component-based software for robotics applications.  ...  SUMMARYSoftware engineering plays a key role in state-of-the-art robotics where more effective and efficient software development solutions are needed for implementation and integration of advanced robotics  ...  A component-oriented control software application for an AUV has been developed by means of an automated software engineering toolchain (C-Forge) which combines the CBSD and MDSD paradigms.  ... 
doi:10.1017/s0263574714001027 fatcat:yx62qpafnfgcngv5ytwzcnzsbi

Controlling a complete hardware synthesis toolchain with LARA aspects

João M.P. Cardoso, Tiago Carvalho, José G.F. Coutinho, Ricardo Nobre, Razvan Nane, Pedro C. Diniz, Zlatko Petrov, Wayne Luk, Koen Bertels
2013 Microprocessors and microsystems  
for tuning the performance of application kernels.  ...  Our approach takes advantage of an integrated framework which provides a transparent and unified view over toolchains, their data output and the control of their execution.  ...  We are grateful to the members of the REFLECT project for their support.  ... 
doi:10.1016/j.micpro.2013.06.001 fatcat:kscrp72cavheroemo7naucjeem

ReSpecTX: Programming interaction made easy

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
2018 Computer Science and Information Systems  
Since the limited adoption of coordination languages within the industrial realm is also due to the lack of suitable toolchains and libraries of reusable mechanisms, ReSpecTX equips a core coordination  ...  In this paper we present the ReSpecTX language, toolchain, and standard library as a first step of a path aimed at closing the gap between coordination languages -mostly a prerogative of the academic realm  ...  As an example, let us suppose ACME Inc. is leveraging TuCSoN/ReSpecT for its workflow automation framework.  ... 
doi:10.2298/csis180111031c fatcat:wigbtu2xanfkbax3cqx33eatre

Robotic Software Systems: From Code-Driven to Model-Driven Software Development [chapter]

Christian Schlegel, Andreas Steck, Alex Lotz
2012 Robotic Systems - Applications, Control and Programming  
By quality of service we mean the set of system level non-functional properties that a robotic system should exhibit to appropriately operate in an open-ended environment, such as robustness to exceptional  ...  situations, performance despite of limited resources and aliveness for long periods of time.  ...  Indeed, concern can be thought of as a unit of modularity (Blogspot, 2008) .  ... 
doi:10.5772/25896 fatcat:7fwavvcrg5hcva7tp7n7ifshru

XPDL: Extensible Platform Description Language to Support Energy Modeling and Optimization

Christoph Kessler, Lu Li, Aras Atalar, Alin Dobre
2015 2015 44th International Conference on Parallel Processing Workshops  
We present XPDL, a modular, extensible platform description language for heterogeneous multicore systems and clusters.  ...  We also provide first components of a retargetable toolchain that browses and processes XPDL specifications, and generates driver code for microbenchmarking to bootstrap empirical performance and energy  ...  Hagen, Anders Gidenstam from Chalmers and all EXCESS project members for comments on this work. We also thank Ming-Jie Yang for improvements of the current XPDL toolchain prototype.  ... 
doi:10.1109/icppw.2015.17 dblp:conf/icppw/KesslerLAD15 fatcat:fwsgh27upffefcacap2oaqgopi

Dyn Tail - Dynamically Tailored Deployment Engines for Cloud Applications

Johannes Wettinger, Uwe Breitenbucher, Frank Leymann
2015 2015 IEEE 8th International Conference on Cloud Computing  
Reusable artifacts such as scripts, modules, and templates are publicly available to be used for deployment automation.  ...  It is based on a toolchain, which covers design time, build time, and runtime. Especially portability and extensibility were considered when implementing and establishing the toolchain.  ... 
doi:10.1109/cloud.2015.63 dblp:conf/IEEEcloud/WettingerBL15 fatcat:km4uhkv7cvdg7fkc4anfbqt57u

Lessons Learned from Building a Graph Transformation System [chapter]

Gabor Karsai
2010 Lecture Notes in Computer Science  
Graph transformations are fundamental to this environment and tools for constructing model translators, for the specification of the semantics of languages, for the evolution of modeling languages, models  ...  During the past decade we have developed, evolved, and applied in practical projects a manifestation of this principle through a suite of tools we call the Model-Integrated Computing suite.  ...  The work described in this paper has involved a number of researchers, engineers and students at the institution of the author, including but not limited to: Janos Sztipanovits, who started it all, Aditya  ... 
doi:10.1007/978-3-642-17322-6_10 fatcat:6d4vxhx5zjbdro4wuisagn7k4y
« Previous Showing results 1 — 15 out of 374 results