Filters








69 Hits in 8.8 sec

Executable formal specifications of complex distributed systems with CoreASM

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2014 Science of Computer Programming  
In this paper we discuss how CoreASM, an environment for writing and running executable specifications according to the ASM method, provides flexibility and manages complexity by using an innovative extensible  ...  tools supporting executable formal specifications is even more evident.  ...  We also thank the editors for the excellent collaboration and their support.  ... 
doi:10.1016/j.scico.2012.02.001 fatcat:ox62qyqnwbbgbnoozb4ivrkyre

Ten Reasons to Metamodel ASMs [chapter]

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009 Lecture Notes in Computer Science  
We discuss the mutual advantages that the integration of MDE and Abstract State Machines (ASMs) would provide: MDE can gain rigour and preciseness, while ASMs get a standard abstract notation and a general  ...  framework for a wide tool interoperability.  ...  Then, we proceeded to model Basic ASMs, Turbo ASMs, and Multi-Agent (Sync/Async) ASMs, so reecting the natural classication of abstract state machines.  ... 
doi:10.1007/978-3-642-11447-2_3 fatcat:34oazj2i7jh5parxpbh7rwujwe

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Egon Börger
2007 Formal Aspects of Computing  
We outline the Abstract State Machines (ASM) method, a discipline for reliable system development which allows one to bridge the gap between informal requirements and executable code by combining application-centric  ...  We explain why for the verified software challenge proposed in [66, 67] to gain practical impact, one needs to include rigorous definitions and analysis, prior to code development and comprising both experimental  ...  Acknowledgement We thank Peter Sestoft for having directed our attention to Naur's paper [78] and Natarajan Shankar for making us aware that the need for the concept of "ground model" has recently been  ... 
doi:10.1007/s00165-006-0019-y fatcat:2uu56yo52ffkhblbcaoqojdtoe

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  section 2.4.10) References • (2018a), Asmeta Website, http://asmeta.sourceforge.net/ AsmL (Abstract State Machine Language) AsmL is a language implementation of the Abstract State Machine (ASM) formalism  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

QUAD – A Memory Access Pattern Analyser [chapter]

S. Arash Ostadzadeh, Roel J. Meeuws, Carlo Galuzzi, Koen Bertels
2010 Lecture Notes in Computer Science  
The tool, first in its kind, is described in detail and the benefit and the qualities of the presented tool are described on a real case study, the x264 benchmarking application.  ...  In this paper, we present the Quantitative Usage Analysis of Data (QUAD) tool, a sophisticated memory access tracing tool that provides a comprehensive quantitative analysis of memory access patterns of  ...  It aims to be a comprehensive platform supporting development at all levels starting from profiling and partitioning to synthesis and compilation.  ... 
doi:10.1007/978-3-642-12133-3_25 fatcat:4mdvoohfm5bnxfbah73fbafnpi

Spectra: a specification language for reactive systems

Shahar Maoz, Jan Oliver Ringert
2021 Journal of Software and Systems Modeling  
We present the language in detail and give an overview of its tool set.  ...  Spectra comes with the Spectra Tools, a set of analyses, including a synthesizer to obtain a correct-by-construction implementation, several means for executing the resulting controller, and additional  ...  We thank Elizabeth Firman, Aviv Kuvent, Or Pistiner, Rafi Shalom, Ilia Shevrin, Keren Solodkin, and Yoni Wolbe for their contribution to the implementation of Spectra Tools.  ... 
doi:10.1007/s10270-021-00868-z fatcat:okjmdffdxbdxdladfiaqztjqu4

Low-Code as Enabler of Digital Transformation in Manufacturing Industry

Sanchis, García-Perales, Fraile, Poler
2019 Applied Sciences  
and interoperate in the interconnected environment, promoting resilient digital transformation.  ...  In light of this, low-code development platforms provide the technology mechanisms to facilitate and automate the development of software applications to support current enterprise needs and promote digital  ...  Acknowledgments: The authors would like to acknowledge the support of the researchers participating in the collaborative projects "Virtual Factory Open Operating System" (vf-OS) (www.vf-os.eu) and "Zero  ... 
doi:10.3390/app10010012 fatcat:pko3unajqzcszng2he5i7p262e

DropsBox: the Dresden Open Software Toolbox

