Bibliografías temáticas / Embedded software design and verification / Artículos de revistas
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Embedded software design and verification.

Artículos de revistas sobre el tema "Embedded software design and verification"

Autor: Grafiati
Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Embedded software design and verification".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Geng, Bo, and Qing Hua Cao. "Design and Realization of Simulation Environment of Embedded Software and Hardware Intergration Based on GEF." Advanced Materials Research 756-759 (September 2013): 2226–30. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2226.

Texto completo
Resumen
Embedded software and hardware integration simulation platform is developed for simulating the embedded systems design process in current engineering system, which can facilitate finding various problems in system design process. For example, in the system scheme phase, the scheme and design verification are untimely and inadequate. In the early prototype phase, software development lags behind result in deferral of the overall progress of the system. And in the late prototype stage, the problem is lacking configuration item test environment. Embedded software and hardware integration simulati
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Dasgupta, Pallab, Mandayam K. Srivas, and Rajdeep Mukherjee. "Formal Hardware/Software Co-Verification of Embedded Power Controllers." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, no. 12 (2014): 2025–29. http://dx.doi.org/10.1109/tcad.2014.2354297.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Chen, Ce, Shao Cai Zhao, Yong Hu, and Guo Kai He. "Design and Realization of Universal Integrated Testing Platform for Equipment-Embedded Software." Applied Mechanics and Materials 635-637 (September 2014): 1175–78. http://dx.doi.org/10.4028/www.scientific.net/amm.635-637.1175.

Texto completo
Resumen
An universal testing platform for equipment-embedded software is designed and realized to support the dynamic verification test of embedded software on CI level and system level. This Platform, based on LAN and USB bus architecture, has provided the function of system interface modelling, test project management, test case script code, test result control and analysis, and test report generation, and is available for real time, closed-loop and non-invasive dynamic testing on the embedded software with the characteristic of portability, easy operation, flexibility in size configuration and univ
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Chen, Xi, Harry Hsieh, Felice Balarin, and Yosinori Watanabe. "Formal Verification for Embedded System Designs." Design Automation for Embedded Systems 8, no. 2/3 (2003): 139–53. http://dx.doi.org/10.1023/b:daem.0000003959.60964.4d.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Chen, Xi, Harry Hsieh, and Felice Balarin. "Verification Approach of Metropolis Design Framework for Embedded Systems." International Journal of Parallel Programming 34, no. 1 (2006): 3–27. http://dx.doi.org/10.1007/s10766-005-0002-x.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Park, Sa-Choun, Gi-Hwon Kwon, and Soon-Hoi Ha. "Automatic Verification of the Control Flow Model for Effective Embedded Software Design." KIPS Transactions:PartA 12A, no. 7 (2005): 563–70. http://dx.doi.org/10.3745/kipsta.2005.12a.7.563.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Dong, Zhijiang, Yujian Fu, and Yue Fu. "Runtime Verification on Robotics Systems." International Journal of Robotics Applications and Technologies 3, no. 1 (2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.

Texto completo
Resumen
Runtime verification is a technique for generating monitors from formal specification of expected behaviors for the underlying system. It can be applied to automatically evaluate system execution, either on-line or off-line, analyzing extracted execution traces; or it can be used online during operation, potentially steering the application back to a safety region if a property is violated. As a so-called light-weighted formal method, runtime verification bridges the gap between system design and implementation and shorten the distance of software quality assurance between the software testing
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Cunning, Steve J., Stephan Schulz, and Jerzy W. Rozenblit. "An Embedded System's Design Verification Using Object-Oriented Simulation." SIMULATION 72, no. 4 (1999): 238–49. http://dx.doi.org/10.1177/003754979907200403.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Cheddadi, Youssef, Fatima Errahimi, and Najia Es-sbai. "Design and verification of photovoltaic MPPT algorithm as an automotive-based embedded software." Solar Energy 171 (September 2018): 414–25. http://dx.doi.org/10.1016/j.solener.2018.06.085.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Júnior, José, Alisson Brito, and Tiago Nascimento. "Verification of Embedded System Designs through Hardware-Software Co-Simulation." International Journal of Information and Electronics Engineering 5, no. 1 (2015): 68–73. http://dx.doi.org/10.7763/ijiee.2015.v5.504.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jin-Ming Fu, and Win-Bin See. "VERTAF: an application framework for the design and verification of embedded real-time software." IEEE Transactions on Software Engineering 30, no. 10 (2004): 656–74. http://dx.doi.org/10.1109/tse.2004.68.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Xiong, Zhi Wen, Wen Feng Wang, and Hong Zeng. "Design of FPGA-Based Fault-Tolerant Embedded System." Advanced Materials Research 546-547 (July 2012): 1574–79. http://dx.doi.org/10.4028/www.scientific.net/amr.546-547.1574.

Texto completo
Resumen
Fault tolerant is one of major requirements for embedded systems. As the embedded systems become more and more complex, more chances for various fault. When design embedded system developer has to handle these faults. Before handling faults designer has to identify and understand the types and nature of faults.Faults is the sources for low dependability, faults can be hardware and software. Hardware faults can be distinguished from systematic faults like software or design errors. The Fault can be deleted, such as extensive testing or formal verification and tolerated by fault tolerance techni
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Fogarty, Padraig, Ciaran MacNamee, and Donal Heffernan. "On‐chip support for software verification and debug in multi‐core embedded systems." IET Software 7, no. 1 (2013): 56–64. http://dx.doi.org/10.1049/iet-sen.2011.0212.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Trost, Andrej, Andrej Zemva, and Matjaz Verderber. "Prototyping Hardware and Software Environment for Teaching Digital Circuit Design." International Journal of Electrical Engineering & Education 38, no. 4 (2001): 368–78. http://dx.doi.org/10.7227/ijeee.38.4.9.

Texto completo
Resumen
In the paper, we present our latest achievements and experience in undergraduate teaching of digital circuits, integrated circuits and embedded systems by exploiting our prototyping hardware and software environment. The hardware environment is based on Field Programmable Gate Array (FPGA) modules that provide sufficient flexibility and support a broad scope of digital design applications. In addition, the designed software environment supports user-friendly hardware verification of the logic circuits implemented on the hardware system. We describe some typical applications and student project
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Anwar, Muhammad Waseem, Muhammad Rashid, Farooque Azam, Muhammad Kashif, and Wasi Haider Butt. "A model-driven framework for design and verification of embedded systems through SystemVerilog." Design Automation for Embedded Systems 23, no. 3-4 (2019): 179–223. http://dx.doi.org/10.1007/s10617-019-09229-y.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Di Guglielmo, Giuseppe, Luigi Di Guglielmo, Andreas Foltinek, et al. "On the integration of model-driven design and dynamic assertion-based verification for embedded software." Journal of Systems and Software 86, no. 8 (2013): 2013–33. http://dx.doi.org/10.1016/j.jss.2012.08.061.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Venugopal, Manokar, Manju Nanda, G. Anand, and Hari Chandana Voora. "An integrated Hardware/Software Verification and Validation methodology for Signal Processing Systems." ITM Web of Conferences 50 (2022): 02001. http://dx.doi.org/10.1051/itmconf/20225002001.

Texto completo
Resumen
The testing and validation services team assesses project deliverables at various stages of development using innovative and effective verification and validation, to ensure that the deliverables are compliance with the customer specifications and requirements. Whenever new products and devices are released, completely integrated verification and validation services are delivered to accurate and complete records usability, performance, and quality assurance services. Throughout the product development and testing process, the testing and validation services team employs verification and valida
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Li, Junquan, Mark Post, Thomas Wright, and Regina Lee. "Design of Attitude Control Systems for CubeSat-Class Nanosatellite." Journal of Control Science and Engineering 2013 (2013): 1–15. http://dx.doi.org/10.1155/2013/657182.

