81,158 Hits in 6.4 sec

Modular State Level Analysis of Distributed Systems Techniques and Tool Support [chapter]

Peter Buchholz, Peter Kemper
1999 Lecture Notes in Computer Science  
Techniques from different areas are combined to analyze parallel and distributed software within a common framework.  ...  They include bisimulation equivalences known from process algebras, Kronecker representations of labelled (stochastic) transitions systems known from performance analysis using Markov chains, and ordered  ...  Tool support Many software tools for analysis of finite state systems exist.  ... 
doi:10.1007/3-540-49059-0_29 fatcat:ngz7qehqknhstnd4vorobjk3qe

Developing a low-cost high-quality software tool for dynamic fault-tree analysis

J.B. Dugan, K.J. Sullivan, D. Coppit
2000 IEEE Transactions on Reliability  
In the reliability engineering domain, Galileo supports precise, modular, dynamic fault tree analysis using techniques developed primarily by Dugan and her colleagues. This ap-  ...  Tools on the order of a million lines of code are typical, with much of the code devoted to tool interoperability, the human-computer interface and other issues not directly related to modeling and analysis  ...  Thus, a system-level dependability analysis tool must support the integration of several different analysis techniques.  ... 
doi:10.1109/24.855536 fatcat:b6he25474jakpbg67ik27q5oh4

Manufacturing of modular buildings: a literature review

Yi Yang, Wei Pan, Mi Pan
2017 Modular and Offsite Construction (MOC) Summit Proceedings  
of holistic and practical approaches to supporting DfMA methodology, (4) well-defined information management systems through BIM.  ...  The findings should contribute to a more comprehensive understanding of the practices, challenges and the state-of-the-art research in the manufacturing of modular buildings.  ...  benefits of offsite construction.  There have been some simulation-based tools proposed directing at supporting Lean management and improving the manufacturing systems in the modular building industry  ... 
doi:10.29173/mocs52 fatcat:6udo6sv6fnbvdg6y7yhigcmscy

An Intermediate Data-driven Methodology for Scientific Workflow Management System to Support Reusability [article]

Debasish Chakroborti
2020 arXiv   pre-print
Later we propose an adaptive version of our technique by considering the states of tools in a SWfMS, which shows around 40% reusability for workflows.  ...  Detail architecture and evaluation of the technique are presented in this thesis. We believe our findings and developed system will contribute significantly to the research domain of SWfMSs.  ...  from distributed systems, we cannot fully use the proficiency of modularity.  ... 
arXiv:2010.14057v1 fatcat:fo5jaqdzavdmzbacxpd5wtj6yy

Evaluation of modeling techniques for agent-based systems

Onn Shehory, Arnon Sturm
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
In particular, we discuss suitability of agent modeling techniques to agent-based systems development.  ...  As we show, these aspects include distribution, concurrency, testing and communication richness.  ...  Hence, there is no need for defining the system structure. 4. Modularity: DESIRE supports modularity within the component model.  ... 
doi:10.1145/375735.376473 dblp:conf/agents/ShehoryS01 fatcat:erwvkdfk3vginns5mvfjlz4i4a

Software Architecture of Modern Model Checkers [chapter]

Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg
2019 Lecture Notes in Computer Science  
This widens the applicability of new verification algorithms, avoids duplicate implementation of the analysis techniques, improves quality of the tools, and eases use of verification for a newly introduced  ...  An important design goal of modern model checkers is to support many input languages (front-end) and many verification strategies (back-end), and to allow arbitrary combinations of them.  ...  On the ProB side we are grateful to many researchers and developers who have contributed to the tool or its underlying techniques, notably Michael Butler, Joy Clark, Ivaylo Dobrikov, Marc Fontaine, Fabian  ... 
doi:10.1007/978-3-319-91908-9_20 fatcat:seh3tr6qdrf2lovprttf5msm2m

Sustainability evaluation of software architectures

Heiko Koziolek
2011 Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11  
Scenario-based software architecture evaluation methods can support sustainability analysis, but they are still reluctantly used in practice.  ...  They are also not integrated with architecture-level metrics when evaluating implemented systems, which limits their capabilities.  ...  Thus, a sustainability evaluation method should provide techniques to allow the analysis of trade-offs between sustainability and other quality attributes. • Support for legacy systems: While many scenariobased  ... 
doi:10.1145/2000259.2000263 dblp:conf/qosa/Koziolek11 fatcat:dedzvz2dhnbhvflkgolh4iycs4

Summarize of Technological Development about Integrated Simulation of Gas Turbine Equipment

Shu Ying Li, Tie Lei Li, Zhi Tao Wang
2013 Applied Mechanics and Materials  
This paper summarizes integrated simulation technology development status of gas turbine equipment at home and abroad, makes comparative analysis of the deficiencies in the existing domestic research,  ...  forecasts the direction of development in the field of integrated simulation about gas turbine equipment at our country finally.  ...  Their detailed and knowledgeable suggestions for improvements greatly improved the quality of the paper.  ... 
doi:10.4028/ fatcat:zysl2uvp2rek3hilbnh5mwol4a