Uwe Aßmann, Andreas Bartho, Christoff Bürger, Sebastian Cech, Birgit Demuth, Florian Heidenreich, Jendrik Johannes, Sven Karol, Jan Polowinski, Jan Reimann, Julia Schroeter, Mirko Seifert (+3 others)
2012 Journal of Software and Systems Modeling  
Furthermore, we discuss our experiences in developing and integrating tools for DropsBox in an academic environment.  ...  Supports language implementation by the generation of parsers, printers, a sophisticated editor, and additional language tooling.  ...  Also, we would like to thank all our students, the research community, and our industrial project partners for their valuable feedback on all the tools we have built over the last years.  ... 
doi:10.1007/s10270-012-0284-6 fatcat:iuvisp4nwnghpekd26qifioyia

Hardware-software codesign of embedded systems

M. Chiodo, P. Giusto, A. Jurecska, H.C. Hsieh, A. Sangiovanni-Vincentelli, L. Lavagno
1994 IEEE Micro  
We describe analysis techniques for hardware and software relevant to the architectural choices required for hardware-software co-design.  ...  We describe the relationship between hardware and sofhvare architecture in the early stages of embedded system design.  ...  The behavior of an object can be described as an ASM-like state transition graph.  ... 
doi:10.1109/40.296155 fatcat:ry7g2gcfkvdo3fnmi73knppf5a

Hardware-software co-design of embedded systems

W.H. Wolf
1994 Proceedings of the IEEE  
We describe analysis techniques for hardware and software relevant to the architectural choices required for hardware-software co-design.  ...  We describe the relationship between hardware and sofhvare architecture in the early stages of embedded system design.  ...  The behavior of an object can be described as an ASM-like state transition graph.  ... 
doi:10.1109/5.293155 fatcat:jytgx6etfnhbpfz5zqxbv6oiua

Modeling and Testing Legacy Data Consistency Requirements [chapter]

Jan Pettersen Nytun, Christian S. Jensen
2003 Lecture Notes in Computer Science  
Acknowledgements I would like to express my gratitude to the University of Agder for funding my PhD study and the University of Oslo for accepting me as a PhD student.  ...  Thanks goes to my colleagues at the University of Agder, for all the support given through the years. A special thanks goes to co-authors Terje  ...  The tool consists of two parts: the Method Workbench and the CASE tool.  ... 
doi:10.1007/978-3-540-45221-8_29 fatcat:4kbxt72bmfc2xmndywxopmarjq

Model Checking Abstract State Machines [article]

Kirsten Winter, Technische Universität Berlin, Technische Universität Berlin, Stefan Jaehnichen
2001
State Machines (ASM) constitute a high-level specification language for a wide range of applications. The existing tool support for ASM includes editors, type-checkers, and simulators.  ...  We use the ASM Workbench as a core tool framework for ASM and provide a general interface into an intermediate language.  ...  architecture of the tool environment 1 .  ... 
doi:10.14279/depositonce-423 fatcat:vuh354gjobauncd2x6gvf3x5g4

Present State of CFD Softwares Application for Launch Vehicle Analysis
발사체 해석을 위한 CFD 소프트웨어 적용 현황

Hwanghui Jeong, Jae Yeol Kim, Jae-Ryul Shin
2020 Journal of the Korean Society of Propulsion Engineers  
Please visit the following URL for additional information: http://opensource .gsfc .nasa .gov/projects/xml2he/index .  ...  This software program takes an XML representation of the contents of a Hierarchical Data Format-Earth Observing System (HDF-EOS) file and recreates the file from that description .  ...  The Advanced Life Support Sizing Analysis Tool (ALSSAT) is a computer model for sizing and analyzing designs of environmental-control and life support systems (ECLSS) for spacecraft and surface habitats  ... 
doi:10.6108/kspe.2020.24.3.071 fatcat:trxkhiuqrjakll32bcjxskgwju

Editorial: Early aspects: aspect-oriented requirements engineering and architecture design

Awais Rashid, Ana Moreira, Bedir Tekinerdogan
2004 IEE Proceedings - Software  
The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed  ...  This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004.  ...  Lee for her work with early versions of Theme/Doc as applied to the Crystal Game.  ... 
doi:10.1049/ip-sen:20041027 fatcat:zqxbrgz225c2djhxm72y7s754i

A Comparison of Six UML-Based Languages for Software Process Modeling

Reda Bendraou, Jean-Marc Jezequel, Marie-Pierre Gervais, Xavier Blanc
2010 IEEE Transactions on Software Engineering  
Finally, we discuss the impact of these approaches on the current state of the practice, and conclude with lessons we have learned in doing this comparison.  ...  Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations.  ...  Most of them use the ASM formalism (Abstract State Machine), which seems to be the more appropriate for achieving correctness and completeness of the dynamic behaviours of the language [75] [76] .  ... 
doi:10.1109/tse.2009.85 fatcat:eeihtiu24bb4pf6qifsrucylxm
« Previous Showing results 1 — 15 out of 69 results