Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Marion Morel	Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures.	IMBSA	2014	DBLP DOI BibTeX RDF
17	Denis V. Buzdalov, Alexey V. Khoroshilov	A Discrete-Event Simulator for Early Validation of Avionics Systems.	ACVI@MoDELS	2014	DBLP BibTeX RDF
17	Aram Hovsepyan, Dimitri Van Landuyt, Steven Op de beeck, Sam Michiels, Wouter Joosen, Gustavo Rangel, Javier Fernandez Briones, Jan Depauw	Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report.	MD2P2@MoDELS	2014	DBLP BibTeX RDF
17	Nesrine Badache, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul	Managing temporal allocation in Integrated Modular Avionics.	ETFA	2014	DBLP DOI BibTeX RDF
17	Dinh-Khanh Dang, Ahlem Mifdaoui	Performance optimization of a UWB-based network for safety-critical avionics.	ETFA	2014	DBLP DOI BibTeX RDF
17	Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman	Compositional Schedulability Analysis of An Avionics System Using UPPAAL.	ICAASE	2014	DBLP BibTeX RDF
17	Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris	A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.	PRDC	2014	DBLP DOI BibTeX RDF
17	Philipp Diebold, Constanza Lampasona, Sergey Zverlov, Sebastian Voss	Practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains: a survey.	EASE	2014	DBLP DOI BibTeX RDF
17	Christof Efkemann	A Framework for Model-based Testing of Integrated Modular Avionics. (PDF / PS)		2014	RDF
17	Hamdi Ayed	Analysis and optimiozation of heterogeneous avionics networks. (Analyse et optimisation des réseaux avioniques hétérogènes).		2014	RDF
17	Pinchas Weisberg, Yair Wiseman	Efficient memory control for avionics and embedded systems.	Int. J. Embed. Syst.	2013	DBLP DOI BibTeX RDF
17	D.-K. Dang, Ahlem Mifdaoui, Thierry Gayraud	Performance analysis of TDMA-based wireless network for safety-critical avionics.	SIGBED Rev.	2013	DBLP DOI BibTeX RDF
17	Ying Wang, Dianfu Ma	An Automatic Development Process for Integrated Modular Avionics Software.	J. Networks	2013	DBLP DOI BibTeX RDF
17	Carlos C. Insaurralde, Miguel A. Seminario, Juan F. Jiménez, Jose M. Giron-Sierra	Model-Driven System Development for Distributed Fuel Management in Avionics.	J. Aerosp. Inf. Syst.	2013	DBLP DOI BibTeX RDF
17	Jiuping Xu, Fan Li, Lei Xu 0025	Distributed Fusion Parameters Extraction for Integrated System Health Management to Space Avionics.	J. Aerosp. Inf. Syst.	2013	DBLP DOI BibTeX RDF
17	Qi Li, Sébastien Rumley, Madeleine Glick, Johnnie Chan, Howard Wang, Keren Bergman, Raj Dutt	Scaling Star-Coupler-Based Optical Networks for Avionics Applications.	JOCN	2013	DBLP DOI BibTeX RDF
17	Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber	A Meta-model for Tests of Avionics Embedded Systems.	MODELSWARD	2013	DBLP DOI BibTeX RDF
17	Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber	STELAE - A model-driven test development environment for avionics systems.	ISORC	2013	DBLP DOI BibTeX RDF
17	Hamid Ayed, Ahlem Mifdaoui, Christian Fraboul	Interconnection Optimization for Multi-cluster Avionics Networks.	ECRTS	2013	DBLP DOI BibTeX RDF
17	Bernard Stepien, Liam Peyton	Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3.	ICTSS	2013	DBLP DOI BibTeX RDF
17	Andrea Baldovin, Andrea Graziano, Enrico Mezzetti, Tullio Vardanega	Kernel-level time composability for avionics applications.	SAC	2013	DBLP DOI BibTeX RDF
17	Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini	Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study.	SAFECOMP	2013	DBLP DOI BibTeX RDF
17	Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette	Low-Level Attacks on Avionics Embedded Systems.	SAFECOMP	2013	DBLP DOI BibTeX RDF
17	Andreas Schweiger	Applying software patterns to requirements engineering for avionics systems.	SysCon	2013	DBLP DOI BibTeX RDF
17	Ji Wu 0003, Shaukat Ali 0001, Tao Yue 0002, Jie Tian	Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations.	ISSRE	2013	DBLP DOI BibTeX RDF
17	Fabien Geyer, Emanuel Heidinger, Stefan Schneele, Alexander von Bodisco	Evaluation of Audio/Video Bridging forwarding method in an avionics switched ethernet context.	ISCC	2013	DBLP DOI BibTeX RDF
17	Xinzhou Zhou, Zheng Xiang, Meng Liu, Jiang Xiang	A Multiwavelet Support Vector Machine Prediction Algorithm for Avionics PHM.	ICIC (1)	2013	DBLP DOI BibTeX RDF
17	Haiyong Dong, Yi Lin, Yanyuan Zhang, Zhe Zhou, Zhiyong Zhang	Using Static Priority Queueing to optimize the Avionics Full Duplex Switched Ethernet.	ICNC	2013	DBLP DOI BibTeX RDF
17	Franck Wartel, Leonidas Kosmidis, Code Lo, Benoit Triquet, Eduardo Quiñones, Jaume Abella 0001, Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti, Liliana Cucu, Tullio Vardanega, Francisco J. Cazorla	Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study.	SIES	2013	DBLP DOI BibTeX RDF
17	Jianguo Yao, Guchuan Zhu	System-Level Scheduling of Mixed-Criticality Traffics in Avionics Networks.	ICPADS	2013	DBLP DOI BibTeX RDF
17	Dongha An, Kyong Hoon Kim, Ki-Il Kim	A Feasible Configuration of AFDX Networks for Real-Time Flows in Avionics Systems.	REACTION	2013	DBLP BibTeX RDF
17	Quentin Enard, Stéphanie Gatti, Julien Bruneau 0001, Youg-Joo Moon, Emilie Balland, Charles Consel	Design-driven Development of Dependable Applications - A Case Study in Avionics.	PECCS	2013	DBLP BibTeX RDF
17	Nesrine Badache, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul	End-to-end delay analysis in an Integrated Modular Avionics architecture.	ETFA	2013	DBLP DOI BibTeX RDF
17	Ji Wu 0003, Tao Yue 0002, Shaukat Ali 0001, Huihui Zhang	Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study.	QSIC	2013	DBLP DOI BibTeX RDF
17	Marc Ronell	Safety concerns regarding the use of visual programming in civilian avionics software.	ISARCS	2013	DBLP DOI BibTeX RDF
17	Amit Sharma, Ravindra Mukhiya, S. Santosh Kumar, B. D. Pant	Design and Simulation of Bulk Micromachined Accelerometer for Avionics Application.	VDAT	2013	DBLP DOI BibTeX RDF
17	Ying Wen, Mingqing Xiao 0003	Diagnosis Rule Mining of Airborne Avionics Using Formal Concept Analysis.	CyberC	2013	DBLP DOI BibTeX RDF
17	Fabien Kuntz	Une approche basée modèle pour l'optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic. (A model-based approach for avionics systems monitoring optimization with respect to diagnostic performances).		2013	RDF
17	Alexandru-Robert Guduvan	Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués. (A model-driven development of tests for avionics embedded systems.).		2013	RDF
17	Yu Hua 0001, Xue Liu 0001	Scheduling Heterogeneous Flows with Delay-Aware Deduplication for Avionics Applications.	IEEE Trans. Parallel Distributed Syst.	2012	DBLP DOI BibTeX RDF
17	Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park, Jung-Eun Kim, Lui Sha	Modeling towards incremental early analyzability of networked avionics systems using virtual integration.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
17	Marcantonio Catelani, Lorenzo Ciani, Giovanni Barile	A new design technique of TFT-LCD display for avionics application.	Microelectron. Reliab.	2012	DBLP DOI BibTeX RDF
17	Ottmar Bender, Martin Hiller, Maurice Girod, Carsten Strobel, Martin Waßmuth, Laurent Dieudonné	Application and Evaluation in the Avionics Domain.	Model-Based Engineering of Embedded Systems	2012	DBLP DOI BibTeX RDF
17	Behzad Mesgarzadeh, Ingemar Söderquist, Atila Alvandpour	Reliability challenges in avionics due to silicon aging.	DDECS	2012	DBLP DOI BibTeX RDF
17	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Worst-Case Backlog Evaluation of Avionics Switched Ethernet Networks with the Trajectory Approach.	ECRTS	2012	DBLP DOI BibTeX RDF
17	Hairui Zhou, Jian Li 0021, Yazhou Ren 0001, Lina He, Fei Hu	Active delay variation control for improving fault tolerance in an avionics network.	WFCS	2012	DBLP DOI BibTeX RDF
17	Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh	MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.	ReCoSoC	2012	DBLP DOI BibTeX RDF
17	Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao	Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software.	COMPSAC	2012	DBLP DOI BibTeX RDF
17	Antoine Ferlin, Virginie Wiels	Combination of Static and Dynamic Analyses for the Certification of Avionics Software.	ISSRE Workshops	2012	DBLP DOI BibTeX RDF
17	Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai	Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.	FMICS	2012	DBLP DOI BibTeX RDF
17	Jan Nowotsch, Michael Paulitsch	Leveraging Multi-core Computing Architectures in Avionics.	EDCC	2012	DBLP DOI BibTeX RDF
17	Sang-Hun Lee, Sanghyun Han, Hyun-Wook Jin	A Configurable, Extensible Implementation of Inter-Partition Communication for Integrated Modular Avionics.	RTCSA	2012	DBLP DOI BibTeX RDF
17	Gosse Wedzinga, K. Wiegmink	Using CHARTER tools to develop a safety-critical avionics application in Java.	JTRES	2012	DBLP DOI BibTeX RDF
17	Mohammed Omair Khan, Michael Sievers, Shaun Standley	Model-Based Verification and Validation of Spacecraft Avionics.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
17	Michael Gerke 0002, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter	FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
17	Joshua Thompson, Subodh Bhandari	Development of an Avionics System for a Blimp for Position Hold and Autonomous Waypoint Navigation.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
17	Hyun-Wook Jin, Sang-Hun Lee, Sanghyun Han, Hyun-Chul Jo, Doohyun Kim	WiP Abstract: Challenges and Strategies for Exploiting Integrated Modular Avionics on Unmanned Aerial Vehicles.	ICCPS	2012	DBLP DOI BibTeX RDF
17	Volodimir Raspopov, Mihail Gryazev, Volodimir Kukhar	Avionics Specialists Training in Tula State University.	ACE	2012	DBLP DOI BibTeX RDF
17	Neset Sozen, Ettore Merlo	Adapting software product lines for complex certifiable avionics software.	PLEASE@ICSE	2012	DBLP DOI BibTeX RDF
17	Maxime Ouellet, Ettore Merlo, Neset Sozen, Martin Gagnon	Locating features in dynamically configured avionics software.	ICSE	2012	DBLP DOI BibTeX RDF
17	Hamid Ayed, Ahlem Mifdaoui, Christian Fraboul	Frame packing strategy within gateways for multi-cluster avionics embedded networks.	ETFA	2012	DBLP DOI BibTeX RDF
17	Bafing Sambou	Systèmes communicants sans fil pour les réseaux avioniques embarqués. (Wireless communications systems for embedded avionics networks).		2012	RDF
17	Robert Hilbrich, J. Reinier van Kampenhout	Partitioning and Task Transfer on NoC-based Many-Core Processors in the Avionics Domain.	Softwaretechnik-Trends	2011	DBLP BibTeX RDF
17	Sérgio D. Penna	Networking in modern avionics: challenges and opportunities.	SIGBED Rev.	2011	DBLP DOI BibTeX RDF
17	Friedrich Eisenbrand, Martin Niemeier, Martin Skutella, José Verschae, Andreas Wiese	Real-time Avionics Optimization.	it Inf. Technol.	2011	DBLP DOI BibTeX RDF
17	Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino 0001	Verification support for ARINC-653-based avionics software.	Softw. Test. Verification Reliab.	2011	DBLP DOI BibTeX RDF
17	Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti	Worst Case Temporal Consistency in Integrated Modular Avionics Systems.	HASE	2011	DBLP DOI BibTeX RDF
17	Huafeng Yu, Yue Ma 0004, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent	System-level co-simulation of integrated avionics using polychrony.	SAC	2011	DBLP DOI BibTeX RDF
17	Dajiang Suo, Jinxia An, Jihong Zhu 0001	AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics.	APSEC	2011	DBLP DOI BibTeX RDF
17	Christof Efkemann, Jan Peleska 0001	Model-Based Testing for the Second Generation of Integrated Modular Avionics.	ICST Workshops	2011	DBLP DOI BibTeX RDF
17	Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao	An AADL-Based Modeling Method for ARINC653-Based Avionics Software.	COMPSAC	2011	DBLP DOI BibTeX RDF
17	Benjamin M. Brosgol	Do-178c: the next avionics safety standard.	SIGAda	2011	DBLP DOI BibTeX RDF
17	Bafing Sambou, Fabrice Peyrard, Christian Fraboul	Scheduling avionics flows on an IEEE 802.11e HCCA and AFDX hybrid network.	ISCC	2011	DBLP DOI BibTeX RDF
17	Min-Young Nam, Eunsoo Seo, Lui Sha, Kyung-Joon Park, Kyungtae Kang	Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network.	RTCSA (1)	2011	DBLP DOI BibTeX RDF
17	Yu Hua 0001, Xue Liu 0001	Scheduling design and analysis for end-to-end heterogeneous flows in an avionics network.	INFOCOM	2011	DBLP DOI BibTeX RDF
17	Xiaoqiang Ji, Jian Li 0021, Huanzhong Li, Hairui Zhou, Fei Hu	Analysis of Deterministic End-to-end Delay in Multi-hop AFDX Avionics Network System.	PECCS	2011	DBLP BibTeX RDF
17	Hyeon-Gab Shin, Myeong-Chul Park, Jung-Soo Jun, Yong Ho Moon, Seok-Wun Ha	Implementation of an Integrated Test Bed for Avionics System Development.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
17	Robert Hilbrich, Hans-Joachim Goltz	Model-based generation of static schedules for safety critical multi-core systems in the avionics domain.	IWMSE@ICSE	2011	DBLP DOI BibTeX RDF
17	Jong-Seo Kim, Sang-Hun Lee, Hyun-Wook Jin	Fieldbus virtualization for Integrated Modular Avionics.	ETFA	2011	DBLP DOI BibTeX RDF
17	Defeng Shen, Shunong Zhang	Design of logic processes for prognostics and health management in an avionics system.	ISI	2011	DBLP DOI BibTeX RDF
17	Frank Dordowsky, Richard Bridges, Holger Tschöpe	Implementing a Software Product Line for a Complex Avionics System.	SPLC	2011	DBLP DOI BibTeX RDF
17	Henri Bauer	Analyse pire cas de flux hétérogènes dans un réseau embarqué avion. (Heterogeneous flows worst case analysis in avionics embedded networks).		2011	RDF
17	Marco Lanuzza, Paolo Zicari, Fabio Frustaci, Stefania Perri, Pasquale Corsonello	Exploiting Self-Reconfiguration Capability to Improve SRAM-based FPGA Robustness in Space and Avionics Applications.	ACM Trans. Reconfigurable Technol. Syst.	2010	DBLP DOI BibTeX RDF
17	Shau-Shiun Jan	Vertical Guidance Performance Analysis of the L1-L5 Dual-Frequency GPS/WAAS User Avionics Sensor.	Sensors	2010	DBLP DOI BibTeX RDF
17	Claudiu Farcas, Emilia Farcas, Ingolf Krüger, Massimiliano Menarini	Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
17	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Worst-case end-to-end delay analysis of an avionics AFDX network.	DATE	2010	DBLP DOI BibTeX RDF
17	Michel Pignol	COTS-based applications in space avionics.	DATE	2010	DBLP DOI BibTeX RDF
17	Friedrich Eisenbrand, Karthikeyan Kesavan, Raju S. Mattikalli, Martin Niemeier, Arnold W. Nordsieck, Martin Skutella, José Verschae, Andreas Wiese	Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods.	ESA (1)	2010	DBLP DOI BibTeX RDF
17	Odile Laurent	Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.	ICST	2010	DBLP DOI BibTeX RDF	Formal methods, testing strategy, validation and verification, automatic test case generation
17	José Rufino, João Craveiro, Paulo Veríssimo	Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics.	SEUS	2010	DBLP DOI BibTeX RDF
17	Jean Souyris	WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.	WCET	2010	DBLP DOI BibTeX RDF
17	Volker Zerbe, Mario Schulz, Armin Zimmermann, Stephan Marwedel	Model-based evaluation of avionics maintenance and logistics processes.	SMC	2010	DBLP DOI BibTeX RDF
17	Robert Hilbrich, Reinier van Kampenhout	Dynamic reconfiguration in NoC-based MPSoCs in the avionics domain.	IWMSE@ICSE	2010	DBLP DOI BibTeX RDF
17	João Craveiro, José Rufino	Schedulability analysis in partitioned systems for aerospace avionics.	ETFA	2010	DBLP DOI BibTeX RDF
17	Jean-Luc Scharbarg, Frédéric Ridouard, Christian Fraboul	A probabilistic analysis of end-to-end delays on an avionics switched Ethernet.	IEEE Trans. Ind. Informatics	2009	DBLP DOI BibTeX RDF
17	David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine	Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.	FMICS	2009	DBLP DOI BibTeX RDF
17	Arvind Easwaran, Insup Lee 0001, Oleg Sokolsky, Steve Vestal	A Compositional Scheduling Framework for Digital Avionics Systems.	RTCSA	2009	DBLP DOI BibTeX RDF
17	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Applying and Optimizing Trajectory Approach for Performance Evaluation of AFDX Avionics Network.	ETFA	2009	DBLP DOI BibTeX RDF
17	Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai	Enhancing dependability in avionics using virtualization.	VDTS@EuroSys	2009	DBLP DOI BibTeX RDF
17	Darren D. Cofer, Michael W. Whalen, Steven P. Miller	Model-Checking of Safety-Critical Software for Avionics.	ERCIM News	2008	DBLP BibTeX RDF