Journal articles: 'Automated software design'

1

Karimi, J., and B. R. Konsynsky. "An automated software design assistant." IEEE Transactions on Software Engineering 14, no. 2 (1988): 194–210. http://dx.doi.org/10.1109/32.4638.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Chua, Fang-Fang, Tek-Yong Lim, Bushra Tajuddin, and Amarilis Putri Yanuarifiani. "Incorporating Semi-Automated Approach for Effective Software Requirements Prioritization: A Framework Design." Journal of Informatics and Web Engineering 1, no. 1 (March 16, 2022): 1–15. http://dx.doi.org/10.33093/jiwe.2022.1.1.1.

Full text

Abstract:

Software Requirements Prioritization (SRP) is one of the crucial processes in software requirements engineering. It presents a challenging task to decide among the pool of requirements and the variance of the stakeholder’s needs in prioritizing requirements. Semi-automated requirements prioritization is implemented in both manual and automatic processes. When prioritizing requirements, these aspects such as importance, time, cost and risk, should be taken into account. The emergence of machine learning is advancing to improve and automate the SRP process whereby decision making can be performed with minimal human intervention. Incorporating machine learning approaches in prioritization techniques can be implemented in the ranking process and classifying the priority group of the software requirements. A Semi-Automated Requirements Prioritization framework (SARiP), which implements semi-automatic process in requirements prioritization is proposed. SARiP concentrates on the areas related to prediction of requirements priority group and ranks requirements using classification tree and ranking algorithm. SARiP has been successfully evaluated in the government sector domain by the i-Tegur team from the Department of Information Technology, Ministry of Housing and Local Government of Malaysia (KPKT). 80% of the participants agreed that SARiP is extremely likely to help the participants in prioritizing the requirements for their projects. All participants agreed that SARiP is reliable and useful. Recording the requirements and results for the prioritization will be considered for future work and traceability function will be included to trace the requirements changes.

APA, Harvard, Vancouver, ISO, and other styles

3

Cheng, Yu, Hong Wei Zhao, Song Wang, Wei Lv, and Tao Sun. "A Software Design of Data Acquisition System Based on Optimal Control AMT." Advanced Materials Research 765-767 (September 2013): 1969–73. http://dx.doi.org/10.4028/www.scientific.net/amr.765-767.1969.

Full text

Abstract:

As the developing of the automatic manipulate control technique of automobile, the research and development of Automated Transmission have abstracted more and more attention. In numerous Automated Transmission productions, AMT (Automated Mechanical Transmission) plays an absolutely important role. This system is a AMT data collection system based on electro-hydraulic control. According to the design of the system software program, we can collect and analyze the data of driving, and then mark the electro-hydraulic valve. This paper designs and realizes the total structure of data collection and processing system, analyses and designs the function of all modules elaborately. It is the summary of the front period work of the whole AMT system, and is the foundation of the work of function realization and running and debugging of AMT system.

APA, Harvard, Vancouver, ISO, and other styles

4

Karimi, Jahangir. "An Automated Software Design Methodology Using CAPO." Journal of Management Information Systems 3, no. 3 (December 1986): 71–100. http://dx.doi.org/10.1080/07421222.1986.11517771.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

FENG, Tie. "An Approach to Automated Software Design Improvement." Journal of Software 17, no. 4 (2006): 703. http://dx.doi.org/10.1360/jos170703.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Mlynarski, Mark, Jay A. Puckett, Chad M. Clancy, Brian L. Goodrich, Mark C. Jablin, William Smyers, and Ken Wilson. "Bridge Software Validation Guidelines and Examples." Transportation Research Record: Journal of the Transportation Research Board 1696, no. 1 (January 2000): 143–51. http://dx.doi.org/10.3141/1696-17.

Full text

Abstract:

NCHRP 12-50 is a research project to investigate current software validation procedures and to provide an improved method of verifying bridge design and analysis software. The removal of errors in bridge design and analysis software has a far-reaching impact on safety assurance in the design and rating of bridges. Bridge engineers are relying on automated computations at an increasing rate. Automation of bridge computations is now an integral part of routine practice. In theory, this software should be error free—yet perfect software remains elusive. The number of bridge types and geometric configurations, materials, and loadings creates a large solution domain that must be addressed. The validation method currently being developed involves the automated generation of a series of test suites. Each test suite will contain input files for several analysis engines (software packages) and the results of the analyses and designs performed by these engines. The automatic generation of input files for a particular software package enables thousands of different cases to be created in a matter of minutes. Similarly, the output from the engines can be compared automatically using database or spreadsheet software. Each problem generated will have slightly varying input parmeters. The goal is to increment the various input parameters to test as many articles of the LRFD Specifications as possible. This novel, systematic, and automated approach provides guidelines that can be applied to a host of computational processes associated with bridge engineering, specification development, and software maintenance. Some examples are presented to illustrate the process.

APA, Harvard, Vancouver, ISO, and other styles

7

Burlachenko, Zhanna, Stanislav Velykodniy, and Svitlana Zaitseva-Velykodna. "SOFTWARE FOR AUTOMATED DESIGN OF NETWORK GRAPHICS OF SOFTWARE SYSTEMS REENGINEERING." Herald of Advanced Information Technology 2, no. 2 (April 7, 2019): 95–107. http://dx.doi.org/10.15276/hait.02.2019.2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, Chen, Jian Mao, and Xingwen Gan. "Design of Automated Warehouse Management System." MATEC Web of Conferences 232 (2018): 03049. http://dx.doi.org/10.1051/matecconf/201823203049.

Full text

Abstract:

Aiming at the low degree of automation in production enterprises, real-time tracking and automatic access to warehouses are realized by developing warehouse management software. The paper first analyzes the system requirements, and then gives the overall design plan, through C#, MySQL and TCP. IP communication protocol, compiled a set of warehouse management system software. The actual application shows that the automation level and management efficiency of production enterprises are improved.

APA, Harvard, Vancouver, ISO, and other styles

9

Suchanovský, M., J. Molnár, and O. Slavko. "DESIGN AND IMPLEMENTATION OF AUTOMATED SYSTEM FOR MEASURING CAR BATTERY CAPACITY." Electromechanical and energy saving systems 4, no. 52 (December 23, 2020): 51–59. http://dx.doi.org/10.30929/2072-2052.2020.4.52.51-59.

Full text

Abstract:

Purpose. The purpose of this article is to design hardware for an automated system for measuring the parameters of the car battery and the subsequent approximation of its capacity and other parameters necessary to determine its condition. Originality. The paper deals with the research on the car batteries and measuring instruments to detect their parameters in order to determine a suitable software solution for automated measuring system to measure the car battery capacity. Methodology. The paper proposes one of the possibilities for development an automated system for measuring car battery capacity basing on microcontrollers system using prototyping, designing, simulation and testing techniques. Authors described the whole development process starting from computer design of the proposed device, chose the elements for hardware unit, prototyping using development boards and tools, developing program algorithms and implementing related applied software with the final results verification. Result. In this work authors proposed hardware solution of an automated system for measuring the capacity of a car battery. The whole design concept consisted of the selection of the main hardware components, which were then implemented into a complex functional unit. Following it was designed a software solution. This proposal was initiated by a program for measuring the parameters of the battery, then the calculation of the internal resistance from the measured parameters and the approximation of capacity on the basis of the detected life-span was added to this programme. A Web page was then created. Practical value. Proposed experimental sample could be practically used for automatic measurement of car battery capacity and also could be served as an experimental sample of remote measuring device. References 14, figures 14.

APA, Harvard, Vancouver, ISO, and other styles

10

Frydman, Maxime, Guifré Ruiz, Elisa Heymann, Eduardo César, and Barton P. Miller. "Automating Risk Analysis of Software Design Models." Scientific World Journal 2014 (2014): 1–12. http://dx.doi.org/10.1155/2014/805856.

Full text

Abstract:

The growth of the internet and networked systems has exposed software to an increased amount of security threats. One of the responses from software developers to these threats is the introduction of security activities in the software development lifecycle. This paper describes an approach to reduce the need for costly human expertise to perform risk analysis in software, which is common in secure development methodologies, by automating threat modeling. Reducing the dependency on security experts aims at reducing the cost of secure development by allowing non-security-aware developers to apply secure development with little to no additional cost, making secure development more accessible. To automate threat modeling two data structures are introduced, identification trees and mitigation trees, to identify threats in software designs and advise mitigation techniques, while taking into account specification requirements and cost concerns. These are the components of our model for automated threat modeling, AutSEC. We validated AutSEC by implementing it in a tool based on data flow diagrams, from the Microsoft security development methodology, and applying it to VOMS, a grid middleware component, to evaluate our model's performance.

APA, Harvard, Vancouver, ISO, and other styles

11

Islam, Shuvo, Avishek Bose, Christopher A. Jones, Mustaque Hossain, and Cristopher I. Vahl. "Developing an Automated Technique to Calibrate the AASHTOWare Pavement ME Design Software." Transportation Research Record: Journal of the Transportation Research Board 2674, no. 9 (July 7, 2020): 867–77. http://dx.doi.org/10.1177/0361198120932567.

Full text

Abstract:

Many state highway agencies are in the process of implementing the AASHTOWare Pavement ME Design (PMED) software for routine pavement design. However, a recurring implementation challenge has been the need to locally calibrate the software to reflect an agency’s design and construction practices, materials, and climate. This study introduced a framework to automate the calibration processes of the PMED performance models. This automated technique can search PMED output files and identify relevant damages/distresses for a project on a particular date. After obtaining this damage/distress information, the technique conducts model verification with the global calibration factors. Transfer function coefficients are then automatically derived following an optimization technique and numerical measures of goodness-of-fit. An equivalence statistical testing approach is conducted to ensure predicted performance results are in agreement with the measured data. The automated technique allows users to select one of three sampling approaches: split sampling, jackknifing, or bootstrapping. Based on the sampling approach chosen, the automated technique provides the calibration coefficients or suitable ranges for the coefficients and shows the results graphically. Model bias, standard error, sum squared error, and p-value from the paired t-test are also reported to assess efficacy of the calibration process.