McScM: A General Framework for the Verification of Communicating Machines [chapter]

Alexander Heußner, Tristan Le Gall, Grégoire Sutre
2012 Lecture Notes in Computer Science  
McScM provides tools for the safety verification and controller synthesis of these infinite-state models.  ...  implement new ideas on a high level of abstraction.  ...  The tool verify allows the user to input this instance and to choose among a variety of verification techniques.  ... 
doi:10.1007/978-3-642-28756-5_34 fatcat:n5mqloosaffj5dqnzse6htx7um

Reconfigurable of Machine Chain for Support of Innovation

Štefan Valenčík
2016 Acta Mechanica Slovaca  
The paper presents the base of knowledge from the field of architecture and development of reconfigurable machine system of producing and operating technique, including their formation to specific machine  ...  and, objective), but also concentration functions and running intro-general configuration machine system.  ...  requirements for operational and technological level of modularity.  ... 
doi:10.21496/ams.2016.020 fatcat:23ufoauz4bdzvghxawjmigra5i

Maria: Modular Reachability Analyser for Algebraic System Nets [chapter]

Marko Mäkelä
2002 Lecture Notes in Computer Science  
Maria performs simulation, exhaustive reachability analysis and on-the-fly LTL model checking of high-level Petri nets with fairness constraints.  ...  The algebra contains powerful built-in data types and operations. Models can be exported to low-level Petri nets and labelled transition systems.  ...  The design of Maria has been influenced by feedback from Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi and others.  ... 
doi:10.1007/3-540-48068-4_25 fatcat:rrxv2wnelvgp5go6g574dcrmui

PARADISE: Design Environment for Para llel & Dis tributed, E mbedded Real-Time Systems [chapter]

W. Hardt, P. Altenbernd, C. Böke, G. Castillo, C. Ditze, E. Erpenbach, U. Glässer, B. Kleinjohann, G. Lehrenfeld, F. J. Rammig, C. Rust, F. Stappert (+2 others)
1999 Distributed and Parallel Embedded Systems  
Our activities are based on wide. theoretically well-founded concepts and tool support is built upon these theoretically foundations. F. J. Rammig (ed.), Distributed and Parallel Embedded Systems  ...  Today's embedded systems (ES) are characterized by more and more parallelism. distribution over different locations and hard real-time (RT) requirements.  ...  of high-level system specifications and thereby facilitates machine-supported analysis and validation (e.g. through simulation) of the resulting models.  ... 
doi:10.1007/978-0-387-35570-2_16 fatcat:m3zhjw2uz5bt7iw6w6vt7xqhay

Mimca: A Modelling And Simulation Approach In Support Of The Design And Construction Of Manufacturing Control Systems Using Modular Petri Net

S. Ariffin, K. Hasnan, R.H. Weston
2008 Zenodo  
The unification has been achieved; to support the design and construction of hierarchical and distributed machine control which realized the concurrent operation of reusable and distributed machine control  ...  A new generation of manufacturing machines so-called MIMCA (modular and integrated machine control architecture) capable of handling much increased complexity in manufacturing control-systems is presented  ...  Further, a control software tool can be developed to support PN based specification techniques.  ... 
doi:10.5281/zenodo.1054993 fatcat:pgvdv6yisvdolpvs6lpa54iele

Integration of BIM and Computer Simulations in Modular Construction, A Case Study

Chengke Wu, Rui Jiang, Xiao Li
2016 Modular and Offsite Construction (MOC) Summit Proceedings  
To address the problem, recent years, new construction methods and information techniques such as modular construction and Building Information Modelling (BIM) are developed and implemented.  ...  To bridge the research gap, this paper first briefly introduces strengths and current applications of the 3 techniques; then a framework integrating them together containing simulation module, BIM database  ...  Acknowledgement We gratefully acknowledge the financial support from Chongqing Graduate Student Research Innovation Project (CYS14036)  ... 
doi:10.29173/mocs8 fatcat:zdv3fekl3vhabeqtf5kbnsjpxi

Information Systems

1983 IEEE Computer Graphics and Applications  
Three levels of graphics software support are available: a high-level color business graphics package, system-level graphics primitives, and application-level graphics subroutines.  ...  DISTRIBUTED PROCESSING PERFORMANCE ANALYST Conduct system modeling, analysis, and simulation for performance evaluation and resource allocation for distributed spaceborne systems.  ... 
doi:10.1109/mcg.1983.263129 fatcat:rxrphm7qyvgwzntk7sazonqbfa
« Previous Showing results 1 — 15 out of 81,158 results