Texto completo
Resumen
We present a satellite attitude control system design using low-cost hardware and software for a 1U CubeSat. The attitude control system architecture is a crucial subsystem for any satellite mission since precise pointing is often required to meet mission objectives. The accuracy and precision requirements are even more challenging for small satellites where limited volume, mass, and power are available for the attitude control system hardware. In this proposed embedded attitude control system design for a 1U CubeSat, pointing is obtained through a two-stage approach involving coarse and fine
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

MOHAMMADZADEH, NASER, SHAAHIN HESSABI, MAZIAR GOUDARZI, and MAHDI MALAKI. "A FRAMEWORK FOR OBJECT-ORIENTED EMBEDDED SYSTEM DEVELOPMENT BASED ON OO-ASIPS." Journal of Circuits, Systems and Computers 17, no. 06 (2008): 973–93. http://dx.doi.org/10.1142/s0218126608004812.

Texto completo
Resumen
The growing complexity of today's embedded systems demands new methodologies and tools to manage the problems of analysis, design, implementation, and validation of complex-embedded systems. Focusing on this issue, this paper describes a design and implementation toolset using our ODYSSEY methodology, which advocates object-oriented (OO) modeling of embedded systems and its ASIP-based implementation. The proposed approach promotes a smooth transition from high-level object-oriented specification to the final embedded system, which is composed of hardware and software components. The transition
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

ENGELL, SEBASTIAN, SVEN LOHMANN, and OLAF STURSBERG. "VERIFICATION OF EMBEDDED SUPERVISORY CONTROLLERS CONSIDERING HYBRID PLANT DYNAMICS." International Journal of Software Engineering and Knowledge Engineering 15, no. 02 (2005): 307–12. http://dx.doi.org/10.1142/s021819400500204x.

Texto completo
Resumen
This contribution proposes a link between the specification of supervisory controllers by Sequential Function Charts (SFC) and the verification of embedded systems with hybrid dynamics. The SFC are transformed into modular timed automata using a procedure based on graph grammars. The resulting controller model is composed with a hybrid automaton (with possibly nonlinear continuous dynamics) that models the plant behavior. In order to verify safety properties of the composed system algorithmically, a tool implementing the recently proposed approach of counterexample guided model checking is emp
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Fukano, Ryo, and Masato Ishikawa. "Human-Error Prevention for Autonomous Edge Software Using Minimalistic Modern C++." Big Data and Cognitive Computing 3, no. 4 (2019): 52. http://dx.doi.org/10.3390/bdcc3040052.

