Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Stephan Thesing	Modeling a system controller for timing analysis.	EMSOFT	2006	DBLP DOI BibTeX RDF	aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals
19	Sylvie Boldo, Marc Daumas	Properties of two's complement floating point notations.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Digital signal processing, Avionics, Formal proof
19	Ben L. Di Vito	High-automation proofs for properties of requirements models.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Avionics software, Proof strategies, Formal methods, Theorem proving, Requirements analysis
19	M. E. Nillesen, A. Del Pizzo, M. Pasquariello, R. Rizzo	A Very Flexible DSP-Based Controller for On-Line Test and Control of Industrial Processes.	IOLTW	2000	DBLP DOI BibTeX RDF	avionics and industrial applications, Controller, DSP, automotive, railway
19	Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey	Safety Analysis of Requirements for a Product Family.	ICRE	1998	DBLP DOI BibTeX RDF	Safety, requirements analysis, product family, avionics
19	Steven P. Miller	Specifying the mode logic of a flight guidance system in CoRE and SCR.	FMSP	1998	DBLP DOI BibTeX RDF	flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control
19	Yves Le Traon, Chantal Robach	Testability analysis of co-designed systems.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling
19	Mark J. Bennett	Rapid software integration using structured methods.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	Avionics testing, test languages, project management, embedded software, data flow
17	Xuan Zhou, Feng He, Luxi Zhao 0001, Ershuai Li	Hybrid Scheduling of Tasks and Messages for TSN-Based Avionics Systems.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
17	Marina Reich, Björn Annighöfer, Andreas Schweiger	6th Workshop on Avionics Systems und Software Engineering (AvioSE'24).	Software Engineering	2024	DBLP DOI BibTeX RDF
17	Otman Baturay Bayram, Alper Ozcan	Determining optimal paths of virtual links in Avionics Full-Duplex Switched Ethernet networks using modified ant colony optimization algorithm.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
17	Anam Farrukh, Richard West	FlyOS: rethinking integrated modular avionics for autonomous multicopters.	Real Time Syst.	2023	DBLP DOI BibTeX RDF
17	Xiaoyan Du, Chenglie Du, Jinchao Chen, Yifan Liu 0007	An energy-aware resource allocation method for avionics systems based on improved ant colony optimization algorithm.	Comput. Electr. Eng.	2023	DBLP DOI BibTeX RDF
17	Qi-Yue Yu, Hao Liu, Peng-Zheng Xu, Jiang-Xuan Li, Liang Zhang, Hsiao-Hwa Chen	Next Generation Wireless Avionics Intra-Communications: Challenges and Research Topics.	IEEE Wirel. Commun.	2023	DBLP DOI BibTeX RDF
17	Harun Çelik, Aysenur Sayil	Applicability of Blockchain Technology in Avionics Systems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Andrei Costin, Hannu Turtiainen, Syed Khandker, Timo Hämäläinen 0002	Towards a Unified Cybersecurity Testing Lab for Satellite, Aerospace, Avionics, Maritime, Drone (SAAMD) technologies and communications.	CoRR	2023	DBLP DOI BibTeX RDF
17	Pablo Vera-Soto, Javier Villegas, Sergio Fortes 0001, José Pulido, Vicente Escaño, Rafael Ortiz, Raquel Barco	An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ji Li, Qiao Li 0005, Huagang Xiong	Enhancing low-priority traffic reconfiguration designs in mixed-critical avionics networks.	IET Commun.	2023	DBLP DOI BibTeX RDF
17	Chang Liu, Jinyan Wang, Rui Xia	Node importance evaluation in multi-platform avionics architecture based on TOPSIS and PageRank.	EURASIP J. Adv. Signal Process.	2023	DBLP DOI BibTeX RDF
17	Zhuoran Chen, Hongyu Zhu, Chen Yi, Zhen Liu	Research Ideas on Network Security Experiment and Appraisal of Avionics System.	DSC	2023	DBLP DOI BibTeX RDF
17	Sagheer Ahmed, Jayesh Ambulkar, Debabrata Mondal, Ambika Prasad Shah	Soft Error Immune with Enhanced Critical Charge SIC14T SRAM Cell for Avionics Applications.	VLSI-SoC	2023	DBLP DOI BibTeX RDF
17	He Li, Danni Hong, Zhenwei Zhou, Xiangning Li, Junbin Liu	Fault Diagnosis of Avionics System Based on Improved CNN and BiLSTM.	ACAI	2023	DBLP DOI BibTeX RDF
17	Alexander Frank, Wolfgang Hommel, Benedikt Hopfner	An Intermediary Protocol Representation to Aid in Avionics Network Development.	NOMS	2023	DBLP DOI BibTeX RDF
17	Yakup Hüner, Ramazan Yeniçeri	ComCoS: Enhanced Cache Partitioning Technique for Integrated Modular Avionics.	DSD	2023	DBLP DOI BibTeX RDF
17	Björn Annighöfer, Andreas Schweiger, Stéphane Poulaine	5th Workshop on Avionics Systems and Software Engineering (AvioSE'23).	Software Engineering	2023	DBLP BibTeX RDF
17	Narasimhulu Pillutla, Shishir Kumar	FPGA Implementation of Multi-RT Protocol for Avionics Simulation.	SysCon	2023	DBLP DOI BibTeX RDF
17	Andrei Costin, Hannu Turtiainen, Syed Khandkher, Timo Hämäläinen 0002	Towards a Unified Cybersecurity Testing Lab for Satellite, Aerospace, Avionics, Maritime, Drone (SAAMD) technologies and communications.	SpaceSec	2023	DBLP DOI BibTeX RDF
17	Gülsüm Güngör, Ayça Kolukisa Tarhan	A Maturity Model Guidance Approach for Integration Testing of Avionics Software.	IWSM-Mensura	2023	DBLP BibTeX RDF
17	Murat Bakirci, Muhammed Mirac Ozer	5G Network Supported Unmanned Aerial Vehicle Avionics for Military Zone Surveillance and Security.	ISDFS	2023	DBLP DOI BibTeX RDF
17	Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón	A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.	FMCAD	2023	DBLP DOI BibTeX RDF
17	Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates 0001	Towards a Correct-by-Construction Design of Integrated Modular Avionics.	FMCAD	2023	DBLP DOI BibTeX RDF
17	Raymond E. Yanez, Brad Williams, Yoonsuk Choi	Avionics Design of a Sub-Orbital Launch and Recovery System.	CCWC	2023	DBLP DOI BibTeX RDF
17	Yibing Xie, Alessandro Gardi, Roberto Sabatini	Cybersecurity Risks and Threats in Avionics and Autonomous Systems.	DASC/PiCom/CBDCom/CyberSciTech	2023	DBLP DOI BibTeX RDF
17	Julien Depaillat, Pierre Paradinas, Philippe Maumard	Building Defensive Self-Knowledge Using Embedded Machine Learning in Avionics.	C&ESAR	2023	DBLP BibTeX RDF
17	Alper Tolga Kocatas	Enhancing UML ports and connectors to increase the reusability and performance of avionics software (Aviyonik yazılım performansını ve tekrar kullanılabilirliğini artırmak için UML kapı ve bağlayıcılarını iyileştirme yöntemleri)		2023	RDF
17	Thanakorn Khamvilai, John B. Mains, Louis Sutter, Aqib A. Syed, Philippe Baufreton, François Neumann, Eric Feron	Design of Avionics Network Architecture Under a Reliability Constraint.	IEEE Trans. Aerosp. Electron. Syst.	2022	DBLP DOI BibTeX RDF
17	Hannu Turtiainen, Andrei Costin, Syed Khandker, Timo Hämäläinen 0002	GDL90fuzz: Fuzzing - GDL-90 Data Interface Specification Within Aviation Software and Avionics Devices-A Cybersecurity Pentesting Perspective.	IEEE Access	2022	DBLP DOI BibTeX RDF
17	Javier Villegas, Sergio Fortes 0001, Vicente Escaño, Carlos Baena, Benjamín Colomer, Raquel Barco	Verification and Validation Framework for AFDX Avionics Networks.	IEEE Access	2022	DBLP DOI BibTeX RDF
17	Emil Karlsson, Elina Rönnberg	Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling.	Comput. Oper. Res.	2022	DBLP DOI BibTeX RDF
17	Hassna Louadah, Yvan Labiche	Interface control document modeling with Citrus (avionics systems interfaces).	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
17	Michael Wrana, Marwa Elsayed, Karim Lounis, Ziad Mansour, Steven H. H. Ding, Mohammad Zulkernine	OD1NF1ST: True Skip Intrusion Detection and Avionics Network Cyber-attack Simulation.	ACM Trans. Cyber Phys. Syst.	2022	DBLP DOI BibTeX RDF
17	Yash P. Talwekar, Andrew Adie, Vikram Iyer, Sawyer B. Fuller	Towards Sensor Autonomy in Sub-Gram Flying Insect Robots: A Lightweight and Power-Efficient Avionics System.	ICRA	2022	DBLP DOI BibTeX RDF
17	Xuan Hu, Jie Liu	Requirements Knowledge Model Construction and Requirements Elicitation Method of Avionics Systems Software based on Multi-ontology.	ICACT	2022	DBLP DOI BibTeX RDF
17	Björn Annighöfer, Andreas Schweiger, Marina Reich	4th Workshop on Avionics Systems and Software Engineering (AvioSE'22).	Software Engineering	2022	DBLP DOI BibTeX RDF
17	Huiyu Liu, Jing Liu 0012, Wei Yin, Haiying Sun, Chenchen Yang	Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.	QRS	2022	DBLP DOI BibTeX RDF
17	Ranwa Al Mallah, Talal Halabi, Mohammad Al Ja'afreh, Ali Karime	Artificial Intelligence f or Cybersecurity in IoT-enabled Avionics: Challenges and Solutions.	WF-IoT	2022	DBLP DOI BibTeX RDF
17	Martin Strohmeier, Giorgio Tresoldi, Leeloo Granger, Vincent Lenders	Building an Avionics Laboratory for Cybersecurity Testing.	CSET @ USENIX Security Symposium	2022	DBLP DOI BibTeX RDF
17	Haiyong Dong, Qingfan Gu, Hao Rong, Chenglong Han, Qiang Guo	Study on Design Process for Joint Definition Phase of Avionics System Architecture based on Model.	IPEC	2022	DBLP DOI BibTeX RDF
17	Tao Ma, Chengyu Ju, Hongjiao Wu	Evaluation Method of Fault Detection Rate of Avionics Equipment Based on Data Fusion.	ICSPCC	2022	DBLP DOI BibTeX RDF
17	Anam Farrukh, Richard West	FLYOS: Integrated Modular Avionics for Autonomous Multicopters.	RTAS	2022	DBLP DOI BibTeX RDF
17	Andreas Waldvogel	Towards qualifiable graphical editing of complex domain-specific models in safety-critical avionics.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
17	Lingfeng Zhu, Jun Hu	A regression test case generation method for avionics software.	EITCE	2022	DBLP DOI BibTeX RDF
17	Murat Bakirci, Muhammed Mirac Ozer	Avionics System Development for a Rotary Wing Unmanned Combat Aerial Vehicle.	ICCP	2022	DBLP DOI BibTeX RDF
17	Mohamed Kerkech, Van-Tuan Bui, Michel Africano, Lise Martin, Krishnan Srinivasarengan	Protocol Recognition in Virtual Avionics Network Based on Efficient and Lightweight Convolutional Neural Network.	DS-RT	2022	DBLP DOI BibTeX RDF
17	Yan Zou, Meng Wu, Shaoqing Zhang, Feiyan Li, Jiarun Chen, Yazhuo Wang, Chuan Lin 0001, Guangjie Han	An Intelligent Data Routing Scheme for Multi-UAV Avionics System Based on Integrated Communication Effectiveness.	ICPCSEE (2)	2022	DBLP DOI BibTeX RDF
17	Otman Baturay Bayram, Alper Özcan	Optimal Redundant Routing of Virtual Links for Avionics Full-Duplex Switched Ethernet Network.	SIU	2022	DBLP DOI BibTeX RDF
17	Yuanjun Zuo, Qiao Li 0005, Guangshan Lu, Huagang Xiong	Minimum Power Density Criterion Based Relay Selection and Power Allocation for Wireless Avionics Intra-Communications.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Yuanjun Zuo, Qiao Li 0005, Guangshan Lu, Huagang Xiong	Deep Reinforcement Learning for Power Controlled Channel Allocation in Wireless Avionics Intra-Communications.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Pangun Park, Piergiuseppe Di Marco, Junghyo Nah, Carlo Fischione	Wireless Avionics Intracommunications: A Survey of Benefits, Challenges, and Solutions.	IEEE Internet Things J.	2021	DBLP DOI BibTeX RDF
17	Claude Baron, Vincent Louis	Towards a continuous certification of safety-critical avionics software.	Comput. Ind.	2021	DBLP DOI BibTeX RDF
17	Jiayun Chu, Tingdi Zhao, Jian Jiao 0004, Zhiwei Chen	Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements.	IEEE Syst. J.	2021	DBLP DOI BibTeX RDF
17	Vasileios Leon, George Lentaris, Evangelos Petrongonas, Dimitrios Soudris, Gianluca Furano, Antonis Tavoularis, David Moloney	Improving Performance-Power-Programmability in Space Avionics with Edge Devices: VBN on Myriad2 SoC.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
17	Björn Annighöfer, Johannes Reinhart, Matthias Brunner, Bernd Schulz	The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges.	CoRR	2021	DBLP BibTeX RDF
17	Steven H. Vanderleest, Samuel R. Thompson	Measuring the Impact of Interference Channels on Multicore Avionics.	CoRR	2021	DBLP BibTeX RDF
17	Thanakorn Khamvilai, Louis Sutter, Philippe Baufreton, François Neumann, Eric Feron	Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application.	J. Optim. Theory Appl.	2021	DBLP DOI BibTeX RDF
17	Zehai Gao, Cunbao Ma, Jianfeng Zhang, Weijun Xu	Remaining useful life prediction of integrated modular avionics using ensemble enhanced online sequential parallel extreme learning machine.	Int. J. Mach. Learn. Cybern.	2021	DBLP DOI BibTeX RDF
17		Forward Design Method of Avionics System Based on Communication.	Mob. Inf. Syst.	2021	DBLP DOI BibTeX RDF
17	Cong Chen, Bingfei Li, Jieshi Shen	A Model-Based Requirements Analysis Method for Avionics System Architecture.	CSDM Asia / CSDM	2021	DBLP DOI BibTeX RDF
17	Peng Guo, Feiyang Liu, Na Wu, Yahui Li, Ning Hu	Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System.	CSDM Asia / CSDM	2021	DBLP DOI BibTeX RDF
17	Björn Annighöfer, Johannes Reinhart, Matthias Brunner, Bernd Schulz	The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges.	SEAMS@ICSE	2021	DBLP DOI BibTeX RDF
17	Xuan Hu, Jie Liu	Requirements Knowledge Model Construction and Requirements Elicitation Method of Avionics Systems Software based on Multi-ontology.	ICACT	2021	DBLP DOI BibTeX RDF
17	Marc Benito, Matina Maria Trompouki, Leonidas Kosmidis, Juan David Garcia, Sergio Carretero, Ken Wenger	Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study.	DATE	2021	DBLP DOI BibTeX RDF
17	Yuhang Huang, Linlin Shi, Yucheng Lu	Research on Module-level Fault Diagnosis of Avionics System Based on Residual Convolutional Neural Network.	ACAI	2021	DBLP DOI BibTeX RDF
17	Björn Annighöfer, Andreas Schweiger, Marina Reich	3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21).	Software Engineering	2021	DBLP DOI BibTeX RDF
17	Laurent Dieudonné, Andreas Bayha, Benedikt Müller 0005	RMC Factory: A New Approach for Avionics Software Reuse.	Software Engineering (Satellite Events)	2021	DBLP BibTeX RDF
17	Runfeng Chen, Yang Hu 0003, Yanze Hou	Architecture analysis for avionics prognostics and health management system.	CAA SAFEPROCESS	2021	DBLP DOI BibTeX RDF
17	Boyang Zhou, Liang Cheng 0001	A Reality-Conforming Approach for QoS Performance Analysis of AFDX in Cyber-Physical Avionics Systems.	IWQoS	2021	DBLP DOI BibTeX RDF
17	Ondrej Benedikt, Michal Sojka, Pavel Zaykov, David Hornof, Matej Kafka, Premysl Sucha, Zdenek Hanzálek	Thermal-Aware Scheduling for MPSoC in the Avionics Domain: Tooling and Initial Results.	RTCSA	2021	DBLP DOI BibTeX RDF
17	Matheus Dias Maciel	Development of a low-cost avionics platform for small-scale model airplanes.	ICM	2021	DBLP DOI BibTeX RDF
17	Hüseyin Sagirkaya, Neslihan Dogan Aydemir, Ramazan Altinsoy	Automation of Avionics Integration Test.	CIVEMSA	2021	DBLP DOI BibTeX RDF
17	Hüseyin Sagirkaya, Kadriye Polat, Yusuf Erkam Yilmaz	Avionics Modelling Environment.	CIVEMSA	2021	DBLP DOI BibTeX RDF
17	Emil Karlsson	Optimisation methods for solving a large-scale avionics scheduling problem.		2021	RDF
17	Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli	Model checking intelligent avionics systems for test cases generation using multi-agent systems.	Expert Syst. Appl.	2020	DBLP DOI BibTeX RDF
17	Yi Lyu, Yijie Jiang	Examination on avionics system fault prediction technology based on ashy neural network and fuzzy recognition.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
17	Guillaume Hubert, Sébastien Aubry, Juan Antonio Clemente	Impact of Ground-Level Enhancement (GLE) Solar Events on Soft Error Rate for Avionics.	IEEE Trans. Aerosp. Electron. Syst.	2020	DBLP DOI BibTeX RDF
17	Huakun Chen, Weiguo Zhang, Yongxi Lyu	Research on Partition Parameter Design Method for Integrated Modular Avionics Based on MOEA/D-ADV.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Shuwen Chen, Hongjuan Ge, Jing Li, Michael G. Pecht	Correction to "Progressive Improved Convolutional Neural Network for Avionics Fault Diagnosis".	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Qing Zhou, Jinyan Wang, Guoquan Zhang, Keqing Guo, Xinye Cai, Lisong Wang, Yuhua Huang	A Two-Phase Multiobjective Local Search for the Device Allocation in the Distributed Integrated Modular Avionics.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Yuqian Wu, Gang Xiao 0002, Miao Wang	Cascading Failure Analysis Method of Avionics Based on Operational Process State.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Shenghui Gu	Fault Prognosis of Avionics using Transferred Deep Belief Network with Fusion Strategy.	Int. J. Perform. Eng.	2020	DBLP DOI BibTeX RDF
17	Ronghua Xu, Yu Chen 0002, Erik Blasch, Alexander J. Aved, Genshe Chen, Dan Shen	Hybrid Blockchain-Enabled Secure Microservices Fabric for Decentralized Multi-Domain Avionics Systems.	CoRR	2020	DBLP BibTeX RDF
17	Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan	CDST: A Toolkit for Testing Cockpit Display Systems of Avionics.	CoRR	2020	DBLP BibTeX RDF
17	Pangun Park, Piergiuseppe Di Marco, Junghyo Nah, Carlo Fischione	Wireless Avionics Intra-Communications: A Survey of Benefits, Challenges, and Solutions.	CoRR	2020	DBLP BibTeX RDF
17	Peter Reji, K. Natarajan, K. R. Shobha	Performance Evaluation of Wireless Protocols for Avionics Wireless Network.	J. Aerosp. Inf. Syst.	2020	DBLP DOI BibTeX RDF
17	Joe Gregory, Lucy Berthoud, Theo Tryfonas, Alain Rossignol, Ludovic Faure	The long and winding road: MBSE adoption for functional avionics of spacecraft.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
17	Jasminka Matevska, Enrico Noack, Manuel Reinhold, Eike-Kristian Diekmann	Decentralised Avionics and Software Architecture for Sounding Rocket Missions.	Software Engineering (Workshops)	2020	DBLP BibTeX RDF
17	Björn Annighöfer, Andreas Schweiger, Marina Reich	2nd Workshop on Avionics Systems and Software Engineering.	SE	2020	DBLP DOI BibTeX RDF
17	Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, Eric Alata	On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications.	ISSRE	2020	DBLP DOI BibTeX RDF
17	Pei Hong, Chunling Sheng, Xiaohu Luo, Yueyuan Jin, Ruonan Rao	OACV: OCL-based Avionics Component Verification.	HP3C	2020	DBLP DOI BibTeX RDF
17	Xueli Zheng, Zhongwang Zhang, Xinyang Yan, Zhongjiang Yan, Mao Yang 0001, Bo Li 0089	A Distributed Reservation and Contention Combined TDMA Protocol for Wireless Avionics Intra-communication Networks.	IoTaaS	2020	DBLP DOI BibTeX RDF