APA, Harvard, Vancouver, ISO, and other styles

12

Zhao, Jian Ping, Xiao Yang Liu, Hong Ming Xi, Li Ya Xu, Jian Hui Zhao, and Huan Ming Liu. "A Lightweight-Leveled Software Automated Test Framework." Advanced Materials Research 834-836 (October 2013): 1919–24. http://dx.doi.org/10.4028/www.scientific.net/amr.834-836.1919.

Full text

Abstract:

To resolve the problem of a large amount of automated test scripts and test data files, through the test tool QTP, data-driven and keyword-driven testing mechanism, a test automation framework based on three layer data-driven mechanism is designed, including the design of the TestSet managing test case files, the design of the TestCase storing test cases and the design of the TestData storing test data.Through controlling the test scale and applying the test data pool, reconfigurable and optimization of test scripts are designed. The methods above can decouple the test design and the script development, make test cases and data show a more humane design, make test scripts and test data on the business level optimized and reusable, and make the number of script files and the test data files reache a minimum, which reduces the occupied space.

APA, Harvard, Vancouver, ISO, and other styles

13

Kearsley, Greg. "Microcomputer Software: Design and Development Principles." Journal of Educational Computing Research 1, no. 2 (May 1985): 209–20. http://dx.doi.org/10.2190/gvb4-72kl-aj34-8trp.

Full text

Abstract:

This article surveys principles for the design and development of microcomputer-based instructional software. A set of design guidelines based upon existing research are outlined. Three approaches to authoring software are examined: general purpose programming languages, author languages, and authoring systems. The tradeoffs in using these three approaches are outlined. The implications of research in automated instructional development systems and intelligent tutoring systems are discussed.

APA, Harvard, Vancouver, ISO, and other styles

14

Jenihhin, Maksim, Anton Tsepurov, Valentin Tihhomirov, Jaan Raik, Hanno Hantson, Raimund Ubar, Gunter Bartsch, JorgeHernan Meza Escobar, and Heinz-Dietrich Wuttke. "Automated Design Error Localization in RTL Designs." IEEE Design & Test 31, no. 1 (February 2014): 83–92. http://dx.doi.org/10.1109/mdat.2013.2271420.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Xia, Tian, Chao Jin, Yi Zhong Li, and Xiao Yang Jiang. "The AGV Controller System Design Based on CPAC." Advanced Materials Research 591-593 (November 2012): 1356–59. http://dx.doi.org/10.4028/www.scientific.net/amr.591-593.1356.

Full text

Abstract:

According to the material handling AGV in accurate,timely and flexible requirements, proposed based on Googol GE-400SV motion controller AGV control system. Constructed to CPAC core AGV control system hardware structure. Constructed as GE-400SV motion controller for the core of AGV control system hardware structure, and using VC ++6.0 completed system software realization. Experimental results show that: use GE-400SV motion controller and the development software as control core of AGV can meet the hardware and software design of Automated Guided Vehicle precise positionig , automatic walk.

APA, Harvard, Vancouver, ISO, and other styles

16

Adler, John, and Andreas Veneris. "Leveraging Software Configuration Management in Automated RTL Design Debug." IEEE Design & Test 34, no. 5 (October 2017): 47–53. http://dx.doi.org/10.1109/mdat.2017.2713391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Pescaru, Roxana, Panagiotis Kyratsis, and Gheorghe Oancea. "Software tool used for automated design of customizable product." MATEC Web of Conferences 137 (2017): 06003. http://dx.doi.org/10.1051/matecconf/201713706003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Li, Tao. "Design of an Automatic Detector for Gas Desorption of Coal Samples." Instrumentation Mesure Métrologie 19, no. 5 (November 15, 2020): 355–61. http://dx.doi.org/10.18280/i2m.190505.

Full text

Abstract:

Gas content measurement is a common technique in the prevention of coalmine gas disasters. During the measurement, the gas desorption amount of field coal samples needs to be obtained by an instrument working under the principle of gas collection by water displacement (GCWD). The instrument is poorly automated, and susceptible to the influence of subjective factors. To overcome these defects, this paper designs an automatic detector of gas desorption, aiming to realize automated detection. Firstly, the authors analyzed the gas desorption detection process, and clarified the contents and features of the information to be collected. On this basis, the hardware and software systems of the multi-data automatic detector were developed based on digital circuit design and multi-sensor detection. To further improve the measuring accuracy of gas desorption, the multi-range multi-stage mode was introduced to the automatic detector. Application results show that the proposed detector can automatedly collect and store gas desorption amount, ambient pressure, and temperature, greatly improve the degree of automation, and minimize the influence of subjective factors. The popularization of this detector will make gas desorption measurement more efficient and effective, laying a solid basis for the prevention of coalmine gas disasters.

APA, Harvard, Vancouver, ISO, and other styles

19

Argunov, Dmitry, Boris Shiryaev, Alexey Bezruk, and Alexey Yushenko. "Design ICCreatech semiconductor wafer accounting and probe measurement automatization software." ITM Web of Conferences 30 (2019): 04009. http://dx.doi.org/10.1051/itmconf/20193004009.

Full text

Abstract:

The different manufacturing processes automatization and creating a modern digital document transferring system is an important problem for enhancing factory performance. This paper presents the results of developing an automated information system for manufacturing monolithic integrated circuits. Server and client solutions have been developed supported features of electronic covering documents, making automated on-wafer electrical characteristics measurement, and measurement data analysis.

APA, Harvard, Vancouver, ISO, and other styles

20

Sharma, Dr Anand. "An Experimental Study of Software Engineering Model for an Large Industry Automation Design." International Journal on Recent and Innovation Trends in Computing and Communication 8, no. 12 (December 31, 2020): 05–07. http://dx.doi.org/10.17762/ijritcc.v8i12.5506.

Full text

Abstract:

This paper will explain that how the traditional software development models can be used to automate the tasks in large scale industries. Using the SDLC approach, the development of the system can be automated which will save a lot of time and efforts which can be utilised for other crucial tasks. This paper will also brief the life cycle of automation. The advantages and challenges of the implementation of the automation software development will also be explained.

APA, Harvard, Vancouver, ISO, and other styles

21

Willy, A., J. P. Sadler, and R. D. Schraft. "Automated fixture design." International Journal of Advanced Manufacturing Technology 10, no. 1 (January 1995): 27–35. http://dx.doi.org/10.1007/bf01184275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Doroshenko, А. Yu, O. G. Beketov, M. M. Bondarenko, and О. А. Yatsenko. "Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools." PROBLEMS IN PROGRAMMING, no. 2-3 (September 2020): 103–14. http://dx.doi.org/10.15407/pp2020.02-03.103.

Full text

Abstract:

Methods and software tools for automated design and generation of OpenCL programs based on the algebra of algorithms are proposed. OpenCL is a framework for developing parallel software that executes across heterogeneous platforms consisting of general-purpose processors and/or hardware accelerators. The proposed approach consists in using high-level algebra-algorithmic specifications of programs represented in natural linguistic form and rewriting rules. The developed software tools provide the automated design of algorithm schemes based on a superposition of Glushkov algebra constructs that are considered as reusable components. The tools automatically generate code in a target programming language on the basis of the specifications. In most computing problems, a large part of hardware resources is utilized by computations inside loops, therefore the use of automatic parallelization of cyclic operators is most efficient for them. However, the existing automatic code parallelizing tools, such as Par4All, don’t account the limited amount of accelerator’s onboard memory space while real-life problems demand huge amounts of data to be processed. Thus, there is a need for the development of a parallelization technique embracing the cases of massive computational tasks involving big data. In the paper, a method and a software tool for semi-automatic parallelization of cyclic operators based on loop tiling and data serialization are developed. The parallelization technique uses rewriting rules system to transform programs. The framework for parallelization of loops for optimization of computations using graphics processing units allows semi-automatic parallelization of sequential programs. The approach is illustrated on an example of developing a parallel OpenCL image convolution program.

APA, Harvard, Vancouver, ISO, and other styles

23

Katarzynski, P., M. Melosik, and A. Handkiewicz. "gC-Studio – the environment for automated filter design." Bulletin of the Polish Academy of Sciences: Technical Sciences 61, no. 2 (June 1, 2013): 541–44. http://dx.doi.org/10.2478/bpasts-2013-0054.

Full text

Abstract:

Abstract The paper presents the idea of software suite integrating the tools supporting the analog filter design. It uses the prototype circuits that are composed of gyrators and capacitors. The essential, behavioral parameters are characterised for the filtering structures. The basic assumptions formulated before the implementation are also mentioned. The structure of the software suite is discussed, its functional properties and the implementation issues are mentioned. The resulting software brings the automation of designing SISO filters as well as the filter pairs. In the proposed solution the VHDL-AMS language is assumed as the formal method of hardware description.

APA, Harvard, Vancouver, ISO, and other styles

24

Nicholson, Jon, Amnon H. Eden, Epameinondas Gasparis, and Rick Kazman. "Automated verification of design patterns: A case study." Science of Computer Programming 80 (February 2014): 211–22. http://dx.doi.org/10.1016/j.scico.2013.05.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rajan, S. D., V. Sarihan, and M. Mahalingam. "Methodology for Automated Design of Microelectronic Packages." Journal of Electronic Packaging 116, no. 4 (December 1, 1994): 274–81. http://dx.doi.org/10.1115/1.2905698.

Full text

Abstract:

A general design methodology for the optimal design of electronic packages is presented. The design problem is cast as a nonlinear programming (NLP) problem. Design for critical packaging issues such as thermal and mechanical performance, is automated by combining thermal and mechanical finite element analysis with an NLP optimizer. The major issues such as design problem formulation, model generation or preprocessing, nonlinear finite element analysis, design variable identification, design sensitivity analysis and software implementation are addressed. A case study involving the design of an RF packaging component in communication products illustrates the design methodology implemented in the Automated Design of Electronic Packaging (ADEP) software system.

APA, Harvard, Vancouver, ISO, and other styles

26

Hull, MEC, and FG Metcalfe. "An automated systems design tool." Information and Software Technology 29, no. 5 (June 1987): 257–64. http://dx.doi.org/10.1016/0950-5849(87)90346-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Chondamrongkul, Nacha, Jing Sun, and Ian Warren. "Software Architectural Migration." ACM Transactions on Software Engineering and Methodology 30, no. 4 (July 2021): 1–35. http://dx.doi.org/10.1145/3461011.

Full text

Abstract:

Software architectural designs are usually changed over time to support emerging technologies and to adhere to new principles. Architectural migration is an important activity that helps to transform the architectural styles applied during a system’s design with the result of modernising the system. If not performed correctly, this process could lead to potential system failures. This article presents an automated approach to refactoring architectural design and to planning the evolution process. With our solution, the architectural design can be refactored, ensuring that system functionality is preserved. Furthermore, the architectural migration process allows the system to be safely and incrementally transformed. We have evaluated our approach with five real-world software applications. The results prove the effectiveness of our approach and identify factors that impact the performance of architectural verification and migration planning. An interesting finding is that planning algorithms generate migration plans that differ in term of their relative efficiency.

APA, Harvard, Vancouver, ISO, and other styles

28

Hussain, Shahid, Jacky Keung, Muhammad Khalid Sohail, Arif Ali Khan, and Manzoor Ilahi. "Automated framework for classification and selection of software design patterns." Applied Soft Computing 75 (February 2019): 1–20. http://dx.doi.org/10.1016/j.asoc.2018.10.049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Atikur, Md, Md Karam, Sharif Ahamed, and Roena Afroze. "Design and Execution of Automated Sub-Dealer Management System Software." International Journal of Computer Applications 177, no. 21 (December 17, 2019): 47–55. http://dx.doi.org/10.5120/ijca2019919683.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Carroll, Chester C., and Phillip R. Acuff. "Automated Software Development Tools and Methodology for Control Systems Design." IFAC Proceedings Volumes 29, no. 1 (June 1996): 7443–48. http://dx.doi.org/10.1016/s1474-6670(17)58885-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Ince, D. C., and S. Hekmatpour. "An approach to automated software design based on product metrics." Software Engineering Journal 3, no. 2 (1988): 53. http://dx.doi.org/10.1049/sej.1988.0006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Woodside, Murray, Curtis Hrischuk, Bran Selic, and Stefan Bayarov. "Automated performance modeling of software generated by a design environment." Performance Evaluation 45, no. 2-3 (July 2001): 107–23. http://dx.doi.org/10.1016/s0166-5316(01)00033-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Kim, Kap Hwan, Seung Hwan Won, Jae Kook Lim, and Teruo Takahashi. "An architectural design of control software for automated container terminals." Computers & Industrial Engineering 46, no. 4 (July 2004): 741–54. http://dx.doi.org/10.1016/j.cie.2004.05.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Nalic, Demin, Aleksa Pandurevic, Arno Eichberger, and Branko Rogic. "Design and Implementation of a Co-Simulation Framework for Testing of Automated Driving Systems." Sustainability 12, no. 24 (December 15, 2020): 10476. http://dx.doi.org/10.3390/su122410476.

Full text

Abstract:

The increasingly used approach of combining different simulation softwares in testing of automated driving systems (ADSs) increases the need for potential and convenient software designs. Recently developed co-simulation platforms (CSPs) provide the possibility to cover the high demand for testing kilometers for ADSs by combining vehicle simulation software (VSS) with traffic flow simulation software (TFSS) environments. The emphasis on the demand for testing kilometers is not enough to choose a suitable CSP. The complexity levels of the vehicle, object, sensors, and environment models used are essential for valid and representative simulation results. Choosing a suitable CSP raises the question of how the test procedures should be defined and constructed and what the relevant test scenarios are. Parameters of the ADS, environments, objects, and sensors in the VSS, as well as traffic parameters in the TFSS, can be used to define and generate test scenarios. In order to generate a large number of scenarios in a systematic and automated way, suitable and appropriate software designs are required. In this paper, we present a software design for a CSP based on the Model–View–Controller (MVC) design pattern as well as an implementation of a complex CSP for virtual testing of ADSs. Based on this design, an implementation of a CSP is presented using the VSS from IPG Automotive (CarMaker) and the TFSS from the PTV Group (Vissim). The results showed that the presented CSP design and the implementation of the co-simulation can be used to generate relevant scenarios for testing of ADSs.

APA, Harvard, Vancouver, ISO, and other styles

35

Sahoo, Swarup Kumar, John Criswell, Chase Geigle, and Vikram Adve. "Using likely invariants for automated software fault localization." ACM SIGPLAN Notices 48, no. 4 (April 23, 2013): 139–52. http://dx.doi.org/10.1145/2499368.2451131.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Halpern, Mar. "Pushing the Design Envelope with CAE." Mechanical Engineering 120, no. 11 (November 1, 1998): 66–71. http://dx.doi.org/10.1115/1.1998-nov-2.