Texto completo
Resumen
In science and engineering using edge-embedded software, it is necessary to demonstrate the validity of results; therefore, the software responsible for operating an edge system is required to guarantee its own validity. The aim of this study is to guarantee the validity of the sampled-time filter and time domain as fundamental elements of autonomous edge software. This requires the update law of a sampled-time filter to be invoked once per every control cycle, which we guaranteed by using the proposed domain specific language implemented by a metaprogramming design pattern in modern C++ (C++1
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Zhao, Yan Ling, and Shi Hai Zhang. "Study on GPRS Mobile Terminal System for Rural Informatization." Advanced Materials Research 1078 (December 2014): 262–65. http://dx.doi.org/10.4028/www.scientific.net/amr.1078.262.

Texto completo
Resumen
In this paper, GPRS module, including the design and implementation of the telephone terminal interface circuit design TV interface circuit, interface GPRS module and starting circuit are designed based on ARM embedded platform. Software is also designed primarily Bootloader and Linux kernel porting, system part of the driver, the results of the design through experimental verification, the results show that the system can communicate data, you can use AT commands to achieve messaging and voice capabilities.
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

El-MALAKI, M. H., M. WATHEQ El-KHARASHI, S. HAMMAD, A. SALEM, and A. WAHDAN. "A PLATFORM APPROACH FOR HARDWARE/SOFTWARE CO-DESIGN WITH SUPPORT FOR RTOS-BASED SYSTEMS." Journal of Circuits, Systems and Computers 16, no. 06 (2007): 961–79. http://dx.doi.org/10.1142/s0218126607004015.

Texto completo
Resumen
We propose a new flow for hardware/software co-design, based on the platform-based design, which forms a base for further automation attempts of the co-design process. We prove the applicability of the proposed flow on co-designing generic systems as well as RTOS-based systems. Our proposed flow starts with a software-only solution in which all system functionality is described as embedded software targeting a selected platform. Then, the flow iterates through co-verification, profiling, partitioning, and co-synthesis until the design criteria are met. We present four test cases to show the ef
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Prekop, Lubomir. "Modeling of Load Test of Piles." Applied Mechanics and Materials 837 (June 2016): 175–78. http://dx.doi.org/10.4028/www.scientific.net/amm.837.175.

Texto completo
Resumen
The paper deals with design of model and verification of a pile loaded by pressure. The pile is embedded in the layered ground mass. Its model has been created using the ANSYS software system. The obtained results have been compared with results of the pile loading test performed during the construction of a multifunctional building. In the conclusion the results have been presented in graphs.
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Wang, Tun, and Yu Tian. "Design of Embedded Ai Engine Based on the Microkernel Operating System." Wireless Communications and Mobile Computing 2022 (April 21, 2022): 1–9. http://dx.doi.org/10.1155/2022/9304019.

Texto completo
Resumen
At present, the application of the embedded microkernel operating system in military and civil fields has begun to take shape, but it has not yet formed a unified method and standard. Due to its high performance, low frequency, and high reliability, dual-core embedded processors are getting the attention of many chip manufacturers. Compatibility has been favored by many telecom equipment manufacturers and embedded high-end application integrators, but the dual-core embedded processor needs a new real-time operating system to support it, so that it can give full play to the high performance of
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Wang, Tao, Li Wang, Pengfei Yan, Renu Popli, Poonam Rani, and Rajeev Kumar. "Application of embedded Linux in the design of Internet of Things gateway." Journal of Intelligent Systems 31, no. 1 (2022): 1014–23. http://dx.doi.org/10.1515/jisys-2021-0208.

Texto completo
Resumen
Abstract To study the development trend of embedded platforms in home appliances Internet of Things (IoT), an application of embedded Linux in the design of IoT gateway is designed. ARM microprocessor S3C2410, EM310 radio frequency (RF) module, and Ethernet DM9000A module are used to realize the home network information-processing platform. The platform utilizes existing network facilities, RF modules, and network interface modules to realize the interconnection of the home perception network through wireless or wired links. For experimental analysis, Ping the central server (gateway) from the
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Jeong, Eunjin, Dowhan Jeong, and Soonhoi Ha. "Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded Systems." ACM Transactions on Design Automation of Electronic Systems 26, no. 5 (2021): 1–38. http://dx.doi.org/10.1145/3447680.

Texto completo
Resumen
Existing software development methodologies mostly assume that an application runs on a single device without concern about the non-functional requirements of an embedded system such as latency and resource consumption. Besides, embedded software is usually developed after the hardware platform is determined, since a non-negligible portion of the code depends on the hardware platform. In this article, we present a novel model-based software synthesis framework for parallel and distributed embedded systems. An application is specified as a set of tasks with the given rules for execution and com
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Safar, Mona, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles Khalil, and Ashraf Salem. "Virtual Verification and Validation of Automotive System." Journal of Circuits, Systems and Computers 28, no. 04 (2019): 1950071. http://dx.doi.org/10.1142/s0218126619500713.

Texto completo
Resumen
An integrated framework for Virtual Verification and Validation (VVV) for a complete automotive system is proposed. The framework can simulate/emulate the system on three levels: System on Chip (SoC), Electronic control unit (ECU) and system level. The framework emulates the real system including hardware (HW) and software (SW). It enhances the automotive V-cycle and allows co-development of the automotive system SW and HW. The procedure for debugging AUTOSAR application on the virtual platform (VP) is shown. SW and HW profiling is feasible with the presented methodology. Verification and vali
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Li, Mutong, Fujun Zhou, Tianyu Li, and Yuan Wei. "Optimization Design and Simulation for Pricking Mechanism of Off-Centre Embedded Seed Metering Device." Journal of Agricultural Science 9, no. 6 (2017): 221. http://dx.doi.org/10.5539/jas.v9n6p221.

Texto completo
Resumen
In order to improve the quality of pricking hole and reduce throwing soil as merering the field, this paper presents a method of off-centre embedded pricking mechanism operation. Established a mathematical model of pricking hole mechanism, preparation of computer aided analysis platform by using VB software, and the simulation effects are buried and the effects of the eccentricity, rocker arm length, pricking hole connected with the handle, the swing rod length, length the pricking hole angle and swing arm and the connecting rod handle parameters related to the initial position. One group of o
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

She, Chen Hua, and Tsung Hua Yang. "Design of a Cutting Point Control Algorithm for Five-Axis Machining." Applied Mechanics and Materials 249-250 (December 2012): 702–6. http://dx.doi.org/10.4028/www.scientific.net/amm.249-250.702.

Texto completo
Resumen
Five-axis machine tool with two additional rotary axes has been widely used in defense, aerospace and the consumer industries, and is an important process of precision manufacturing. Traditional five-axis program depends on the machine tool’s configuration and machining setting. This leads to inconvenience of reprogramming five-axis NC code for the end users. This paper proposes a cutting point control algorithm for five-axis machining. Although the commercial advanced controllers provide this function, they are very expensive and restricted to export. The developed algorithm can be embedded t
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Liu, Jiangchao, Liqian Chen, and Xavier Rival. "Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, no. 11 (2018): 2311–22. http://dx.doi.org/10.1109/tcad.2018.2858462.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Feng, Xia, Qun Zhang Tu, Ming Pan, Xiao Chen Zhang, and Wei Jie Zheng. "Design and Debugging of PMSM Control Algorithm for Electric Drive Tracked Vehicle." Applied Mechanics and Materials 697 (November 2014): 249–53. http://dx.doi.org/10.4028/www.scientific.net/amm.697.249.

Texto completo
Resumen
The design and debugging of motor control algorithm for electric drive tracked vehicle as the research object, this paper proposed a graphical model programming method of the code directly generated based on vector control algorithm model of the permanent magnet synchronous motor created in Matlab/Simulink. After simulation analysis and verification, this paper using real time toolbox automatically generated the embedded C code and implemented a processor in the loop test. The test results show that the longest running time of the control algorithm was 7.1633μs, between code and algorithm mode
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Wang, Yihua, Qing Zhou, Yu Zhang, Xian Zhang, and Jiahao Du. "A Formal Modeling and Verification Scheme with an RNN-Based Attacker for CAN Communication System Authenticity." Electronics 11, no. 11 (2022): 1773. http://dx.doi.org/10.3390/electronics11111773.

Texto completo
Resumen
To enhance the attack resistance of the Controller Area Network (CAN) system and optimize the communication software design, a comprehensive model that combines a variable attacker with the CAN bus (VACB) is proposed to evaluate the bus communication risk. The VACB model consists of a variable attacker and the CAN bus model. A variable attacker is a visualized generation of the attack traffic based on a recurrent neural network (RNN), which is used to evaluate the anti-attack performance of the CAN bus; the CAN bus model combines the data link layer and the application layer to analyze the ano
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Martin, Grant. "A career in system-level design research [review of "Embedded System Design: Modeling, Synthesis, and Verification (Gajski, D.D. et al; 2009)." IEEE Design & Test of Computers 27, no. 2 (2010): 82–83. http://dx.doi.org/10.1109/mdt.2010.33.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Lopac, Nikola, Gordan Šegon, and Neven Bulić. "Application of model-based design tool X2C in induction machine vector control." Engineering review 39, no. 1 (2019): 90–104. http://dx.doi.org/10.30765/er.39.1.10.

Texto completo
Resumen
Open source software tools for model-based design of embedded control systems represent a new method for rapid development and testing of advanced control structures in modern electric drives. The new concept of one of those tools, X2C, is presented in this paper, and in order to evaluate its performance in the development of complex control systems, it is applied to implement induction machine vector control. Based on the simulation model of the drive developed in PLECS, the parameters of the controllers were determined. The algorithm for the vector control of the induction machine was develo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Alekhin, V. A. "Designing Electronic Systems Using SystemC and SystemC–AMS." Russian Technological Journal 8, no. 4 (2020): 79–95. http://dx.doi.org/10.32362/2500-316x-2020-8-4-79-95.

Texto completo
Resumen
Current trends in the design of electronic systems is the use of embedded systems based on systems on a chip (System-on-Chip (SoC)) or (VLSI SoC). The paper discusses the design features of electronic systems on a chip using the SystemC design and verification language. For the joint design and simulation of digital systems hardware and software, seven modeling levels are presented and discussed: executable specification, disabled functional model, temporary functional model, transaction-level model, behavioral hardware model, accurate hardware model, register transfer model. The SystemC desig
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Yu, Huafeng, Abdoulaye Gamatié, Éric Rutten, and Jean-Luc Dekeyser. "Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design." Knowledge Engineering Review 29, no. 4 (2014): 433–51. http://dx.doi.org/10.1017/s0269888914000150.

Texto completo
Resumen
AbstractSystem adaptivity is increasingly demanded in high-performance embedded systems, particularly in multimedia system-on-chip (SoC), owing to growing quality-of-service requirements. This paper presents a reactive control model that has been introduced in Gaspard, our framework dedicated to SoC hardware/software co-design. This model aims at expressing adaptivity as well as reconfigurability in systems performing data-intensive computations. It is generic enough to be used for description in the different parts of an embedded system, for example, specification of how different data-intens
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Allender, Laurel, Troy D. Kelley, Lucia Salvi, et al. "Verification, Validation, and Accreditation of a Soldier-System Modeling Tool." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 39, no. 18 (1995): 1219–23. http://dx.doi.org/10.1177/154193129503901815.

Texto completo
Resumen
Increasingly, system developers are relying on modeling and simulation to support early design decisions. In turn, to support effective, timely use of models and simulations, verification, validation, and, in some cases, accreditation (VV&A) are required. The soldier-system analysis tools collectively known as Hardware vs. Manpower (HARDMAN) III underwent a formal VV&A process, the first of its type in the Army. The first phase comprised the core task network modeling capability and the effects implemented as additions to or modifications of the task data–mental workload estimation and
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

STANCU, Florin-Adrian, Víctor Manuel MORENO VILLA, Carlos DOMÍNGUEZ SÁNCHEZ, Andrei Valentin PLAMADEALA, and Daniel OVEJERO PROVENCIO. "Visual based GNC system from prototype to flight software." INCAS BULLETIN 15, no. 1 (2023): 97–106. http://dx.doi.org/10.13111/2066-8201.2023.15.1.9.

Texto completo
Resumen
Juventas is a 6U CubeSat which is part of HERA planetary defense mission and takes advantage of an innovative visual based guidance, navigation and control (GNC) system to perform autonomous navigation in the proximity of the Didymain system. The GNC system is designed to ensure safe navigation in the harsh and unpredictable environment of deep space and finally to take more risks by landing on the surface of Dimorphos. To achieve a qualitative software (SW) product, a dedicated procedure of SW lifecycle is developed by starting with GNC and image processing design, which concludes with the fi
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Xiao, Yanjun, Linhan Shi, Wei Zhou, Feng Wan, and Weiling Liu. "Application of embedded soft PLC in the control system of rapier loom." PLOS ONE 16, no. 9 (2021): e0257629. http://dx.doi.org/10.1371/journal.pone.0257629.

Texto completo
Resumen
At present, the rapier loom has gradually become the mainstream equipment in the manufacturing industry. In order to make the rapier loom realize automated production and further improve the production efficiency of the rapier loom, improve the programmability of the system, and reduce the cost of system maintenance. The thesis developed a rapier loom control system based on embedded soft PLC, and carried out experiments and applications in the field. The contribution and innovation of this paper is to develop a complete low-cost control system, and through a genetic algorithm optimized PID al
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

ILLARRAMENDI REZABAL, MIREN, ASIER IRIARTE, AITOR ARRIETA AGUERRI,, GOIURIA SAGARDUI MENDIETA, and FELIX LARRINAGA BARRENECHEA. "DIGITAL SAFETY MANAGER: IOT SERVICE TO ASSURE THE SAFE BEHAVIOUR OF MACHINES AND CONTROLS IN THE DIGITAL INDUSTRY." DYNA 97, no. 1 (2022): 18–22. http://dx.doi.org/10.6036/10243.

Texto completo
Resumen
The digital industry requires increasingly complex and reliable software systems. They need to control and make critical decisions at runtime. As a consequence, the verification and validation of these systems has become a major research challenge. At design and development time, model testing techniques are used while run-time verification aims at verifying that a system satisfies a given property. The latter technique complements the former. The solution presented in this paper targets embedded systems whose software components are designed by state machines defined by Unified Modelling Lang
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Todorov, Vassil, Safouan Taha, Frederic Boulanger, and Armando Hernandez. "Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root." Modeling and Analysis of Information Systems 26, no. 4 (2019): 520–33. http://dx.doi.org/10.18255/1818-1015-2019-4-520-533.

Texto completo
Resumen
For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development. Furthermore, their increasing critical level may lead authorities to require a certification for those systems. We think that bringing formal proof in their development can help establishing safety properties and get an efficient certification process. Other industries (e.g. aerospace, railway, nuclear) that produce critical systems requiring certification also took the path of forma
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

MO, YUCHANG, and XINMIN YANG. "A NEW APPROACH TO VERIFY STATECHART SPECIFICATIONS FOR REACTIVE SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 18, no. 06 (2008): 785–802. http://dx.doi.org/10.1142/s0218194008003908.

Texto completo
Resumen
The application domain, such as communication networks and embedded controllers for telephony, automobiles, trains and avionics systems, requires very high quality reactive systems, so an important phase in the development of reactive systems is the verification of their conceptual models before implementation. Normally in the requirement analysis phase, system property can be represented as an input and output labeled transition system (IOLTS), which is a transition system labeled by inputs and outputs between the system and the environment. This paper describes an attempt to propose an appro
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Dubey, Awanish Chandra, and Anantha V. Subramanian. "Hardware in the Loop Simulation and Control Design for Autonomous Free Running Ship Models." Defence Science Journal 70, no. 4 (2020): 469–76. http://dx.doi.org/10.14429/dsj.70.14926.

Texto completo
Resumen
This paper presents an hardware-in-the-loop (HIL) simulation system tool to test and validate an autonomous free running model system for ship hydrodynamic studies with a view to verification of the code, the control logic and system peripherals. The computer simulation of the plant model in real-time computer does not require the actual physical system and reduces the development cost and time for control design and testing purposes. The HIL system includes: the actual programmable embedded controller along with peripherals and a plant model virtually simulated in a real-time computer. With r
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Tomičić, Branko, Antonija Šumiga, Josip Nađ, and Dunja Srpak. "Verification Methodology for Simulation Models of the Synchronous Generator on Transients Analysis." Applied Sciences 11, no. 24 (2021): 11734. http://dx.doi.org/10.3390/app112411734.

Texto completo
Resumen
During transients that occur in an electric network, large currents can flow and large electromagnetic torques can be developed in electric generators. Accurate calculation of currents and magnetic fields during transients is an important element in the optimal design of generators and network parts, as well as mechanical parts of machines and other torque transmission parts. This paper describes the modeling of a sudden three-phase short-circuit on a synchronous generator using the finite element method (FEM) and the dynamic model. The model for simulations that use the FEM was built in the M
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Osman, Nafisa, and Abd-Elkader Sahraoui. "Modeling and Verification of ERP Functional Requirements based on Colored Petri Net." International Journal of Software Engineering & Applications 12, no. 3 (2021): 27–43. http://dx.doi.org/10.5121/ijsea.2021.12303.

Texto completo
Resumen
The rise of enterprise resource planning (ERP) systems has been a major event in the software industry and it became a solution for most enterprises to manage their data and business processes. Successful ERP implementations can reduce costs by improving efficiency then lead to improved company performance and better competitive edge. Despite these benefits and the age of ERP existing for several decades still high percentage of implementation failures are documented. ERP is packaged software designed by following the best practice from the specific industry to support typical business process
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Wu, Yu En, and Kuo Chan Huang. "Design and Implementation of Dual-Axis Solar Tracking System with GSM Fault Reporting Capability." Advanced Materials Research 724-725 (August 2013): 43–51. http://dx.doi.org/10.4028/www.scientific.net/amr.724-725.43.

Texto completo
Resumen
This paper presents a smart dual-axis solar tracking system, its architecture includes sensors, embedded controllers, AC motors, Integrated electric putter design biaxial institutions, and the GSM automatic report of fault notification, to achieve autonomous tracking solar track system and adjust the solar panels to reach the maximum smooth by tracking the solar azimuth angle and elevation angle, and ensure that the solar panels with the sun to maintain the vertical in any time and any place, thus achieving the best power efficiency. This system proposed a dual-axis design, and an embedded con
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

STUART, DOUGLAS A., ALOYSIUS K. MOK, and FARNAM JAHANIAN. "A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS." International Journal of Software Engineering and Knowledge Engineering 06, no. 03 (1996): 401–26. http://dx.doi.org/10.1142/s021819409600017x.

Texto completo
Resumen
As software control of time-critical functions in embedded systems becomes more common, a means for the precise specification of their behavior and formal methods for analyzing system requirements become increasingly important. Modechart is a graphical specification language introduced to meet this need. The main focus of this paper is on methods and supporting tools for representing and reasoning about properties of time-critical systems specified in Modechart. The paper describes a verification methodology which takes advantage of the structuring inherent in a Modechart specification to dete
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Wu, Jun Hui, Quan Zhou, Jie Chen, Hui Ping Si, and Chi Bin Zhang. "Structural Design for Dynamic Roller Device in Transporting Unit of Biomass Pyrolytic System." Applied Mechanics and Materials 157-158 (February 2012): 361–66. http://dx.doi.org/10.4028/www.scientific.net/amm.157-158.361.

Texto completo
Resumen
With the full study of industrial process control technology for thermal, chemical industry, the application process, the FCS system of biomass pyrolysis unit was development combined with the actual. Feeding system uses the weighing system of dynamic belt with an advanced embedded technology. The computing speed and accuracy, data processing compared with traditional electronic belt scale, information exchange, integration, reliability and stability will be greatly improved. The technology shall be constantly upgraded and vigorously promoted. The frame structures of dynamic roller were variou
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Dupont, Guillaume, Yamine Ait-Ameur, Neeraj Kumar Singh, and Marc Pantel. "Event-B Hybridation." ACM Transactions on Embedded Computing Systems 20, no. 4 (2021): 1–37. http://dx.doi.org/10.1145/3448270.

Texto completo
Resumen
Hybrid systems are complex systems where a software controller interacts with a physical environment, usually named a plant, through sensors and actuators. The specification and design of such systems usually rely on the description of both continuous and discrete behaviours. From complex embedded systems to autonomous vehicles, these systems became quite common, including in safety critical domains. However, their formal verification and validation as a whole is still a challenge. To address this challenge, this article contributes to the definition of a reusable and tool supported formal fra
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía