Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Leon Alkalai, Wai-Chi Fang	An integrated microspacecraft avionics architecture using 3D multichip module building blocks.	ICCD	1996	DBLP DOI BibTeX RDF	integrated microspacecraft avionics architecture, 3D multichip module building blocks, continued miniaturization, spacecraft electronics, building-block elements, stackable multichip module 3D-architecture, module testing, spacecraft avionics system, Deep-Space One asteroid-flyby mission, Jet propulsion Laboratory, operating systems, software development environments, system reliability, avionics, avionics system
59	Martin Svéda, Vladimír Oplustil	Experience with integration and certification of COTS based embedded system into advanced avionics system.	SIES	2007	DBLP DOI BibTeX RDF
57	James J. Hunt	Realtime Java technology in avionics systems.	JTRES	2010	DBLP DOI BibTeX RDF	realtime Java technology, standards, avionics
57	Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny	Formal Verification of Avionics Software Products.	FM	2009	DBLP DOI BibTeX RDF	avionics software, verification, formal verification, static analysis, Abstract Interpretation, safety, development process
57	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
57	Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels	Robustness analysis of avionics embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis
57	Bruno Dutertre, Victoria Stavridou	Formal Requirements Analysis of an Avionics Control System.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Formal specification, formal verification, requirements analysis, safety critical systems, avionics systems
54	Michael Paulitsch, Harald Rueß, Maria Sorea	Non-functional Avionics Requirements.	ISoLA	2008	DBLP DOI BibTeX RDF	integrated modular avionics, Non-functional requirements, avionics
49	Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae	An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics.	APSEC	2007	DBLP DOI BibTeX RDF
49	Lianlei Lin, Shouda Jiang	Design of Universal Simulation Platform for Avionics.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
49	Savio Chau, Van Dang, Joseph Xu, James Lu	An Automatic Technique to Synthesize Avionics Architecture.	AHS	2006	DBLP DOI BibTeX RDF
49	Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek	Los-Cost Avionics System for Ultra-Light Aircrafts.	ETFA	2006	DBLP DOI BibTeX RDF
49	Hussein Charara, Christian Fraboul	Modelling and Simulation of an Avionics Full Duplex Switched Ethernet.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
49	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
49	Mohsen Sharifi, Behrouz Zolfaghari	An Approach to Exploiting Skewed Associative Memories in Avionics Systems.	ICPADS	2002	DBLP DOI BibTeX RDF
49	D. A. Haverkamp, R. J. Richards	Towards Safety Critical Middleware for Avionics Applications.	LCN	2002	DBLP DOI BibTeX RDF
49	Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy	Resource Scheduling in Dependable Integrated Modular Avionics.	DSN	2000	DBLP DOI BibTeX RDF
49	Don S. Batory, Lou Coglianese, Mark Goodwin, Steve Shafer	Creating Reference Architectures: An Example from Avionics.	SSR	1995	DBLP DOI BibTeX RDF
48	John C. Munson, Darrell S. Werries	Measuring software evolution.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	space vehicles, software evolution measurement, sequential software builds, module complexity characteristics, software complexity domains, software system changes, attribute domains, problem indicators, measurement baseline, Space Shuttle Primary Avionics Software System, software metrics, avionics, aerospace computing, evolving software systems
46	Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek	A real-time Java virtual machine with applications in avionics.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	virtual machines, memory management, Real-time Java, Avionics
46	Jean Souyris, David Delmas	Experimental Assessment of Astrée on Safety-Critical Avionics Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
43	Stéphanie Gaudan, Gilles Motet, Guillaume Auriol	Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager.	EDCC	2008	DBLP DOI BibTeX RDF
43	Chris Raistrick, Tony Bloomfield	Model Driven Architecture - An Industry Perspective.	WADS	2003	DBLP DOI BibTeX RDF
40	Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin	Polychronous design of embedded real-time applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	IMA, Synchronous approach, Signal, Avionics
38	Frank Dordowsky, Walter Hipp	Adopting software product line principles to manage software variants in a complex avionics system.	SPLC	2009	DBLP BibTeX RDF
38	Andrew Wils, Stefan Van Baelen, Tom Holvoet, Karel De Vlaminck	Agility in the Avionics Software World.	XP	2006	DBLP DOI BibTeX RDF
38	Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin	A Modeling Paradigm for Integrated Modular Avionics Design.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
38	Mark Schulte	Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study.	ISORC	2005	DBLP DOI BibTeX RDF
38	Miguel A. Sánchez-Puebla, Jesús Carretero 0001	A new approach for distributed computing in avionics systems.	ISICT	2003	DBLP DOI BibTeX RDF
38	Darren D. Cofer, Murali Rangarajan	Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.	EMSOFT	2002	DBLP DOI BibTeX RDF
38	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
38	Bruce A. Lewis, Steve Vestal, David J. McConnell	Modern Avionics Requirements for the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
35	Marco Lanuzza, Paolo Zicari, Fabio Frustaci, Stefania Perri, Pasquale Corsonello	An Efficient and Low-Cost Design Methodology to Improve SRAM-Based FPGA Robustness in Space and Avionics Applications.	ARC	2009	DBLP DOI BibTeX RDF	FPGA, Space, Reconfigurable System, Single Event Upsets, Avionics
35	Juan López, Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria	A middleware architecture for unmanned aircraft avionics.	Middleware (Demos and Posters)	2007	DBLP DOI BibTeX RDF	service-based, middleware, implementation, embedded, UAV, publish-subscribe, avionics
35	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
33	Anh-Quang Nguyen, Abdessamad Amrhar, René Landry	Direct RF Sampling Avionics Architecture for future multi-system integrated Avionics.	NEWCAS	2018	DBLP DOI BibTeX RDF
33	Jung-Eun Kim, Man-Ki Yoon, Richard M. Bradford, Lui Sha	Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems.	COMPSAC	2014	DBLP DOI BibTeX RDF
32	Ananda Challaghatta Muniyappa	Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF
32	Sebastian Voss	Scheduling in Time-Triggered Networks.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
32	Hussein Charara, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul	Methods for bounding end-to-end delays on an AFDX network.	ECRTS	2006	DBLP DOI BibTeX RDF
32	Tony Bloomfield	MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
32	Sathyanarayanan Subbiah, Srikanth Nagaraj	Issues with Object Orientation in Verifying Safety-Critical Systems.	ISORC	2003	DBLP DOI BibTeX RDF
32	Savio N. Chau	Experience of Using COTS Components for Deep Space Missions.	HASE	1999	DBLP DOI BibTeX RDF
32	John C. Ostgaard	A Simulation Support System Capable Of Control, Monitoring And Simulation Of Airborne Systems.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
30	Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente	A New Approach to Memory Partitioning in On-Board Spacecraft Software.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
30	John Knight	The Glass Cockpit.	Computer	2007	DBLP DOI BibTeX RDF	how things work, avionics systems
30	David Delmas, Jean Souyris	Astrée: From Research to Industry.	SAS	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
30	Osamah A. Rawashdeh, Garrett D. Chandler, James E. Lumpp Jr.	A UAU test and development environment based on dynamic system reconfiguration.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	fault-tolerance, embedded systems, dynamic reconfiguration, UAV, avionics, flight control
30	Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty	A Pattern-Based Framework for Software Anomaly Detection.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	software tools framework, pattern specification language, high assurance software, safety-critical avionics systems, software inspection
30	Sung-Mook Lim, Jin-Young Choi	Specification and verification of real-time systems using ACSR-VP.	RTCSA	1997	DBLP DOI BibTeX RDF	ACSR-VP, avionics control systems, nuclear reactor control systems, bisimulation relation, real-time systems, reliability, formal specification, formal verification, formal verification, scheduling algorithm, priority ceiling protocol
30	T. Boggess, F. Shirley	High-performance scalable computing for real-time applications.	ICCCN	1997	DBLP DOI BibTeX RDF	high-performance scalable computing, interconnect technologies, high-performance computing technologies, embedded military applications, heterogeneous computer nodes, high-throughput system area network, standardized intelligent node-to-network interface, LANai, Sanders, Ptolemy environment, high density interconnect packaging, avionics applications, PacketWay, Internet Engineering Task Force proposed standard, high speed inter-SAN encryption, simulation, modeling, real-time systems, reconfigurable computing, real-time applications, RISC, switched network, digital signal processor, Myrinet
30	Wing Lam, Sara Jones 0001	Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology.	ASE	1997	DBLP DOI BibTeX RDF	requirements engineering mechanisation, domain analysis technology, industrial avionics domain, application domain analysis, task domain analysis, formal specification, reuse
30	Neil C. Audsley, Andy J. Wellings	Analysing APEX applications.	RTSS	1996	DBLP DOI BibTeX RDF	APEX applications, civil aircraft, Integrated Modular Avionics, standard operating system interface, two-level scheduling scheme, statically generated cyclic schedule, release jitter, real time systems, response times, operating systems (computers), fixed priority scheduling
30	Ching-Shan Peng, Kwei-Jay Lin	A semantic-based concurrency control protocol for real-time transactions.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions
30	Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas	Detecting program modules with low testability.	ICSM	1995	DBLP DOI BibTeX RDF	aircraft computers, program module detection, low testability, static software product measures, dynamic quality measure, real time avionics software system, component program modules, classification performance, discriminant modeling methodology, real-time systems, software quality, software metrics, program testing, testability, testability analysis, principal components
30	Norman F. Schneidewind	Predictions for increasing confidence in the reliability of safety critical software.	ICECCS	1995	DBLP DOI BibTeX RDF	residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence
30	William E. Howden	Comments Analysis and Programming Errors.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	comments analysis, decomposition errors, data-processing program, avionics real-time program, event sequence analysis, software engineering, fault detection, software development process, software validation, programming errors
27	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
27	Visar Januzaj, Ralf Mauersberger, Florian Biechele	Performance Modelling for Avionics Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF
27	Miguel A. Sánchez-Puebla, Ignacio Aedo, Paloma Díaz 0001	Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces.	HCI (9)	2007	DBLP DOI BibTeX RDF	Predictive Evaluation, Human Factors, Notification Systems, Evaluation/methodology, Critical Parameters
27	George Romanski	Ada in the avionics industry.	SIGAda	2005	DBLP DOI BibTeX RDF	Ada
27	D. Rehage, Udo B. Carl, M. Merkel, A. Vahl	The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics.	SAFECOMP	2004	DBLP DOI BibTeX RDF
27	Jeffrey G. Gray, Jing Zhang 0003, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty	Model-Driven Program Transformation of a Large Avionics Framework.	GPCE	2004	DBLP DOI BibTeX RDF
27	Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre	Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.	ICSE	2004	DBLP DOI BibTeX RDF
27	Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle	Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems.	ECBS	2003	DBLP DOI BibTeX RDF
27	Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand	An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.	DSN	2003	DBLP DOI BibTeX RDF
27	Lui Sha	Real-Time Virtual Machines for Avionics Software Porting and Development.	RTCSA	2003	DBLP DOI BibTeX RDF
27	Zonghua Gu 0001, Shige Wang, Sharath Kodase, Kang G. Shin	An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software.	RTSS	2003	DBLP DOI BibTeX RDF
27	Clark Weissman	MLS-PCA: A High Assurance Security Architecture for Future Avionics.	ACSAC	2003	DBLP DOI BibTeX RDF
27	Darren D. Cofer, Murali Rangarajan	Formal Verification of Overhead Accounting in an Avionics RTOS.	RTSS	2002	DBLP DOI BibTeX RDF
27	Famantanantsoa Randimbivololona	Orientations in Verification Engineering of Avionics Software.	Informatics	2001	DBLP DOI BibTeX RDF
27	Stuart Anderson, Massimo Felici	Controlling Requirements Evolution: An Avionics Case Study.	SAFECOMP	2000	DBLP DOI BibTeX RDF
27	Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim 0001	An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF
27	Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen	Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
27	Lorraine E. P. Rice, Albert Mo Kim Cheng	Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
27	François Pilarski	Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.	B	1998	DBLP DOI BibTeX RDF
27	H. E. Romanowsky, L. A. Bartelme, N. W. Jensen, C. M. Knutson	The Rockwell Avionics Group Software Engineering Training Program.	CSEE	1989	DBLP DOI BibTeX RDF
27	Gerard E. Migneault	Software reliability and advanced avionics.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
21	Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier	Virtual prototyping AADL architectures in a polychronous model of computation.	MEMOCODE	2008	DBLP DOI BibTeX RDF
21	Luca Sterpone, M. A. Aguirre, Jonathan Noel Tombs, Hipólito Guzmán-Miranda	On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications.	DATE	2008	DBLP DOI BibTeX RDF
21	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl	The effect of program and model structure on mc/dc test adequacy coverage.	ICSE	2008	DBLP DOI BibTeX RDF	structural coverage metrics
21	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
21	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm	Integration of Formal Analysis into a Model-Based Software Development Process.	FMICS	2007	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
21	B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy	Tool for Translating Simulink Models into Input Language of a Model Checker.	ICFEM	2006	DBLP DOI BibTeX RDF
21	Darren D. Cofer, Murali Rangarajan	Simulation and verification II: event-triggered environments for verification of real-time systems.	WSC	2003	DBLP DOI BibTeX RDF
21	David C. Sharp, Edward Pla, Kenn R. Luecke	Evaluating Mission Critical Large-Scale Embedded System Performance In Real-Time Java.	RTSS	2003	DBLP DOI BibTeX RDF
21	Axel Schulte	Cognitive Automation for Tactical Mission Management: Concept and Prototype Evaluation in Flight Simulator Trials.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Crew assistance, Flight guidance, Decision-making, Automation, Situation awareness, Workload, Human-machine interface, Cognitive engineering
21	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
21	Bruce Lewis	Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems.	RISSEF	2002	DBLP DOI BibTeX RDF
21	Robert Allen, Steve Vestal, Dennis Cornhill, Bruce A. Lewis	Using an architecture description language for quantitative analysis of real-time systems.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	fault-tolerant, real-time, software architecture, embedded
21	Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani	The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources.	PRDC	1999	DBLP DOI BibTeX RDF
21	James Debardelaben, Vijay K. Madisetti, Anthony J. Gadient	Incorporating Cost Modeling in Embedded-System Design.	IEEE Des. Test Comput.	1997	DBLP DOI BibTeX RDF
21	Kathy V. C. Parris	Implementing Accountability.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
19	Wilfried Steiner, Günther Bauer 0001, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan	TTEthernet Dataflow Concept.	NCA	2009	DBLP DOI BibTeX RDF	mixed-criticality systems, cross-industry application, Avionics Full-Duplex Switched Ethernet (AFDX), Time-Triggered Protocol (TTP), TTEthernet, Ethernet
19	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
19	Steven P. Miller	Will This Be Formal?	TPHOLs	2008	DBLP DOI BibTeX RDF	model checking, Formal methods, theorem proving, avionics
19	Guy Durrieu, Hélène Waeselynck, Virginie Wiels	LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF	formal methods, automation, Test oracle, avionics
19	Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman	Verifying really complex systems: on earth and beyond.	DAC	2008	DBLP DOI BibTeX RDF	Mars Exploration Rover, bald lemurs, rendering software, space vehicles, verification, computer animation, power grids, avionics
19	David Cebrián, Valentín Valero Ruiz, Fernando Cuartero	Automation of Avionic Systems Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	grammar testing, Real time systems, Testing, Avionics systems
19	Panagiotis Manolios, Daron Vroon 0001, Gayatri Subramanian	Automating component-based system assembly.	ISSTA	2007	DBLP DOI BibTeX RDF	integrated modular avionics, pseudo-boolean satisfiability, system assembly problem, component-based software development