Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Chong Wang, Haiyan Sun	A Reliability Model of integrated modular avionics (IMA) Software Considering with environment.	ICMSS	2017	DBLP DOI BibTeX RDF
17	Georgeta Igna, Laurent Dieudonné, Sebastian Voss, Bernhard Schätz	Model-based deployment generation for safety-critical avionics systems.	SIES	2017	DBLP DOI BibTeX RDF
17	Michael Adam Jacobs, Varun S. Sudarsanan, Shreyas Vathul Subramanian, Daniel DeLaurentis, Zixu Zhang, Steven J. Landry	Measuring the impact of avionics faults with a set of safety metrics.	SMC	2017	DBLP DOI BibTeX RDF
17	Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, Koyalkar Raman Kishore	Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems.	COMPUTE	2017	DBLP DOI BibTeX RDF
17	Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind	Qualification of a Model Checker for Avionics Software Verification.	NFM	2017	DBLP DOI BibTeX RDF
17	Ahlem Mifdaoui, Ahmed Amari	Real-time ethernet solutions supporting ring topology from an avionics perspective: A short survey.	ETFA	2017	DBLP DOI BibTeX RDF
17	Lars Hanschke, Leo Krüger, Thomas Meyerhoff, Christian Renner, Andreas Timm-Giel	Radio altimeter interference mitigation in wireless avionics intra-communication networks. (PDF / PS)	WiOpt	2017	DBLP DOI BibTeX RDF
17	Kevin Mueller	Hardening High-Assurance Systems: MILS as Software Design for Avionics.	MILS	2017	DBLP DOI BibTeX RDF
17	Luis Palacios Medinacelli, Yue Ma 0009, Gaëlle Lortal, Claire Laudy, Chantal Reynaud	Data Driven Concept Refinement to Support Avionics Maintenance.	SML@IJCAI	2017	DBLP BibTeX RDF
17	Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster	Functional Requirements-Based Automated Testing for Avionics.	ICECCS	2017	DBLP DOI BibTeX RDF
17	Qianlin Zhou, Hui Lu 0002, Honglei Qin, Jinhua Shi, Rongrong Zhou	TS-Preemption Threshold and Priority Optimization for the Process Scheduling in Integrated Modular Avionics.	BIC-TA	2017	DBLP DOI BibTeX RDF
17	Ahmed Amari	Specification and Analysis of AeroRing -A Full Duplex Ethernet Ring Network for New Generation Avionics Systems. (Présentée et soutenue le 21 Septembre 2017 par Ahmed AMARI).		2017	RDF
17	Soukayna Raja M'Sirdi	Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems. (Intégration logicielle d'Applications Avioniques Modulaires Intégrées (IMA) sur COTS multicoeur : méthodologie d'intégration et métriques d'analyse temporelle conformes aux régulations de certification pour la réutilisation de logiciel dans les systèmes IMA).		2017	RDF
17	Quan Zhang, Shihai Wang, Bin Liu 0032	Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL.	IET Softw.	2016	DBLP DOI BibTeX RDF
17	Jianguo Yao, Jiahong Wu, Qingchun Liu, Zhiyong Xiong, Guchuan Zhu	System-Level Scheduling of Mixed-Criticality Traffics in Avionics Networks.	IEEE Access	2016	DBLP DOI BibTeX RDF
17	Jiuping Xu, Zhiyi Meng, Lei Xu 0025	Integrated System Health Management-based Fuzzy On-board Condition Prediction for Manned Spacecraft Avionics.	Qual. Reliab. Eng. Int.	2016	DBLP DOI BibTeX RDF
17	Ettore Settanni, Linda B. Newnes, Nils E. Thenent, Daniel Bumblauskas, Glenn C. Parry, Yee Mey Goh	A Case Study in Estimating Avionics Availability from Field Reliability Data.	Qual. Reliab. Eng. Int.	2016	DBLP DOI BibTeX RDF
17	Chao Zhang, Xiaomu Shi	Safety Evaluation for Upgraded Avionics System.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Russell Shannon, Maria Legato, Steven Stockhamer, Crystal Wagner	Power law behavior in Navy and Marine Corps avionics systems.	IEEE Instrum. Meas. Mag.	2016	DBLP DOI BibTeX RDF
17	Xiaoxu Diao, Bin Liu 0032, Shihai Wang	A survey of avionics analysis and simulation based on AADL model.	Int. J. Inf. Commun. Technol.	2016	DBLP DOI BibTeX RDF
17	Raja Naeem Akram, Konstantinos Markantonakis, Keith Mayes, Pierre-François Bonnefoi, Damien Sauveron, Serge Chaumette	Security and Performance Comparison of Different Secure Channel Protocols for Avionics Wireless Networks.	CoRR	2016	DBLP BibTeX RDF
17	Raja Naeem Akram, Konstantinos Markantonakis, Keith Mayes, Pierre-François Bonnefoi, Damien Sauveron, Serge Chaumette	An Efficient, Secure and Trusted Channel Protocol for Avionics Wireless Networks.	CoRR	2016	DBLP BibTeX RDF
17	Raja Naeem Akram, Konstantinos Markantonakis	Challenges of Security and Trust of Mobile Devices as Digital Avionics Component.	CoRR	2016	DBLP BibTeX RDF
17	Pu-Hai Chiang, Chau-Chen Torng	A production planning and optimisation of multi-mode job shop scheduling problem for an avionics manufacturing plant.	Int. J. Manuf. Technol. Manag.	2016	DBLP DOI BibTeX RDF
17	Jürgen Auersperg, Christian Collet, Thierry Dean, Dietmar Vogel, Thomas Winkler	Effects of residual stresses on cracking and delamination risks of an avionics MEMS pressure sensor.	Microelectron. Reliab.	2016	DBLP DOI BibTeX RDF
17	Wenhua Xu, Yuping Zhang	基于航电系统架构模型的安全性分析工具的设计与实现 (Design and Implementation of Safety Analysis Tool Based on Avionics System Architecture Model).	计算机科学	2016	DBLP DOI BibTeX RDF
17	Dexin Zhou, Ning Li, Zhexu Liu	基于AADL的航电构型控制系统的建模分析 (Modeling and Analysis of Avionics Configurations Control System Based on AADL).	计算机科学	2016	DBLP DOI BibTeX RDF
17	Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila	Analysing sanity of requirements for avionics systems.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
17	Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni	Incorporating adaptivity using learning in avionics self adaptive software: A case study.	ICACCI	2016	DBLP DOI BibTeX RDF
17	Sandip Das 0003, Suvra Sekhar Das, Indrajit Chakrabarti	Hardware implementation of MIL-STD-1553 protocol over OFDMA-PHY based wireless high data rate avionics systems.	ANTS	2016	DBLP DOI BibTeX RDF
17	Hassna Louadah, Roger Champagne, Yvan Labiche, Yann-Gaël Guéhéneuc	A Data Extraction Process for Avionics Systemsl Interface Specifications.	MODELSWARD	2016	DBLP DOI BibTeX RDF
17	Paul Boivin Champeaux, David Faura, Marc Gatti, William Terroy	A Distributed Avionics Communication Network.	DSN Workshops	2016	DBLP DOI BibTeX RDF
17	Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni	Formal verification of avionics self adaptive software: A case study.	ISEC	2016	DBLP DOI BibTeX RDF
17	Yukai Hao, Xiaohong Zhang, Xining Cui, Baolei Huang	Design and realization of IMA/DIMA system management based on avionics switched network.	CITS	2016	DBLP DOI BibTeX RDF
17	André Rocha, Cláudio Silva 0002, Rasmus Bo Sørensen, Jens Sparsø, Martin Schoeberl	Avionics Applications on a Time-Predictable Chip-Multiprocessor.	PDP	2016	DBLP DOI BibTeX RDF
17	Natali Pujols, María Ángeles Losada, Javier Mateo, Alicia López, Dwight H. Richards, Neo Antoniades	A POF model for short fiber segments in avionics applications.	ICTON	2016	DBLP DOI BibTeX RDF
17	Ahmed Amari, Ahlem Mifdaoui, Fabrice Frances, Jérôme Lacan	Worst-case timing analysis of AeroRing - A Full Duplex Ethernet ring for safety-critical avionics.	WFCS	2016	DBLP DOI BibTeX RDF
17	Leandro Batista, Omar Hammami	Capella based system engineering modelling and multi-objective optimization of avionics systems.	ISSE	2016	DBLP DOI BibTeX RDF
17	Andrés Paz, Ghizlane El-Boussaidi	On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification.	ISSRE Workshops	2016	DBLP DOI BibTeX RDF
17	Andreas Löfwenmark, Simin Nadjm-Tehrani	Understanding Shared Memory Bank Access Interference in Multi-Core Avionics.	WCET	2016	DBLP DOI BibTeX RDF
17	Luis Palacios, Gaëlle Lortal, Claire Laudy, Christian Sannino, Ludovic Simon, Giuseppe Fusco, Yue Ma 0009, Chantal Reynaud	Avionics Maintenance Ontology Building for Failure Diagnosis Support.	KEOD	2016	DBLP DOI BibTeX RDF
17	Paul J. Parkinson	Applying MILS to multicore avionics systems.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
17	Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson	Content-Dependent Security Policies in Avionics.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
17	Le Wang, Taoran Cheng, Yang Li	Preliminary Research of Secure Integrated Computing in Future Avionics.	CIS	2016	DBLP DOI BibTeX RDF
17	Ramiro Sámano-Robles, Eduardo Tovar, Joao Cintra, André Rocha	Wireless avionics intra-communications: Current trends and design issues.	ICDIM	2016	DBLP DOI BibTeX RDF
17	Nesrine Badache	Allocation temporelle de systèmes avioniques modulaires embarqués. (Temporal allocation in distributed modular avionics systems).		2016	RDF
17	Ronan Cossé	Le diagnostic de système de systèmes : une approche à base de modèles appliquée aux bancs d'intégration avionique. (System of systems diagnosis : a model-based approach for avionics test bench diagnosis).		2016	RDF
17	Marc Gatti	Évolution des Architectures des Systèmes Avioniques Embarqués. (Evolution of the embedded avionics systems architecture).		2016	RDF
17	Jiuping Xu, Zhengqiang Zhong, Lei Xu 0025	ISHM-oriented adaptive fault diagnostics for avionics based on a distributed intelligent agent system.	Int. J. Syst. Sci.	2015	DBLP DOI BibTeX RDF
17	Kyungtae Kang, Min-Young Nam, Lui Sha	Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring.	IEEE Syst. J.	2015	DBLP DOI BibTeX RDF
17	Jiuping Xu, Zhiyi Meng, Lei Xu 0025	ISHM-Oriented Hierarchical Effectiveness Evaluation Approach for Spacecraft Avionics.	IEEE Syst. J.	2015	DBLP DOI BibTeX RDF
17	Sergey B. Utkin, Svetlana V. Batova, Sergey A. Blagonravov, Pavel V. Konovalov, I. O. Zharinov	Automated construction of software configuration tables for real-time systems in avionics.	Program. Comput. Softw.	2015	DBLP DOI BibTeX RDF
17	Frank Dordowsky	An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.	F-IDE	2015	DBLP DOI BibTeX RDF
17	Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila	Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).	CoRR	2015	DBLP BibTeX RDF
17	Ruiying Li, Jingfu Wang, Haitao Liao, Ning Huang	A new method for reliability allocation of avionics connected via an airborne network.	J. Netw. Comput. Appl.	2015	DBLP DOI BibTeX RDF
17	Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber	Test Languages for In-the-Loop Avionics Tests.	J. Aerosp. Inf. Syst.	2015	DBLP DOI BibTeX RDF
17	Qingfan Gu, Guoqing Wang, Lihua Zhang, Ming Zhai	基于模型驱动的航电系统安全性分析技术研究 (Research on Model Based Safety Analysis Technology for Avionics System).	计算机科学	2015	DBLP DOI BibTeX RDF
17	Lei Sun, Haiyan Yang, Ji Wu 0003	基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法 (Simulation and Real-time Analysis for Embedded Software Design Model with Consideration of Integrated Modular Avionics Platform).	计算机科学	2015	DBLP BibTeX RDF
17	Ji Wu 0003, Tao Yue 0002, Shaukat Ali 0001, Huihui Zhang	A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software.	Softw. Pract. Exp.	2015	DBLP DOI BibTeX RDF
17	Maryam Mohajertehrani, Umar Shafique, Yvon Savaria, Mohamad Sawan	Harvesting energy from data lines for avionics applications: Power conversion chain architecture.	ICM	2015	DBLP DOI BibTeX RDF
17	Alejandra Ruiz 0001, Xabier Larrucea, Huáscar Espinoza	A Tool Suite for Assurance Cases and Evidences: Avionics Experiences.	EuroSPI	2015	DBLP DOI BibTeX RDF
17	Xabier Iturbe, Didier Keymeulen, Patrick Yiu, Daniel Berisford, Robert Carlson, Kevin P. Hand, Emre Ozer 0001	On the Use of System-on-Chip Technology in Next-Generation Instruments Avionics for Space Exploration.	VLSI-SoC (Selected Papers)	2015	DBLP DOI BibTeX RDF
17	Xabier Iturbe, Didier Keymeulen, Emre Ozer 0001, Patrick Yiu, Daniel Berisford, Kevin P. Hand, Robert Carlson	An integrated SoC for science data processing in next-generation space flight instruments avionics.	VLSI-SoC	2015	DBLP DOI BibTeX RDF
17	Miguel Sánchez-Puebla, Roberto Sobrino, José Martín	Everyday Tools Used for Avionics User Modifiable Software Automatic Generation.	IS-EUD	2015	DBLP DOI BibTeX RDF
17	Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha	Schedulability bound for integrated modular avionics partitions.	DATE	2015	DBLP BibTeX RDF
17	Franck Wartel, Leonidas Kosmidis, Adriana Gogonel, Andrea Baldovin, Zoë R. Stephenson, Benoit Triquet, Eduardo Quiñones, Code Lo, Enrico Mezzetti, Ian Broster, Jaume Abella 0001, Liliana Cucu-Grosjean, Tullio Vardanega, Francisco J. Cazorla	Timing analysis of an avionics case study on complex hardware/software platforms.	DATE	2015	DBLP BibTeX RDF
17	Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska 0001	Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler.	SAFECOMP	2015	DBLP DOI BibTeX RDF
17	Bin Chen, Quanxin Cao, Ruina Xu	Evaluation and Simulation for Civil Aircraft Integrated Avionics Network Based on Multi-performance Indices.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
17	Jongwoon Yoo, In-Won Park, Vinh To, Jason Q. H. Lum, Trey Smith	Avionics and perching systems of free-flying robots for the International Space Station.	ISSE	2015	DBLP DOI BibTeX RDF
17	Xiang Tao, Yongxin Zhu 0001, Yishu Mao, Han Song, Mengyun Liu, Xinyi Liu, Weiguang Sheng, Weiwei Shi 0002	Designing ARINC653 Partition Constrained Scheduling for Secure Real Time Embedded Avionics.	CSCloud	2015	DBLP DOI BibTeX RDF
17	Antoine Miné, David Delmas	Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.	EMSOFT	2015	DBLP DOI BibTeX RDF
17	D.-K. Dang, Ahlem Mifdaoui	Stochastic delay analysis of a wireless safety-critical avionics network.	SIES	2015	DBLP DOI BibTeX RDF
17	Maawad Makdessi, Ali Sari, Guillaume Aubard, Pascal Venet, Charles Joubert, Jimmy Duwattez	Online health monitoring of metallized polymer film capacitors for avionics applications.	ISIE	2015	DBLP DOI BibTeX RDF
17	Luis Miguel Parrilla Casquet, Enrique Sanchez Blanco, Maria Angeles Martin Prats, Jose Maria Caballero Bejar, German Soriano Rull	Design, implementation and validation of a software data loading application for avionics equipment in AFDX network using COTS Ethernet.	ICIT	2015	DBLP DOI BibTeX RDF
17	Shigeru Imai, Alessandro Galli, Carlos A. Varela	Dynamic Data-driven Avionics Systems: Inferring Failure Modes from Data Streams.	ICCS	2015	DBLP DOI BibTeX RDF
17	Luis E. Y. Herrera, Gustavo C. Amaral 0001, Jean Pierre von der Weid	Ultra-high-resolution tunable PC-OTDR for PON monitoring in avionics.	OFC	2015	DBLP BibTeX RDF
17	Qing Zhou, Zhiyong Xiong, Zhijuan Zhan, Tao You, Nan Jiang	The mapping mechanism between Distributed Integrated Modular Avionics and data distribution service.	FSKD	2015	DBLP DOI BibTeX RDF
17	Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, Guillermo Weber-Urbina	Generating Qualifiable Avionics Software: An Experience Report (E).	ASE	2015	DBLP DOI BibTeX RDF
17	Ronan Cossé, Denis Berdjag, Sylvain Piechowiak, David Duvivier, Christian Gaurel	Methodology and Application of Meta-Diagnosis on Avionics Test Benches.	DX	2015	DBLP BibTeX RDF
17	Ronan Cossé, Denis Berdjag, Sylvain Piechowiak, David Duvivier, Christian Gaurel	Meta-Diagnosis for a Special Class of Cyber-Physical Systems: The Avionics Test Benches.	IEA/AIE	2015	DBLP DOI BibTeX RDF
17	Le Wang, Yunmin Sun, Peng Guo, Yadi Zhang	An Enhanced Reconfiguration Method for the Second Generation Integrated Modular Avionics.	CIS	2015	DBLP DOI BibTeX RDF
17	Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri	The CONCERTO Methodology for Model-Based Development of Avionics Software.	Ada-Europe	2015	DBLP DOI BibTeX RDF
17	Björn Annighöfer	Model-based Architecting and Optimization of Distributed Integrated Modular Avionics.		2015	RDF
17	Daniel Münch	Safe and secure I/O sharing for mixed-criticality embedded real-time systems for avionics.		2015	RDF
17	Matthew Timperley	The integration of explanation-based learning and fuzzy control in the context of software assurance as applied to modular avionics.		2015	RDF
17	Elie Richa	Qualification of source code generators in the avionics domain : automated testing of model transformation chains. (Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles).		2015	RDF
17	Xavier Jean	Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique. (Hypervisor control of COTS multi-cores processors in order to enforce determinism for future avionics equipment).		2015	RDF
17	Lei Xu 0025, Jiuping Xu	Integrated system health management-based progressive diagnosis for space avionics.	IEEE Trans. Aerosp. Electron. Syst.	2014	DBLP DOI BibTeX RDF
17	Rui Wang 0025, Richard J. Black, Behzad Moslehi, Alireza R. Behbahani, Biswanath Mukherjee	Optical Control Network for Avionics Applications Using a WDM Packet Ring.	IEEE Trans. Aerosp. Electron. Syst.	2014	DBLP DOI BibTeX RDF
17	Siow Shyong Lau	Impact of Mobile phone in the Air and Random Access Channel RACH with Time Division Multiple Access TDMA Noise in Aircraft Avionics.	CoRR	2014	DBLP BibTeX RDF
17	Mario Baldi, Guido Marchetto	Design of a Deterministic Service Switch for Avionics Networks.	J. Aerosp. Inf. Syst.	2014	DBLP DOI BibTeX RDF
17	Cody Harrison Fleming, Nancy G. Leveson	Improving Hazard Analysis and Certification of Integrated Modular Avionics.	J. Aerosp. Inf. Syst.	2014	DBLP DOI BibTeX RDF
17	Sanghyun Han, Hyun-Wook Jin	Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives.	Softw. Pract. Exp.	2014	DBLP DOI BibTeX RDF
17	Sören Schreiner, Kim Grüttner, Sven Rosinger, Achim Rettberg	Autonomous Flight Control Meets Custom Payload Processing: A Mixed-Critical Avionics Architecture Approach for Civilian UAVs.	ISORC	2014	DBLP DOI BibTeX RDF
17	Dinh-Khanh Dang, Ahlem Mifdaoui, Thierry Gayraud	Design and analysis of UWB-based network for reliable and timely communications in safety-critical avionics.	WFCS	2014	DBLP DOI BibTeX RDF
17	Tasnim Hamza, Jean-Luc Scharbarg, Christian Fraboul	Priority assignment on an avionics switched Ethernet Network (QoS AFDX).	WFCS	2014	DBLP DOI BibTeX RDF
17	Tom Ferrell, Uma Ferrell	Assuring Avionics - Updating the Approach for the 21st Century.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
17	Montgomery B. Goforth, James E. Ratliff, Richard J. Barton, Raymond S. Wagner, Chatwin Lansdowne	Avionics Architectures for Exploration: Wireless technologies and human spaceflight.	WiSEE	2014	DBLP DOI BibTeX RDF
17	Ying Fang, Yu Hua 0001, Xue Liu 0001	Efficient end-to-end communication services for mixed criticality avionics systems.	IWQoS	2014	DBLP DOI BibTeX RDF
17	Milos Panic, Eduardo Quiñones, Pavel G. Zaykov, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla	Parallel many-core avionics systems.	EMSOFT	2014	DBLP DOI BibTeX RDF