Full text

Abstract:

This article examines the growing usefulness of computer-aided engineering (CAE) programs for the design of electronics packaging. CAE combined with expert interpretation, can help manufacturers quickly satisfy demand for increasingly small yet reliable products. Currently, three classes of software specifically support electronics packaging design: integrated computer-aided design (CAD) CAE software, general-purpose CAE software, and specialty CAE software solutions. The integrated CAE software emphasizes automatic creation and updating of finite-element-analysis (FEA) models based on CAD geometry. The effectiveness of this associativity between CAD and FEA depends on the product behavior to be evaluated and the quality of implementation. CAE simulation can calculate the maximum acceptable loads on pins, as well as the vibration characteristics of components. Solids-based CAD helps detect interference problems across components, as in these exploded views of a disc drive and a headset. While several general-purpose CAE suppliers permit engineers to build customized environments for automating model creation, specialty suppliers such as Pacific Numerix deliver the specific automated capabilities and connector libraries.

APA, Harvard, Vancouver, ISO, and other styles

37

Muttreja, Anish, Anand Raghunathan, Srivaths Ravi, and Niraj K. Jha. "Automated Energy/Performance Macromodeling of Embedded Software." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 26, no. 3 (March 2007): 542–52. http://dx.doi.org/10.1109/tcad.2006.883914.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Verteshev, Sergei, and Vladimir Konevtsov. "DIRECT DIGITAL CONTROL IN A COMPLEX OF SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 332. http://dx.doi.org/10.17770/etr2017vol3.2534.

Full text

Abstract:

This article provides the functionality of creating direct digital control devices in the computer-aided design of digital automatic control systems (CAD of digital ACS), in a complex of software design of digital control systems (SDSDC complex) for automated process control systems. Technical tools are defined by the international standard IEC 61131-1: 2003 (Part 1: General data). The possibility of implementing SDSDC complex in direct digital control, single-cycle and multi-cycle ladder diagrams, identification of objects of management and synthesis of digital controllers in comparison with the international standard IEC 61131-3: 2003 (Part 3: Programming Languages) are evaluated. Users’ productivity is estimated as well as the possibility of its separation between the users at different stages of the design of digital systems of automatic control is assessed.

APA, Harvard, Vancouver, ISO, and other styles

39

Verteshev, Sergei, and Vladimir Konevtsov. "DIRECT DIGITAL CONTROL IN A COMPLEX OF SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 337. http://dx.doi.org/10.17770/etr2017vol3.2536.

Full text

Abstract:

This article provides the functionality of creating direct digital control devices in the computer-aided design of digital automatic control systems (CAD of digital ACS), in a complex of software design of digital control systems (SDSDC complex) for automated process control systems. Technical tools are defined by the international standard IEC 61131-1: 2003 (Part 1: General data). The possibility of implementing SDSDC complex in direct digital control, single-cycle and multi-cycle ladder diagrams, identification of objects of management and synthesis of digital controllers in comparison with the international standard IEC 61131-3: 2003 (Part 3: Programming Languages) are evaluated. Users’ productivity is estimated as well as the possibility of its separation between the users at different stages of the design of digital systems of automatic control is assessed.

APA, Harvard, Vancouver, ISO, and other styles

40

Sohrabizadeh, Atefeh, Cody Hao Yu, Min Gao, and Jason Cong. "AutoDSE: Enabling Software Programmers to Design Efficient FPGA Accelerators." ACM Transactions on Design Automation of Electronic Systems 27, no. 4 (July 31, 2022): 1–27. http://dx.doi.org/10.1145/3494534.

Full text

Abstract:

Adopting FPGA as an accelerator in datacenters is becoming mainstream for customized computing, but the fact that FPGAs are hard to program creates a steep learning curve for software programmers. Even with the help of high-level synthesis (HLS) , accelerator designers still have to manually perform code reconstruction and cumbersome parameter tuning to achieve optimal performance. While many learning models have been leveraged by existing work to automate the design of efficient accelerators, the unpredictability of modern HLS tools becomes a major obstacle for them to maintain high accuracy. To address this problem, we propose an automated DSE framework— AutoDSE —that leverages a bottleneck-guided coordinate optimizer to systematically find a better design point. AutoDSE detects the bottleneck of the design in each step and focuses on high-impact parameters to overcome it. The experimental results show that AutoDSE is able to identify the design point that achieves, on the geometric mean, 19.9× speedup over one CPU core for MachSuite and Rodinia benchmarks. Compared to the manually optimized HLS vision kernels in Xilinx Vitis libraries, AutoDSE can reduce their optimization pragmas by 26.38× while achieving similar performance. With less than one optimization pragma per design on average, we are making progress towards democratizing customizable computing by enabling software programmers to design efficient FPGA accelerators.

APA, Harvard, Vancouver, ISO, and other styles

41

Hurgin, Roman. "Automated software for hydraulic simulation of pipeline operation." MATEC Web of Conferences 144 (2018): 01017. http://dx.doi.org/10.1051/matecconf/201814401017.

Full text

Abstract:

