Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	James A. Satterfield	Architecture Advances of the Space Shuttle Orbiter Avionics Computer System.	ISCA	1974	DBLP DOI BibTeX RDF
17	Uno R. Kodres, William McCracken	Design Study of an Avionics Navigation Microcomputer.	ISCA	1974	DBLP DOI BibTeX RDF
17	George A. Anderson	Interconnecting A Distibuted Processor System for Avionics.	ISCA	1973	DBLP DOI BibTeX RDF
11	Santanu Das, Bryan L. Matthews, Ashok N. Srivastava, Nikunj C. Oza	Multiple kernel learning for heterogeneous anomaly detection: algorithm and aviation safety case study.	KDD	2010	DBLP DOI BibTeX RDF	prognostics, prediction, anomaly detection, aeronautics
11	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Timing analysis of esterel programs on general-purpose multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	multiprocessor, timing analysis, synchronous language, esterel
11	Jack Elston, Eric W. Frew, Dale A. Lawrence, Peter Gray, Brian Argrow	Net-Centric Communication and Control for a Heterogeneous Unmanned Aircraft System.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Unmannned aircraft system, Communication and control, Heterogeneous unmanned aircraft system, Cooperative control, UAS
11	Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand	Investigating the usability of real-time scheduling theory with the Cheddar project.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Architecture modelling and verification, Scheduling theory, AADL, Software engineering tools
11	Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
11	José Carlos Castillo 0001, María T. López, Antonio Fernández-Caballero 0001	Vision-Based Text Segmentation System for Generic Display Units.	IWINAC (2)	2009	DBLP DOI BibTeX RDF
11	Indranil Saha, Kuntal Chakraborty, Suman Roy 0001, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma	An approach to reverse engineering of C programs to simulink models with conformance testing.	ISEC	2009	DBLP DOI BibTeX RDF	reverse engineering, c, conformance testing, simulink
11	Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer	Formal Verification of a Microkernel Used in Dependable Software Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
11	Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard	A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.	FM	2009	DBLP DOI BibTeX RDF
11	Stefan Björnander, Lars Grunske, Kristina Lundqvist	Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.	QoSA	2009	DBLP DOI BibTeX RDF	Behavior Annex, TASM, Translation, AADL
11	Luca Sterpone	Timing Driven Placement for Fault Tolerant Circuits Implemented on SRAM-Based FPGAs.	ARC	2009	DBLP DOI BibTeX RDF	fault tolerance, FPGA, Single Event Upset, Triple Modular Redundancy, Timing-driven Placement
11	Sebastian Voss, Maria Sorea, Klaus Echtle	SAL-Based Symbolic Scheduling in Time-Triggered Networks.	IFM	2009	DBLP DOI BibTeX RDF
11	Steven P. Miller	Bridging the Gap Between Model-Based Development and Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
11	Luigi Lavazza, Carla Garavaglia	Using function points to measure and estimate real-time and embedded software: Experiences and guidelines.	ESEM	2009	DBLP DOI BibTeX RDF
11	Angelo Brillout, Daniel Kroening, Thomas Wahl	Mixed abstractions for floating-point arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
11	Brian Dougherty, Jules White, Jaiganesh Balasubramanian, Chris Thompson, Douglas C. Schmidt	Deployment automation with BLITZ.	ICSE Companion	2009	DBLP DOI BibTeX RDF
11	Jan Vitek	Programming Models for Concurrency and Real-Time.	TOOLS (47)	2009	DBLP DOI BibTeX RDF
11	Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero	Hardware support for WCET analysis of hard real-time multicore systems.	ISCA	2009	DBLP DOI BibTeX RDF	wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability
11	Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford	ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
11	Lei Ju 0001, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
11	Zhe Chen 0011, Gilles Motet	A Language-Theoretic View on Guidelines and Consistency Rules of UML.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
11	Xiaorui Wang, Ming Chen 0002, Huang-Ming Huang, Venkita Subramonian, Chenyang Lu 0001, Christopher D. Gill	Control-Based Adaptive Middleware for Real-Time Image Transmission over Bandwidth-Constrained Networks.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Distributed systems, Distributed systems, Distributed Systems, Real-time and embedded systems, Real-time systems and embedded systems
11	Isabelle Perseil, Laurent Pautet	Foundations of a new software engineering method for real-time systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method
11	Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek	Flexible task graphs: a unified restricted thread programming model for java.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, ownership types
11	Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch	Real-Time Testing with TTCN-3.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
11	Jan Peleska 0001	A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.	ICTAC	2008	DBLP DOI BibTeX RDF
11	Juan Alberto Herreria Garcia	Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF).	DATE	2008	DBLP DOI BibTeX RDF
11	Francis G. Wolff, Christos A. Papachristou, Swarup Bhunia, Rajat Subhra Chakraborty	Towards Trojan-Free Trusted ICs: Problem Analysis and Detection Scheme.	DATE	2008	DBLP DOI BibTeX RDF
11	Alessandro Cilardo, Nicola Mazzocca, Luigi Coppolino	Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems.	DSD	2008	DBLP DOI BibTeX RDF
11	Aad P. A. van Moorsel	Panel: Complexity and Resilience.	SAFECOMP	2008	DBLP DOI BibTeX RDF
11	Luca Benini, Davide Bertozzi, Michela Milano	Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming.	ICLP	2008	DBLP DOI BibTeX RDF
11	Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din	The Test Technology TTCN-3.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
11	Didier Keymeulen, Adrian Stoica, Ricardo Salem Zebulum, Srinivas Katkoori, Pradeep Fernando, Hariharan Sankaran, Mohammad M. Mojarradi, Taher Daud	Self-Reconfigurable Mixed-Signal Integrated Circuits Architecture Comprising a Field Programmable Analog Array and a General Purpose Genetic Algorithm IP Core.	ICES	2008	DBLP DOI BibTeX RDF	Self-Healing and Compensation, Self-reconfigurable, Field Programmable Analog Array
11	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
11	Jim Ras, Albert M. K. Cheng	Real-time synchronization on distributed architecture with Ada-2005.	SIGAda	2008	DBLP DOI BibTeX RDF	dpcp, dsrp, edf, ada, pcp, rms, srp
11	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
11	Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis	Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.	FMICS	2008	DBLP DOI BibTeX RDF
11	Steven P. Miller	Formal Methods for Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF
11	Frédéric Ridouard, Jean-Luc Scharbarg, Christian Fraboul	Probabilistic upper bounds for heterogeneous flows using a static priority queueing on an AFDX network.	ETFA	2008	DBLP DOI BibTeX RDF
11	Andreas Rehkopf, Johannes Weber, Hans-Detlef Groeger	Why IEEE 1394 ("FireWire") might not be a perfect choice for factory automation today - a case study from the printing industry.	ETFA	2008	DBLP DOI BibTeX RDF
11	Serena Fritsch, Siobhán Clarke	TimeAdapt: timely execution of dynamic software reconfigurations.	Middleware (Doctoral Symposium)	2008	DBLP DOI BibTeX RDF	dynamic software reconfiguration, real-time embedded systems, timeliness
11	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
11	Georg Jung, John Hatcliff	A correlation framework for the CORBA component model.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Event communication, Event filtering, Event type transformation, Event correlation, CORBA component model (CCM), Component system
11	Norman F. Schneidewind	A Quantitative Approach to Software Development Using IEEE 982.1.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software dependability standard, quantitative approach to software measurement, IEEE 982.1, Software Reliability Engineering
11	Michael F. Siok, Jeff Tian	Empirical Study of Embedded Software Quality and Productivity.	HASE	2007	DBLP DOI BibTeX RDF
11	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl	Model Validation using Automatically Generated Requirements-Based Tests.	HASE	2007	DBLP DOI BibTeX RDF
11	Jude Allred, Ahmad Bilal Hasan, Saroch Panichsakul, William Pisano, Peter Gray, Jyh Huang, Richard Han 0001, Dale A. Lawrence, Kamran Mohseni	SensorFlock: an airborne wireless sensor network of micro-air vehicles.	SenSys	2007	DBLP DOI BibTeX RDF	MAVs, wireless sensor networks, applications, deployments
11	Bertrand Rousseau, Philippe Manet, D. Galerin, D. Merkenbreack, Jean-Didier Legat, F. Dedeken, Yves Gabriel	Enabling certification for dynamic partial reconfiguration using a minimal flow.	DATE	2007	DBLP DOI BibTeX RDF
11	Xavier Olive, Jean-Marie Pasquet, Didier Flament	Industrial applications.	DATE	2007	DBLP DOI BibTeX RDF
11	Federico Baronti, Roberto Roncella, Roberto Saletti, Paolo D'Abramo, L. Di Piro, H. Fabian, M. Giardi	The importance of At-Speed Scan Testing: an industrial experience.	DSD	2007	DBLP DOI BibTeX RDF
11	Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
11	Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Complexity Reduction for the Design of Interacting Controllers.	HSCC	2007	DBLP DOI BibTeX RDF
11	Valério Rosset, Pedro F. Souto, Francisco Vasques	Formal Verification of a Group Membership Protocol Using Model Checking.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
11	Sajid Baloch, Tughrul Arslan, Adrian Stoica	Radiation Hardened Coarse-Grain Reconfigurable Architecture for Space Applications.	IPDPS	2007	DBLP DOI BibTeX RDF
11	Adrian Stoica, Didier Keymeulen, Ricardo Salem Zebulum, Mohammad M. Mojarradi, Srinivas Katkoori, Taher Daud	Adaptive and Evolvable Analog Electronics for Space Applications.	ICES	2007	DBLP DOI BibTeX RDF	Adaptive Hardware, Field Programmable Arrays
11	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
11	Besnik Seljimi, Ioannis Parissis	Automatic generation of test data generators for synchronous programs: Lutess V2.	DOSTA	2007	DBLP DOI BibTeX RDF	Lutess, automatic test generation, synchronous programs
11	Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Thomas Damiano	MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems.	ISAS	2007	DBLP DOI BibTeX RDF	Dependability Design Tools, Real-time SOA systems, Model-Driven Engineering, Generative programming
11	Philippa Conmy, Richard F. Paige	Model-driven Development of Particle System Families.	MOMPES	2007	DBLP DOI BibTeX RDF
11	Steve Vestal	Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.	RTSS	2007	DBLP DOI BibTeX RDF
11	Yong-Kyu Jung	Fault-recovery Non-FPGA-based Adaptable Computing System Design.	AHS	2007	DBLP DOI BibTeX RDF
11	Ricardo Salem Zebulum, Mohammad M. Mojarradi, Adrian Stoica, Didier Keymeulen, Taher Daud	Self-Reconfigurable Analog Arrays: Off-The Shelf Adaptive Electronics for Space Applications.	AHS	2007	DBLP DOI BibTeX RDF
11	Donald K. MacArthur, Carl D. Crane III	Unmanned Ground Vehicle State Estimation using an Unmanned Air Vehicle.	CIRA	2007	DBLP DOI BibTeX RDF
11	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
11	Bev Littlewood	Limits to Dependability Assurance - A Controversy Revisited.	ICSE Companion	2007	DBLP DOI BibTeX RDF
11	Srivaths Ravi 0001, Stefan Mangard	Tutorial T1: Designing Secure SoCs.	VLSI Design	2007	DBLP DOI BibTeX RDF
11	Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy	Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development.	VLSI Design	2007	DBLP DOI BibTeX RDF
11	Colin J. Fidge	Formal change impact analyses for emulated control software.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Software maintenance, Program analysis
11	Elisabeth A. Strunk, John C. Knight	Dependability through Assured Reconfiguration in Embedded System Software.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	real-time systems, embedded systems, formal methods, Reconfiguration, concurrent systems
11	Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee 0001	Formal Modeling and Analysis of the AFDX Frame Management Design.	ISORC	2006	DBLP DOI BibTeX RDF
11	Gwenaël Delaval, Éric Rutten	A domain-specific language for task handlers generation, applying discrete controller synthesis.	SAC	2006	DBLP DOI BibTeX RDF	discrete control synthesis, safe design, real-time systems, domain-specific language, synchronous programming
11	Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl	Interaction Testing in Model-Based Development: Effect on Model-Coverage.	APSEC	2006	DBLP DOI BibTeX RDF
11	Vina Ermagan, Ingolf Krüger, Massimiliano Menarini	Model-Based Failure Management for Distributed Reactive Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF	Failure Management, Ontology, Distributed Systems, Reactive Systems
11	Songtao Xia, Ben Di Vito, César A. Muñoz	Predicate Abstraction of Programs with Non-linear Computation.	ATVA	2006	DBLP DOI BibTeX RDF
11	Mohamed Azimane	High-Quality Memory Test.	MTDT	2006	DBLP DOI BibTeX RDF
11	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
11	Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié	Polychronous mode automata.	EMSOFT	2006	DBLP DOI BibTeX RDF
11	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller	Coverage metrics for requirements-based testing.	ISSTA	2006	DBLP DOI BibTeX RDF
11	Jean-Marc Jézéquel	Reifying the Semantic Domains of Component Contracts.	DIPES	2006	DBLP DOI BibTeX RDF
11	Thomas M. Galla, Karin Anna Hummel, Burkhard Peer	Exploiting Mobile Agents for Structured Distributed Software-Implemented Fault Injection.	HICSS	2006	DBLP DOI BibTeX RDF
11	Xiang Yin 0001	The echo approach to formal verification.	ICSE	2006	DBLP DOI BibTeX RDF	formal specification, formal verification
11	Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ICSE	2006	DBLP DOI BibTeX RDF	unified modeling language (UML), symbolic execution, message sequence charts, active objects
11	Gan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale	Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software development.	ICSE	2006	DBLP DOI BibTeX RDF	deployment and donfiguration, quality-of-service, model-driven development, component middleware
11	Antoine Miné	Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.	VMCAI	2006	DBLP DOI BibTeX RDF
11	Colin F. Snook, Michael Poppleton, Ian Johnson	Towards a Method for Rigorous Development of Generic Requirements Patterns.	RODIN Book	2006	DBLP DOI BibTeX RDF
11	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook	Formal Development of Mechanisms for Tolerating Transient Faults.	RODIN Book	2006	DBLP DOI BibTeX RDF	Transientfaults, refinement, control systems, B Method, FMS
11	Christopher D. Gill, Jeanna M. Gossett, David Corman, Joseph P. Loyall, Richard E. Schantz, Michael Atighetchi, Douglas C. Schmidt	Integrated Adaptive QoS Management in Middleware: A Case Study.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	empirical case studies, distributed real-time and embedded (DRE) systems, adaptive middleware
11	Mark Doernhoefer	Surfing the net for software engineering notes.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
11	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
11	Jean-Claude Laprie	Resilience for the Scalability of Dependability.	NCA	2005	DBLP DOI BibTeX RDF
11	Zonghua Gu 0001, Kang G. Shin	Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.	ISORC	2005	DBLP DOI BibTeX RDF
11	Jérôme Hugues, Laurent Pautet, Fabrice Kordon	Revisiting COTS middleware for DRE systems.	ISORC	2005	DBLP DOI BibTeX RDF
11	Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello	Assured Reconfiguration of Fail-Stop Systems.	DSN	2005	DBLP DOI BibTeX RDF
11	Douglas C. Schmidt, Andrey Nechypurenko, Egon Wuchner	Workshop 9 Summary.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
11	John Harrison 0001	Floating-Point Verification.	FM	2005	DBLP DOI BibTeX RDF
11	Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke	Reengineering C++ Component Models via Automatic Program Transformation.	WCRE	2005	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
11	Abdesselam Lakehal, Ioannis Parissis	Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs.	ISSRE	2005	DBLP DOI BibTeX RDF