153,634 Hits in 8.9 sec

Design of onboard Local Area Networks

Sergey Pakharev, Alexey Syschikov, Suvorova Elena
2014 Proceedings of 16th Conference of Open Innovations Association FRUCT  
The presented research is intended for creation of method and tool for automated design of onboard local area networks. This will be used to assist engineers and designers of onboard complexes.  ...  Manual design of onboard networks becomes extremely hard and it's impossible to produce optimal or even efficient network structures.  ...  We present the automated tool for design and evaluation of onboard network based on SpaceWire standard.  ... 
doi:10.1109/fruct.2014.7000921 dblp:conf/fruct/PakharevSS14 fatcat:ea6pvrkz3jebnabltfycsu2x7u

Page 78 of Automation and Remote Control Vol. 54, Issue 6 [page]

1993 Automation and Remote Control  
AUTOMATION OF MODULAR MIS DESIGN The efficiency of the reviewed formalized models and methods of analysis and synthesis of modular data processing systems is highly dependent on the extent to which their  ...  In the context of the general methodology of modeling a modular MIS, the task of synthesizing an optimal logical DB structure has been formulated and solved.  ... 

IEC 61499 ontology model for semantic analysis and code generation

Wenbin Dai, V. Dubinin, V. Vyatkin
2011 2011 9th IEEE International Conference on Industrial Informatics  
This design process is including design recovery, configuration, semantic analysis and code generation using ontology models as the knowledge base.  ...  This paper proposes a foundation to a novel approach for design the system based on IEC 61499 function blocks.  ...  This research work will continue with completing the IEC 61499 semantic analyser based on DL and SWRL. The semantic analysis shall automatic detect any semantic errors.  ... 
doi:10.1109/indin.2011.6034946 fatcat:iumwhsd4kvcx7hv57hpbx744by

Concept For A Multidisciplinary Design Process–An Application On High Lift Systems

P. Zamov, H. Spangenberg
2013 Zenodo  
, installation and structure design.  ...  The performed work is based on analysis of multidisciplinary interaction, of modeling and simulation techniques.  ...  In the context of process automation, a brief description of tool interfaces is provided, focusing on effective and seamless data flow between kinematics, cybernetics, installation and structure design  ... 
doi:10.5281/zenodo.1061824 fatcat:4e6t3bzqtvddnbj57wv7vvv4gi

An automated method for test model generation from switch level circuits

Tim McDougall, Atanas Parashkevov, Simon Jolly, Juhong Zhu, Jing Zeng, Carol Pyron, Magdy Abadir
2003 Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC  
The proposed flow utilizes Motorola's Switch Level Verification (SLV) tool, which employs detailed switch level analysis to model the behavior of MOS transistors and represent them at a higher level of  ...  This paper presents an automated flow for creating gate level test models from circuits at the switch level.  ...  Thanks also to Carl Pixley, Michael Burns, and Kurt Shultz from the Design Verification Group of Motorola in Austin, for their cooperation and support, and the development of the Vgate tool.  ... 
doi:10.1145/1119772.1119943 dblp:conf/aspdac/McDougallPJZZPA03 fatcat:7kkax2ycnffrpcsquv4tl7prtq

Design of the rubrics evaluation lists and the education contents for improve the computational thinking by using physical computing tool

Junhyeong Lee, Hyeongok Lee
2019 International Journal of Advanced Computer Research  
Based on the rubrics of Kim JK, designed by analyzing the CT framework, we devised a CT rubrics evaluation list used the physical computing tools.  ...  The purpose of this study is to design education program and computational thinking (CT) rubrics evaluation lists using physical computing tools to improve effective CT skills.  ...  - 2 Connecting computer Ability to collect real-life data elements for application to physical computing tools 3 Data analysis Whether the correct logic conditions, arithmetic, comparison  ... 
doi:10.19101/ijacr.com16001 fatcat:kwsxunuj75b2pesjottja75rbu

Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis

Felix Winterstein, Samuel Bayliss, George A. Constantinides
2014 2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines  
dynamic data structures, due to the lack of an automated analysis of pointer-based memory accesses.  ...  The analysis leverages recent advances in separation logic, a theoretical framework for reasoning about heap-allocated data which has been successfully applied in recent software verification tools.  ...  We build our automated analysis on coreStar [13] , an open source tool for separation logic-based symbolic execution and theorem proving.  ... 
doi:10.1109/fccm.2014.11 dblp:conf/fccm/WintersteinBC14 fatcat:nvaonfnp6vhnlhoi4phn7lfqzm

Logic Synthesis [chapter]

2017 Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology  
For example, a static timing analysis tool will typically include delay and test edge data structures.  ...  advances in data structures and algorithms, allowing design tools to handle large real problems.  ... 
doi:10.1201/9781315215112-13 fatcat:me52zpnxyfcczh3choo2p4zulm

Utilising Building Component Data from BIM for Formwork Planning

Manav Mahan Singh, Anil Sawhney, Vaishnavi Sharma
2017 Construction Economics and Building  
Building Information Modelling (BIM) authoring tools have played a significant role in automating design tasks and reducing the efforts required by the designer in redundant, repetitive or production-oriented  ...  The research work utilises a structural concrete wall as an example to demonstrate the presented approach.  ...  Hence, design activities, particularly those that depend on iterative analysis, can be automated if there is well-defined logic that can be captured using mathematical formulas and logical conditions.  ... 
doi:10.5130/ajceb.v17i4.5546 fatcat:ctwdt3ib4bduxj3ayyxcxitf5e

Engineering Methods and Tools for Cyber–Physical Automation Systems

Robert Harrison, Daniel Vera, Bilal Ahmad
2016 Proceedings of the IEEE  
via an industrial case study how such a component-based engineering toolset can support an integrated approach to the virtual and physical engineering of automation systems through their lifecycle via  ...  It reviews engineering approaches that have been proposed or adopted to date including Industry 4.0 and provides examples of engineering methods and tools that are currently available.  ...  The vueOne component data model is used during design as a common and structured repository of design data.  ... 
doi:10.1109/jproc.2015.2510665 fatcat:beqm52aisrbp5ntxmohb5hk5ua

Ontology based semantic-predictive model for reconfigurable automation systems

Jiayi Zhang, Bilal Ahmad, Daniel Vera, Robert Harrison
2016 2016 IEEE 14th International Conference on Industrial Informatics (INDIN)  
However, most of the software tools developed to support design of reconfigurable manufacturing system lack integration of product, process and resource knowledge, and the design data is not transferred  ...  (PPRR) data, so that future automation system changes can be identified at early design stages.  ...  Several automation systems have been built with semantic data analysis tools [15] .  ... 
doi:10.1109/indin.2016.7819328 dblp:conf/indin/ZhangAVH16 fatcat:yg6x6ajj45cf3homqzascwku2m

Automated Design of Cryptographic Devices Resistant to Multiple Side-Channel Attacks [chapter]

Konrad Kulikowski, Alexander Smirnov, Alexander Taubin
2006 Lecture Notes in Computer Science  
An implementation of the Advanced Encryption Standard based on these balanced cells and synthesized using our tool flow shows a 6.6 times throughput improvement over the synchronous automatically pipelined  ...  Despite their benefits for security applications they have not been adapted to current mainstream designs due to the lack of electronic design automation support and their nonstandard or proprietary design  ...  Acknowledgements This work was partially funded by Omnibase Logic Inc.  ... 
doi:10.1007/11894063_31 fatcat:v7mshto3evbfrc55vgumhsqvvu

An Ontology based Hybrid Approach to Derive Multidimensional Schema for Data Warehouse

M. Thenmozhi, K. Vivekanandan
2012 International Journal of Computer Applications  
But as today the data warehouse system needs to deal with semi-structured and unstructured sources, the design task becomes much tedious.  ...  It also provides a way for automating the design of multidimensional schema and populating the data warehouse in a more meaningful way.  ...  in an efficient and flexible fashion using OLAP or data mining tools [1] .  ... 
doi:10.5120/8590-2343 fatcat:f4ffj3rtuzgl7g7gbzz5w4fljm

Towards automating software maintenance [chapter]

Stanislaw Jarzabek, Kelly Tham
1991 Lecture Notes in Computer Science  
This paper describes an ongoing project on automating program maintenance.  ...  First, we review techniques and tools used during the various phases of program maintenance.  ...  ACKNOWLEDGEMENTS The authors are grateful to the management of CSA Research for providing support and creating an encouraging atmosphere for this research progranmm.  ... 
doi:10.1007/3-540-54059-8_93 fatcat:bkppzxyjgngzjjwrafjgctisha

Static Analysis of VHDL Source Code: the SAVE Project [chapter]

Mirella Mastretti, Maria Laura Busi, Roberto Sarvello, Maurizio Sturlesi, Sergio Tomasello
1996 Achieving Quality in Software  
While the typical VHDL-based design environment provides tools for code simulation and logic synthesis, no support is given in order to cope with the increasing complexity of VHDL descriptions and the  ...  Automated source code analysis is a valuable approach to develop, measure and compare models in order to assure the satisfaction of quality requirements of VHDL descriptions before adding them to model  ...  While the typical VHDL-based design environment provides tools for code simulation and logic synthesis, no support is given in order to cope with the increasing complexity of VHDL descriptions and the  ... 
doi:10.1007/978-0-387-34869-8_11 fatcat:t4b3tove7nendphzh6w4mjybje
« Previous Showing results 1 — 15 out of 153,634 results