Design of modern water supply systems of large cities as well as their management via renovation of hydraulic models poses time-consuming tasks to researchers, and coping with this task requires specific approaches. When tackling these tasks, water services companies come across a lot of information about various objects of water infrastructure, the majority of which is located underground. In those cases, modern computer-aided design systems containing various components come to help. These systems help to solve a wide array of problems using existing information regarding pipelines, analysis and optimization of their basic parameters. CAD software is becoming an integral part of water supply systems management in large cities, and its capabilities allow engineering and operating companies to not only collect all the necessary data concerning water supply systems in any given city, but also to conduct research aimed at improving various parameters of these systems, including optimization of their hydraulic properties which directly determine the quality of water. This paper contains the analysis of automated CAD software for hydraulic design and management of city water supply systems in order to provide safe and efficient operation of these water supply systems. Authors select the most suitable software that might be used to provide hydraulic compatibility of old and new sections of water supply ring mains after selective or continuous draw-in renovation and decrease in diameter of distribution networks against the background of water consumption decrease in the cities.

APA, Harvard, Vancouver, ISO, and other styles

42

Saputri, Theresia Ratih Dewi, and Seok-Won Lee. "Software Analysis Method for Assessing Software Sustainability." International Journal of Software Engineering and Knowledge Engineering 30, no. 01 (January 2020): 67–95. http://dx.doi.org/10.1142/s0218194020500047.

Full text

Abstract:

Software sustainability evaluation has become an essential component of software engineering (SE) owing to sustainability considerations that must be incorporated into software development. Several studies have been performed to address the issues associated with sustainability concerns in the SE process. However, current practices extensively rely on participant experiences to evaluate sustainability achievement. Moreover, there exist limited quantifiable methods for supporting software sustainability evaluation. Our primary objective is to present a methodology that can assist software engineers in evaluating a software system based on well-defined sustainability metrics and measurements. We propose a novel approach that combines machine learning (ML) and software analysis methods. To simplify the application of the proposed approach, we present a semi-automated tool that supports engineers in assessing the sustainability achievement of a software system. The results of our study demonstrate that the proposed approach determines sustainability criteria and defines sustainability achievement in terms of a traceable matrix. Our theoretical evaluation and empirical study demonstrate that the proposed support tool can help engineers identify sustainability limitations in a particular feature of a software system. Our semi-automated tool can identify features that must be revised to enhance sustainability achievement.

APA, Harvard, Vancouver, ISO, and other styles

43

LAST, M., M. FRIEDMAN, and A. KANDEL. "USING DATA MINING FOR AUTOMATED SOFTWARE TESTING." International Journal of Software Engineering and Knowledge Engineering 14, no. 04 (August 2004): 369–93. http://dx.doi.org/10.1142/s0218194004001737.

Full text

Abstract:

In today's software industry, the design of test cases is mostly based on human expertise, while test automation tools are limited to execution of pre-planned tests only. Evaluation of test outcomes is also associated with a considerable effort by human testers who often have imperfect knowledge of the requirements specification. Not surprisingly, this manual approach to software testing results in heavy losses to the world's economy. In this paper, we demonstrate the potential use of data mining algorithms for automated modeling of tested systems. The data mining models can be utilized for recovering system requirements, designing a minimal set of regression tests, and evaluating the correctness of software outputs. To study the feasibility of the proposed approach, we have applied a state-of-the-art data mining algorithm called Info-Fuzzy Network (IFN) to execution data of a complex mathematical package. The IFN method has shown a clear capability to identify faults in the tested program.

APA, Harvard, Vancouver, ISO, and other styles

44

Yin, Yong Feng, Bin Liu, and Hong Ying Ni. "Design and Application of Real-Time Embedded Software Simulation Testing Object Framework." Advanced Materials Research 143-144 (October 2010): 152–55. http://dx.doi.org/10.4028/www.scientific.net/amr.143-144.152.

Full text

Abstract:

At present, the automated real-time embedded software testing is a hot topic. Automated testing is essentially based on user programming and how to build test script quickly and effectively is one of the key problems to be resolved. In this paper, the object-oriented and framework technologies are introduced into the real-time embedded software testing field and the real-time testing object framework (RT-TOF) is studied firstly. And then, the test script generation process based on RT-TOF is proposed. Furthermore, the design of RT-TOF is put forward. Finally, the test script sample of the avionics embedded software system testing is given. Practical application of RT-TOF in engineering shows that the method proposed in this paper can improve the efficiency of automated testing greatly and the test script based on RT-TOF has better maintainability and reusability.

APA, Harvard, Vancouver, ISO, and other styles

45

Lye, S. W., and H. K. Ho. "Automated CAD protective packaging design." Engineering with Computers 9, no. 3 (September 1993): 178–86. http://dx.doi.org/10.1007/bf01206347.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Zhang, Shu Lan, and Nan Qiao Zhang. "Secondary Development of Automatic Drawing Software of Spindle of Numerical Control Lathe." Applied Mechanics and Materials 109 (October 2011): 571–74. http://dx.doi.org/10.4028/www.scientific.net/amm.109.571.

Full text

Abstract:

Looking up data mainly depends on the designer. Automation of looking up related data of charts, curve resource is a key to automatic design of common components, and is neccessory to be solved for strength and structural design automation of common components. A continuous curve on the logarithmic coordinates taken automatically search algorithm and discrete forms of data management and automated check to take the basic data structure to solve all the data graphs and charts automatically check the computer taken. With computer technology, in mechanical product design, various standards curves and tables can be processed.

APA, Harvard, Vancouver, ISO, and other styles

47

Green, Darren V. S., Stephen Pickett, Chris Luscombe, Stefan Senger, David Marcus, Jamel Meslamani, David Brett, Adam Powell, and Jonathan Masson. "BRADSHAW: a system for automated molecular design." Journal of Computer-Aided Molecular Design 34, no. 7 (October 21, 2019): 747–65. http://dx.doi.org/10.1007/s10822-019-00234-8.

Full text

Abstract:

Abstract This paper introduces BRADSHAW (Biological Response Analysis and Design System using an Heterogenous, Automated Workflow), a system for automated molecular design which integrates methods for chemical structure generation, experimental design, active learning and cheminformatics tools. The simple user interface is designed to facilitate access to large scale automated design whilst minimising software development required to introduce new algorithms, a critical requirement in what is a very fast moving field. The system embodies a philosophy of automation, best practice, experimental design and the use of both traditional cheminformatics and modern machine learning algorithms.

APA, Harvard, Vancouver, ISO, and other styles

48

Basin, David, Manuel Clavel, Jürgen Doser, and Marina Egea. "Automated analysis of security-design models." Information and Software Technology 51, no. 5 (May 2009): 815–31. http://dx.doi.org/10.1016/j.infsof.2008.05.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

HRYMAK, ROMAN, OLEKSANDR PASICHNYK, TETIANA SKRYPNYK, and EDUARD MANZIUK. "INFORMATION TECHNOLOGY OF MAKING CONTROLLED CRITICALLY SAFE DECISIONS ABOUT MODEL PARAMETERS CONVERSION AT TRANSFER BETWEEN VISUALIZATION SYSTEMS." HERALD OF KHMELNYTSKYI NATIONAL UNIVERSITY 299, no. 4 (October 2021): 35–42. http://dx.doi.org/10.31891/2307-5732-2021-299-4-35-42.

Full text

Abstract:

In modern production, computer-aided design systems have become widespread, which provide the opportunity to create technological processes with less time and engineering. Automated design system is a system capable of automated level to implement information technology to perform design functions, is an organizational and technical set of software tools designed to automate the design process, consisting of staff and a group of technical, software and other means of automating its activities. Computer-aided design systems are an important link in industrial design, widely used in many industries, including the automotive, shipbuilding and aerospace industries, industrial and architectural design, prosthetics and many others. CAD is also widely used in computer animation for special effects in movies, commercials, and technical materials, often referred to as digital content. Due to its economic importance, the computer-aided design system has become the main driving force of research in the field of computational geometry, computer graphics (both hardware and software) and discrete differential geometry. In today’s automated manufacturing market, most constructors use additional engineering software. As a rule, such add-ins are used in the functional infrastructure of a specialized set of solutions that implement the principle of building information modeling (BIM). The most common system of this type is Autodesk Revit, a platform that provides three-dimensional modeling of building elements and flat drawing of design elements, designed for architects, designers and design engineers. This research presents the results of information technology for Autodesk Revit computer-aided design system based on 2019-2021 packages, which will allow users of the architectural visualization platform to use the functions of viewing, processing, mathematical transformation and serialization on elements of 3D building models.

APA, Harvard, Vancouver, ISO, and other styles

50

Tsoeunyane, Lekhobola, Simon Winberg, and Michael Inggs. "Automatic Configurable Hardware Code Generation for Software-Defined Radios." Computers 7, no. 4 (October 19, 2018): 53. http://dx.doi.org/10.3390/computers7040053.

Full text

Abstract:

The development of software-defined radio (SDR) systems using field-programmable gate arrays (FPGAs) compels designers to reuse pre-existing Intellectual Property (IP) cores in order to meet time-to-market and design efficiency requirements. However, the low-level development difficulties associated with FPGAs hinder productivity, even when the designer is experienced with hardware design. These low-level difficulties include non-standard interfacing methods, component communication and synchronization challenges, complicated timing constraints and processing blocks that need to be customized through time-consuming design tweaks. In this paper, we present a methodology for automated and behavioral integration of dedicated IP cores for rapid prototyping of SDR applications. To maintain high performance of the SDR designs, our methodology integrates IP cores using characteristics of the dataflow model of computation (MoC), namely the static dataflow with access patterns (SDF-AP). We show how the dataflow is mapped onto the low-level model of hardware by efficiently applying low-level based optimizations and using a formal analysis technique that guarantees the correctness of the generated solutions. Furthermore, we demonstrate the capability of our automated hardware design approach by developing eight SDR applications in VHDL. The results show that well-optimized designs are generated and that this can improve productivity while also conserving the hardware resources used.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Automated software design'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles