Search results for "ARINC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
67	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
67	Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.	SIES	2007	DBLP DOI BibTeX RDF
49	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
42	Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler	A model-based approach for supporting engineering usability evaluation of interaction techniques.	EICS	2011	DBLP DOI BibTeX RDF
42	Frank Singhoff, Alain Plantec	AADL modeling and analysis of hierarchical schedulers.	SIGAda	2007	DBLP DOI BibTeX RDF	ada framework, cheddar, platypus, real time, scheduling analysis, AADL, timed automaton
42	Alban Gabillon, Laurent Gallon	Availability Constraints for Avionic Data Buses.	ARES	2006	DBLP DOI BibTeX RDF
41	Vysakh Prasannan, Shahin Shemshian, Arinc Gurkan, Lakshmi Babu Saheer, Mahdi Maktabdar Oghaz	Two-Phase Open-Domain Question Answering System.	SGAI Conf.	2022	DBLP DOI BibTeX RDF
41	Shuhang Wang, Szu-Yeu Hu, Eugene Cheah, Xiaohong Wang, Jingchao Wang, Lei Chen, Masoud Baikpour, Arinc Ozturk, Qian Li 0032, Shinn-Huey Chou, Constance D. Lehman, Viksit Kumar, Anthony E. Samir	U-Net Using Stacked Dilated Convolutions for Medical Image Segmentation.	CoRR	2020	DBLP BibTeX RDF
41	Szu-Yeu Hu, Shuhang Wang, Wei-Hung Weng, Jingchao Wang, Xiaohong Wang, Arinc Ozturk, Qian Li 0032, Viksit Kumar, Anthony E. Samir	Weakly Supervised Context Encoder using DICOM metadata in Ultrasound Imaging.	CoRR	2020	DBLP BibTeX RDF
41	Szu-Yeu Hu, Shuhang Wang, Wei-Hung Weng, Jingchao Wang, Xiaohong Wang, Arinc Ozturk, Quan Li, Viksit Kumar, Anthony E. Samir	Self-Supervised Pretraining with DICOM metadata in Ultrasound Imaging.	MLHC	2020	DBLP BibTeX RDF
41	Erdem Arinc Bulgur, Huseyin Demircioglu, Halil I. Basturk	Light Source Tracking with Quadrotor by Using Extremum Seeking Control.	ACC	2018	DBLP DOI BibTeX RDF
41	Alper Pahsa, T. Arinc Bayazit, Gokcen Alat, Buyurman Baykal	Fault tree analysis of a fire hazard of a power distribution cabinet with Petri Nets.	SMC	2010	DBLP DOI BibTeX RDF
28	David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-Based approaches
28	David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat	An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-based approaches
28	Indranil Saha, Suman Roy 0001	A Finite State Modeling of AFDX Frame Management Using Spin.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	ARINC, AFDX frame management design, fault tolerance, verification, LTL, Industrial case study, Spin model checker, finite state modeling
28	François Clouté, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard	Hardware/software co-design of an avionics communication protocol interface system: an industrial case study.	CODES	1999	DBLP DOI BibTeX RDF	ARINC, POLIS, co-design, Esterel, avionics
25	Vitaly Cheptsov, Alexey Khoroshilov	Robust Resource Partitioning Approach for ARINC 653 RTOS.	CoRR	2023	DBLP DOI BibTeX RDF
25	Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu 0003, Jun Sun 0001	Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
25	Mehmet Sirin Onen, Arda Yurdakul	Container Scheduling Under ARINC 653 Scheduler Constraints.	DSD	2023	DBLP DOI BibTeX RDF
25	Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng, Bozheng Liu	Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded Systems.	IEEE Trans. Computers	2022	DBLP DOI BibTeX RDF
25	B. Kh. Barladian, Lev Z. Shapiro, N. B. Deryabin, Yu. A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov	Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard.	Program. Comput. Softw.	2022	DBLP DOI BibTeX RDF
25	Ziyan Wang, Yan Zhang	A Formal Specification of Operating System based on ARINC 653.	CoRR	2022	DBLP DOI BibTeX RDF
25	Ikram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Sègla Kpodjedo	A Domain Specific Language for the ARINC 653 Specification.	ISSRE Workshops	2022	DBLP DOI BibTeX RDF
25	Jinchao Chen, Keke Chen, Chenglie Du, Yifan Liu 0007	Design and implementation of a virtual ARINC 653 simulation platform.	Simul.	2021	DBLP DOI BibTeX RDF
25	Xudong Shi 0002, Yang Liu, Xiangyang Xu, Tao Jing	Online Detection of Aircraft ARINC Bus Cable Fault Based on SSTDR.	IEEE Syst. J.	2021	DBLP DOI BibTeX RDF
25	Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman	Model-based optimization of ARINC-653 partition scheduling.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
25	Maksim Raenchuk, Vitaly Cheptsov, Alexey Khoroshilov	Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system.	CoRR	2021	DBLP BibTeX RDF
25	Vitaly Cheptsov, Alexey Khoroshilov	Dynamic Analysis of ARINC 653 RTOS with LLVM.	CoRR	2021	DBLP BibTeX RDF
25	Pavan Kumar Paluri, Guangli Dai, Albert Mo Kim Cheng	ARINC 653-inspired regularity-based resource partitioning on xen.	LCTES	2021	DBLP DOI BibTeX RDF
25	Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim	Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.	SAC	2021	DBLP DOI BibTeX RDF
25	Metin Yeniaydin, Ömer Faruk Gemici, Muhammet Selim Demir, Ibrahim Hökelek, Sinem Coleri, Ufuk Tureli	Priority Re-assignment for Improving Schedulability and Mixed-Criticality of ARINC 664. (PDF / PS)	Networking	2021	DBLP DOI BibTeX RDF
25	Eyüp Can Akpolat, Ömer Faruk Gemici, Muhammet Selim Demir, Ibrahim Hökelek, Sinem Coleri, Hakan Ali Çirpan	Genetic Algorithm Based ARINC 664 Mixed Criticality Optimization Using Network Calculus.	ICC Workshops	2021	DBLP DOI BibTeX RDF
25	Sedat Kaya, Bekir Gül, Muhammet Selim Demir, Ibrahim Hökelek, Sinem Coleri, Muhammet Garip, Hüseyin Üvet	Delay Optimization for Switchless ARINC 664 Mesh Networks with Cyclic Dependencies.	LATINCOM	2021	DBLP DOI BibTeX RDF
25	Bekir Gül, Ömer Faruk Gemici, Ibrahim Hökelek, Muhammet Garip	Latency Analysis of Switchless ARINC 664 Using Network Calculus.	SIU	2021	DBLP DOI BibTeX RDF
25	Nimrod Gilboa Markevich, Avishai Wool	Hardware Fingerprinting for the ARINC 429 Avionic Bus.	CoRR	2020	DBLP BibTeX RDF
25	Ning Fu, Lijun Shan, Chenglie Du, Zhiqiang Liu, Han Peng	Modelling and verification of ARINC 653 hierarchical preemptive scheduling.	Int. Arab J. Inf. Technol.	2020	DBLP DOI BibTeX RDF
25	Gedare Bloom, Joel Sherrill	Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard.	ISORC	2020	DBLP DOI BibTeX RDF
25	Nimrod Gilboa Markevich, Avishai Wool	Hardware Fingerprinting for the ARINC 429 Avionic Bus.	ESORICS (2)	2020	DBLP DOI BibTeX RDF
25	Eyüp Can Akpolat, Muhammed Seker, Selçuk Cevher, Emrah Sapla, Serdar Özgür Ata	An Omnet++ Simulation for Performance Analysis of ARINC 664 P7 Avionics Data Network.	SIU	2020	DBLP DOI BibTeX RDF
25	Melike Nur Durceylan, Ömer Faruk Gemici, Ibrahim Hökelek, Hikmet Asmer	Reconfigurable ARINC 664 End System Implementation on FPGA.	SIU	2020	DBLP DOI BibTeX RDF
25	Hyun-Chul Jo, Joo-Kwang Park, Hyun-Wook Jin, Hyung-Sik Yoon, Sang-Hun Lee	Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs.	IEEE Access	2019	DBLP DOI BibTeX RDF
25	Alexy Torres Aurora Dugo, Jean-Baptiste Lefoul, Felipe Gohring de Magalhaes, Dahman Assal, Gabriela Nicolescu	Cache Locking Content Selection Algorithms for ARINC-653 Compliant RTOS.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
25	Neeraj Kumar Singh 0001, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel	Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.	FTSCS	2019	DBLP DOI BibTeX RDF
25	Derek Yu, Michael Vaquier, Evan Laflamme, Gabrielle Doucette-Poirier, Justin Tremblay, Brett H. Meyer	ARINC-825TBv2: A Hardware-in-the-Ioop Simulation Platform for Aerospace Security Research.	RSP	2019	DBLP DOI BibTeX RDF
25	Hector Usach, Juan A. Vila, Alfons Crespo, P. Yuste Pérez	Automatic Deployment of an RPAS Mission Manager to an ARINC-653 Compliant System.	J. Intell. Robotic Syst.	2018	DBLP DOI BibTeX RDF
25	Yian Zhu, Shuyan Luo, He Lin, Linlin Huang	Research on Security Critical Task Scheduling Algorithm Based on ARINC 653 Standard.	CISIS	2018	DBLP DOI BibTeX RDF
25	Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim, Junbeom Yoo	Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
25	Héctor Pérez 0001, J. Javier Gutiérrez	Handling heterogeneous partitioned systems through ARINC-653 and DDS.	Comput. Stand. Interfaces	2017	DBLP DOI BibTeX RDF
25	Yongwang Zhao, Zhibin Yang, David Sanán	Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B.	CoRR	2015	DBLP BibTeX RDF
25	Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu 0003	Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.	ISSRE	2015	DBLP DOI BibTeX RDF
25	Alexander Zuepke, Marc Bommert, Daniel Lohmann	AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel.	RTAS	2015	DBLP DOI BibTeX RDF
25	Luis Fernando Arcaro, Rômulo Silva de Oliveira	Lessons learned from the development of an ARINC 653 compatible Operating System.	INDIN	2015	DBLP DOI BibTeX RDF
25	Jesús Fernández 0001, Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour	AFDX Emulator for an ARINC-Based Training Platform.	Ada-Europe	2015	DBLP DOI BibTeX RDF
25	Ewelina Szpakowska-Peas	The Tester of the Actuator with ARINC 429 Data Bus.	Recent Advances in Automation, Robotics and Measuring Techniques	2014	DBLP DOI BibTeX RDF
25	Héctor Pérez 0001, J. Javier Gutiérrez	Data-centric distribution technology in Arinc-653 systems.	REACTION	2014	DBLP BibTeX RDF
25	Cheolsoon Kown, Duksoo Kim, Hyunwoo Joe, Hyungshin Kim	Linux-based memory efficient ARINC 653 partition scheduler.	ETFA	2014	DBLP DOI BibTeX RDF
25	Weilong Ruan, Zhengjun Zhai	Kernel-Level Design to Support Partitioning and Hierarchical Real-Time Scheduling of ARINC 653 for VxWorks.	DASC	2014	DBLP DOI BibTeX RDF
25	L. M. Parrilla, A. L. Rodriguez, A. Simon-Muela, Maria Angeles Martin Prats	Design of a Middleware Interface for ARINC 429 Data Bus.	IEEE Trans. Aerosp. Electron. Syst.	2012	DBLP DOI BibTeX RDF
25	Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai	Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.	ISORC	2012	DBLP DOI BibTeX RDF
25	Sanghyun Han, Hyun-Wook Jin	Kernel-level ARINC 653 partitioning for Linux.	SAC	2012	DBLP DOI BibTeX RDF
25	Víctor López-Jaquero, Francisco Montero Simarro, Elena Navarro 0001, Antonio Esparcia, José Antonio Catalán	Supporting ARINC 653-based Dynamic Reconfiguration.	WICSA/ECSA	2012	DBLP DOI BibTeX RDF
25	Adriano Tavares, Adriano Didimo, T. Lobo, Paulo Cardoso, Jorge Cabral 0001, Sergio Montenegro 0001	Rodosvisor - An ARINC 653 quasi-compliant hypervisor: CPU, memory and I/O virtualization.	ETFA	2012	DBLP DOI BibTeX RDF
25	Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan	A component model for hard real-time systems: CCM with ARINC-653.	Softw. Pract. Exp.	2011	DBLP DOI BibTeX RDF
25	Slawomir Samolej	ARINC Specification 653 Based Real-Time Software Engineering. (PDF / PS)	e Informatica Softw. Eng. J.	2011	DBLP DOI BibTeX RDF
25	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
25	M. Kamaraju, A. V. N. Tilak, K. Lal Kishore, K. Baburao	VHDL Implementation and Verification of ARINC-429 Core	CoRR	2010	DBLP BibTeX RDF
25	Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan	A Real-Time Component Framework: Experience with CCM and ARINC-653.	ISORC	2010	DBLP DOI BibTeX RDF
25	Sarah Thompson, Guillaume P. Brat, Arnaud Venet	Software Model Checking of ARINC-653 Flight Code with MCP.	NASA Formal Methods	2010	DBLP BibTeX RDF
25	Guy Martin Tchamgoue, In-Bon Kuh, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun	A Race Healing Framework in Simulated ARINC-653.	FGIT-FGCN (2)	2010	DBLP DOI BibTeX RDF
25	Alban Gabillon, Laurent Gallon	Availability of ARINC 629 Avionic Data Bus.	J. Networks	2006	DBLP DOI BibTeX RDF
25	Haowei Bai, Mohammed Atiquzzaman, William D. Ivancic	QoS Support in ARINC 664 P8 Data Networks: ATN Applications Over TCP/IP Ground-to-Ground Subnetworks.	J. Aerosp. Comput. Inf. Commun.	2006	DBLP DOI BibTeX RDF
25	Joyce L. Tokar	Space & Time Partitioning with ARINC 653 and pragma profile.	IRTAW	2003	DBLP DOI BibTeX RDF
25	S. J. Berger	ARINC 629 digital communication system - application on the 777 and beyond.	Microprocess. Microsystems	1997	DBLP DOI BibTeX RDF
25	A. Cook, K. J. R. Hunt	ARINC 653 - Achieving software re-use.	Microprocess. Microsystems	1997	DBLP DOI BibTeX RDF
25	Neil C. Audsley, Alan Grigg	Timing analysis of the ARINC 629 databus for real-time applications.	Microprocess. Microsystems	1997	DBLP DOI BibTeX RDF
25	N. Rieckmann	ARINC 629 data bus physical layer technology.	Microprocess. Microsystems	1997	DBLP DOI BibTeX RDF
25	A. Cook	ARINC 653 - Challenges of the present and future.	Microprocess. Microsystems	1995	DBLP DOI BibTeX RDF
25	Todd Carpenter, Kevin Driscoll 0001, Ken Hoyme, Jim Carciofini	ARINC 659 Scheduling: Problem Definition.	RTSS	1994	DBLP DOI BibTeX RDF
21	Frank Singhoff	MP1: real time scheduling theory and its use with ada.	SIGAda	2007	DBLP DOI BibTeX RDF
21	Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy	Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development.	VLSI Design	2007	DBLP DOI BibTeX RDF
21	David von Oheimb	Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).	ISoLA	2006	DBLP DOI BibTeX RDF
21	Abdoulaye Gamatié, Thierry Gautier	Synchronous Modeling of Avionics Applications using the SIGNAL Languag.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
21	Ying C. (Bob) Yeh	Design Considerations in Boeing 777 Fly-By-Wire Computers.	HASE	1998	DBLP DOI BibTeX RDF
21	Jacques Brygier, Marc Richard-Foy	Certification of Ada Real-Time Executives for Safety Critical Applications.	Ada-Europe	1993	DBLP DOI BibTeX RDF
21	John W. Sheppard, William R. Simpson	Using a Competitive Learning Neural Network to Evaluate Software Complexity.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF