Articles de revues sur le sujet « Embedded software design and verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Embedded software design and verification ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Geng, Bo, et Qing Hua Cao. « Design and Realization of Simulation Environment of Embedded Software and Hardware Intergration Based on GEF ». Advanced Materials Research 756-759 (septembre 2013) : 2226–30. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2226.
Texte intégralDasgupta, Pallab, Mandayam K. Srivas et 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 (décembre 2014) : 2025–29. http://dx.doi.org/10.1109/tcad.2014.2354297.
Texte intégralChen, Ce, Shao Cai Zhao, Yong Hu et Guo Kai He. « Design and Realization of Universal Integrated Testing Platform for Equipment-Embedded Software ». Applied Mechanics and Materials 635-637 (septembre 2014) : 1175–78. http://dx.doi.org/10.4028/www.scientific.net/amm.635-637.1175.
Texte intégralChen, Xi, Harry Hsieh, Felice Balarin et Yosinori Watanabe. « Formal Verification for Embedded System Designs ». Design Automation for Embedded Systems 8, no 2/3 (juin 2003) : 139–53. http://dx.doi.org/10.1023/b:daem.0000003959.60964.4d.
Texte intégralChen, Xi, Harry Hsieh et Felice Balarin. « Verification Approach of Metropolis Design Framework for Embedded Systems ». International Journal of Parallel Programming 34, no 1 (25 janvier 2006) : 3–27. http://dx.doi.org/10.1007/s10766-005-0002-x.
Texte intégralPark, Sa-Choun, Gi-Hwon Kwon et Soon-Hoi Ha. « Automatic Verification of the Control Flow Model for Effective Embedded Software Design ». KIPS Transactions:PartA 12A, no 7 (1 décembre 2005) : 563–70. http://dx.doi.org/10.3745/kipsta.2005.12a.7.563.
Texte intégralDong, Zhijiang, Yujian Fu et Yue Fu. « Runtime Verification on Robotics Systems ». International Journal of Robotics Applications and Technologies 3, no 1 (janvier 2015) : 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Texte intégralCunning, Steve J., Stephan Schulz et Jerzy W. Rozenblit. « An Embedded System's Design Verification Using Object-Oriented Simulation ». SIMULATION 72, no 4 (avril 1999) : 238–49. http://dx.doi.org/10.1177/003754979907200403.
Texte intégralCheddadi, Youssef, Fatima Errahimi et Najia Es-sbai. « Design and verification of photovoltaic MPPT algorithm as an automotive-based embedded software ». Solar Energy 171 (septembre 2018) : 414–25. http://dx.doi.org/10.1016/j.solener.2018.06.085.
Texte intégralJúnior, José, Alisson Brito et 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.
Texte intégralPao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jin-Ming Fu et 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 (octobre 2004) : 656–74. http://dx.doi.org/10.1109/tse.2004.68.
Texte intégralXiong, Zhi Wen, Wen Feng Wang et Hong Zeng. « Design of FPGA-Based Fault-Tolerant Embedded System ». Advanced Materials Research 546-547 (juillet 2012) : 1574–79. http://dx.doi.org/10.4028/www.scientific.net/amr.546-547.1574.
Texte intégralFogarty, Padraig, Ciaran MacNamee et Donal Heffernan. « On‐chip support for software verification and debug in multi‐core embedded systems ». IET Software 7, no 1 (février 2013) : 56–64. http://dx.doi.org/10.1049/iet-sen.2011.0212.
Texte intégralTrost, Andrej, Andrej Zemva et Matjaz Verderber. « Prototyping Hardware and Software Environment for Teaching Digital Circuit Design ». International Journal of Electrical Engineering & ; Education 38, no 4 (octobre 2001) : 368–78. http://dx.doi.org/10.7227/ijeee.38.4.9.
Texte intégralAnwar, Muhammad Waseem, Muhammad Rashid, Farooque Azam, Muhammad Kashif et 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 (8 novembre 2019) : 179–223. http://dx.doi.org/10.1007/s10617-019-09229-y.
Texte intégralDi Guglielmo, Giuseppe, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini et Graziano Pravadelli. « On the integration of model-driven design and dynamic assertion-based verification for embedded software ». Journal of Systems and Software 86, no 8 (août 2013) : 2013–33. http://dx.doi.org/10.1016/j.jss.2012.08.061.
Texte intégralVenugopal, Manokar, Manju Nanda, G. Anand et 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.
Texte intégralLi, Junquan, Mark Post, Thomas Wright et 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.
Texte intégralMOHAMMADZADEH, NASER, SHAAHIN HESSABI, MAZIAR GOUDARZI et MAHDI MALAKI. « A FRAMEWORK FOR OBJECT-ORIENTED EMBEDDED SYSTEM DEVELOPMENT BASED ON OO-ASIPS ». Journal of Circuits, Systems and Computers 17, no 06 (décembre 2008) : 973–93. http://dx.doi.org/10.1142/s0218126608004812.
Texte intégralENGELL, SEBASTIAN, SVEN LOHMANN et OLAF STURSBERG. « VERIFICATION OF EMBEDDED SUPERVISORY CONTROLLERS CONSIDERING HYBRID PLANT DYNAMICS ». International Journal of Software Engineering and Knowledge Engineering 15, no 02 (avril 2005) : 307–12. http://dx.doi.org/10.1142/s021819400500204x.
Texte intégralFukano, Ryo, et Masato Ishikawa. « Human-Error Prevention for Autonomous Edge Software Using Minimalistic Modern C++ ». Big Data and Cognitive Computing 3, no 4 (4 novembre 2019) : 52. http://dx.doi.org/10.3390/bdcc3040052.
Texte intégralZhao, Yan Ling, et Shi Hai Zhang. « Study on GPRS Mobile Terminal System for Rural Informatization ». Advanced Materials Research 1078 (décembre 2014) : 262–65. http://dx.doi.org/10.4028/www.scientific.net/amr.1078.262.
Texte intégralEl-MALAKI, M. H., M. WATHEQ El-KHARASHI, S. HAMMAD, A. SALEM et 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 (décembre 2007) : 961–79. http://dx.doi.org/10.1142/s0218126607004015.
Texte intégralPrekop, Lubomir. « Modeling of Load Test of Piles ». Applied Mechanics and Materials 837 (juin 2016) : 175–78. http://dx.doi.org/10.4028/www.scientific.net/amm.837.175.
Texte intégralWang, Tun, et Yu Tian. « Design of Embedded Ai Engine Based on the Microkernel Operating System ». Wireless Communications and Mobile Computing 2022 (21 avril 2022) : 1–9. http://dx.doi.org/10.1155/2022/9304019.
Texte intégralWang, Tao, Li Wang, Pengfei Yan, Renu Popli, Poonam Rani et Rajeev Kumar. « Application of embedded Linux in the design of Internet of Things gateway ». Journal of Intelligent Systems 31, no 1 (1 janvier 2022) : 1014–23. http://dx.doi.org/10.1515/jisys-2021-0208.
Texte intégralJeong, Eunjin, Dowhan Jeong et 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 (5 juin 2021) : 1–38. http://dx.doi.org/10.1145/3447680.
Texte intégralSafar, Mona, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles Khalil et Ashraf Salem. « Virtual Verification and Validation of Automotive System ». Journal of Circuits, Systems and Computers 28, no 04 (31 mars 2019) : 1950071. http://dx.doi.org/10.1142/s0218126619500713.
Texte intégralLi, Mutong, Fujun Zhou, Tianyu Li et Yuan Wei. « Optimization Design and Simulation for Pricking Mechanism of Off-Centre Embedded Seed Metering Device ». Journal of Agricultural Science 9, no 6 (15 mai 2017) : 221. http://dx.doi.org/10.5539/jas.v9n6p221.
Texte intégralShe, Chen Hua, et Tsung Hua Yang. « Design of a Cutting Point Control Algorithm for Five-Axis Machining ». Applied Mechanics and Materials 249-250 (décembre 2012) : 702–6. http://dx.doi.org/10.4028/www.scientific.net/amm.249-250.702.
Texte intégralLiu, Jiangchao, Liqian Chen et 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 (novembre 2018) : 2311–22. http://dx.doi.org/10.1109/tcad.2018.2858462.
Texte intégralFeng, Xia, Qun Zhang Tu, Ming Pan, Xiao Chen Zhang et Wei Jie Zheng. « Design and Debugging of PMSM Control Algorithm for Electric Drive Tracked Vehicle ». Applied Mechanics and Materials 697 (novembre 2014) : 249–53. http://dx.doi.org/10.4028/www.scientific.net/amm.697.249.
Texte intégralWang, Yihua, Qing Zhou, Yu Zhang, Xian Zhang et Jiahao Du. « A Formal Modeling and Verification Scheme with an RNN-Based Attacker for CAN Communication System Authenticity ». Electronics 11, no 11 (2 juin 2022) : 1773. http://dx.doi.org/10.3390/electronics11111773.
Texte intégralMartin, 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 (mars 2010) : 82–83. http://dx.doi.org/10.1109/mdt.2010.33.
Texte intégralLopac, Nikola, Gordan Šegon et 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.
Texte intégralAlekhin, V. A. « Designing Electronic Systems Using SystemC and SystemC–AMS ». Russian Technological Journal 8, no 4 (6 août 2020) : 79–95. http://dx.doi.org/10.32362/2500-316x-2020-8-4-79-95.
Texte intégralYu, Huafeng, Abdoulaye Gamatié, Éric Rutten et Jean-Luc Dekeyser. « Adaptivity in high-performance embedded systems : a reactive control model for reliable and flexible design ». Knowledge Engineering Review 29, no 4 (septembre 2014) : 433–51. http://dx.doi.org/10.1017/s0269888914000150.
Texte intégralAllender, Laurel, Troy D. Kelley, Lucia Salvi, John Lockett, Donald B. Headley, David Promisel, Diane Mitchell, Celine Richer et Theo Feng. « Verification, Validation, and Accreditation of a Soldier-System Modeling Tool ». Proceedings of the Human Factors and Ergonomics Society Annual Meeting 39, no 18 (octobre 1995) : 1219–23. http://dx.doi.org/10.1177/154193129503901815.
Texte intégralSTANCU, Florin-Adrian, Víctor Manuel MORENO VILLA, Carlos DOMÍNGUEZ SÁNCHEZ, Andrei Valentin PLAMADEALA et Daniel OVEJERO PROVENCIO. « Visual based GNC system from prototype to flight software ». INCAS BULLETIN 15, no 1 (7 mars 2023) : 97–106. http://dx.doi.org/10.13111/2066-8201.2023.15.1.9.
Texte intégralXiao, Yanjun, Linhan Shi, Wei Zhou, Feng Wan et Weiling Liu. « Application of embedded soft PLC in the control system of rapier loom ». PLOS ONE 16, no 9 (23 septembre 2021) : e0257629. http://dx.doi.org/10.1371/journal.pone.0257629.
Texte intégralILLARRAMENDI REZABAL, MIREN, ASIER IRIARTE, AITOR ARRIETA AGUERRI,, GOIURIA SAGARDUI MENDIETA et 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 (1 janvier 2022) : 18–22. http://dx.doi.org/10.6036/10243.
Texte intégralTodorov, Vassil, Safouan Taha, Frederic Boulanger et 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 (27 décembre 2019) : 520–33. http://dx.doi.org/10.18255/1818-1015-2019-4-520-533.
Texte intégralMO, YUCHANG, et XINMIN YANG. « A NEW APPROACH TO VERIFY STATECHART SPECIFICATIONS FOR REACTIVE SYSTEMS ». International Journal of Software Engineering and Knowledge Engineering 18, no 06 (septembre 2008) : 785–802. http://dx.doi.org/10.1142/s0218194008003908.
Texte intégralDubey, Awanish Chandra, et Anantha V. Subramanian. « Hardware in the Loop Simulation and Control Design for Autonomous Free Running Ship Models ». Defence Science Journal 70, no 4 (13 juillet 2020) : 469–76. http://dx.doi.org/10.14429/dsj.70.14926.
Texte intégralTomičić, Branko, Antonija Šumiga, Josip Nađ et Dunja Srpak. « Verification Methodology for Simulation Models of the Synchronous Generator on Transients Analysis ». Applied Sciences 11, no 24 (10 décembre 2021) : 11734. http://dx.doi.org/10.3390/app112411734.
Texte intégralOsman, Nafisa, et Abd-Elkader Sahraoui. « Modeling and Verification of ERP Functional Requirements based on Colored Petri Net ». International Journal of Software Engineering & ; Applications 12, no 3 (31 mai 2021) : 27–43. http://dx.doi.org/10.5121/ijsea.2021.12303.
Texte intégralWu, Yu En, et Kuo Chan Huang. « Design and Implementation of Dual-Axis Solar Tracking System with GSM Fault Reporting Capability ». Advanced Materials Research 724-725 (août 2013) : 43–51. http://dx.doi.org/10.4028/www.scientific.net/amr.724-725.43.
Texte intégralSTUART, DOUGLAS A., ALOYSIUS K. MOK et FARNAM JAHANIAN. « A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS ». International Journal of Software Engineering and Knowledge Engineering 06, no 03 (septembre 1996) : 401–26. http://dx.doi.org/10.1142/s021819409600017x.
Texte intégralWu, Jun Hui, Quan Zhou, Jie Chen, Hui Ping Si et Chi Bin Zhang. « Structural Design for Dynamic Roller Device in Transporting Unit of Biomass Pyrolytic System ». Applied Mechanics and Materials 157-158 (février 2012) : 361–66. http://dx.doi.org/10.4028/www.scientific.net/amm.157-158.361.
Texte intégralDupont, Guillaume, Yamine Ait-Ameur, Neeraj Kumar Singh et Marc Pantel. « Event-B Hybridation ». ACM Transactions on Embedded Computing Systems 20, no 4 (juin 2021) : 1–37. http://dx.doi.org/10.1145/3448270.
Texte intégral