Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Gabor Madl, Sherif Abdelwahed	Model-based analysis of distributed real-time embedded system composition.	EMSOFT	2005	DBLP DOI BibTeX RDF
11	Concettina Del Grosso, Giuliano Antoniol, Massimiliano Di Penta, Philippe Galinier, Ettore Merlo	Improving network applications security: a new heuristic to generate stress testing data.	GECCO	2005	DBLP DOI BibTeX RDF	security, test data generation, evolutionary testing, stress testing
11	Arvind S. Krishna, Emre Turkay, Aniruddha S. Gokhale, Douglas C. Schmidt	Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
11	Michel Pignol	How to Cope with SEU/SET at System Level?.	IOLTS	2005	DBLP DOI BibTeX RDF
11	Christian Boléat, Gerard Colas	Overview of Soft Errors Issues in Aerospace Systems.	IOLTS	2005	DBLP DOI BibTeX RDF
11	Michael T. Frederick, Nathan A. VanderHorn, Arun K. Somani	Real-time H/W Implementation of the Approximate Discrete Radon Transform.	ASAP	2005	DBLP DOI BibTeX RDF
11	Pao-Ann Hsiung, Yen-Hung Lin	Modeling and Verification of Safety-Critical Systems Using Safecharts.	FORTE	2005	DBLP DOI BibTeX RDF
11	Dubravka Ilic, Elena Troubitsyna	Formal Development of Software for Tolerating Transient Faults.	PRDC	2005	DBLP DOI BibTeX RDF
11	Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkalai	On Automating Failure Mode Analysis and Enhancing its Integrity.	PRDC	2005	DBLP DOI BibTeX RDF
11	Bernhard Huber, Philipp Peti, Roman Obermaisser, Christian El Salloum	Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture.	WISES	2005	DBLP DOI BibTeX RDF
11	Gérard Berry	Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.	FASE	2005	DBLP DOI BibTeX RDF
11	Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty	Knowledge-Centric and Language Independent Framework for Safety Analysis Tools.	HASE	2004	DBLP DOI BibTeX RDF
11	Zonghua Gu 0001, Shige Wang, Sharath Kodase, Kang G. Shin	Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation.	HASE	2004	DBLP DOI BibTeX RDF
11	S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi	A Toolset for Modelling and Verification of GALS Systems.	CAV	2004	DBLP DOI BibTeX RDF
11	Alberto Elfes, Jeffery L. Hall, James F. Montgomery, Charles F. Bergh, Brenda A. Dudik	Towards a Substantially Autonomous Aerobot for Exploration of Titan.	ICRA	2004	DBLP DOI BibTeX RDF
11	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Invited application paper: re-engineering C++ components via automatic program transformation.	PEPM	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
11	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Program transformations for re-engineering C++ components [OOPSLA/GPCE].	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
11	Jeffrey G. Gray, Jing Zhang 0003, Suman Roychoudhury, Ira D. Baxter	C-SAW and genAWeave: a two-level aspect weaving toolsuite.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	aspect-oriented programming, software maintenance, program transformation, model-driven architecture
11	Eric Foxlin, Yury Altshuler, Leonid Naimark, Michael Harrington	FlightTracker: A Novel Optical/Inertial Tracker for Cockpit Enhanced Vision.	ISMAR	2004	DBLP DOI BibTeX RDF
11	Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff	A Case Study in Domain-Customized Model Checking for Real-Time Component Software.	ISoLA	2004	DBLP DOI BibTeX RDF
11	Emre Turkay, Aniruddha S. Gokhale, Balachandran Natarajan	Addressing the middleware configuration challenges using model-based techniques.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	middleware configuration, model-driven software synthesis, component middleware
11	Shih-Hsi Liu	Validation of Distributed Real-Time and Embedded System composition in UniFrame.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	UniFrame, quality of service, real-time, Vienna Development Method, two-level grammar
11	Armando Carbonari	Avionic systems overview.	SBCCI	2004	DBLP DOI BibTeX RDF
11	Silke Kuball, John H. R. May	Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set.	ISSRE	2004	DBLP DOI BibTeX RDF
11	George T. Edwards, Gan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan	Model-Driven Configuration and Deployment of Component Middleware Publish/Subscribe Services.	GPCE	2004	DBLP DOI BibTeX RDF	Real-time Publish/subscribe Service, Component Middleware, Model-based Systems, CORBA Component Model
11	Cyril Rousseau, Didier Bazalgette	Modèle d'architecture pour la conception de systèmes multimodaux en sortie.	IHM	2004	DBLP DOI BibTeX RDF	interaction context, output multimodality, human-computer interaction, multimodal system
11	John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis	Exploiting prescriptive aspects: a design time capability.	EMSOFT	2004	DBLP DOI BibTeX RDF	prescriptive aspects, aspects, component-based design
11	Venkita Subramonian, Liang-Jui Shen, Christopher D. Gill, Nanbor Wang	The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems.	RTSS	2004	DBLP DOI BibTeX RDF	QoS-enabled component middleware, DRE systems, configuration mechanisms
11	Gabor Madl, Sherif Abdelwahed, Gabor Karsai	Automatic Verification of Component-Based Real-Time CORBA Applications.	RTSS	2004	DBLP DOI BibTeX RDF
11	Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin	Design Verification for Control Engineering.	IFM	2004	DBLP DOI BibTeX RDF
11	Christopher D. Gill, Joseph P. Loyall, Richard E. Schantz, Michael Atighetchi, Jeanna M. Gossett, David Corman, Douglas C. Schmidt	Integrated Adaptive QoS Management in Middleware: A Case Study.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF	Empirical Case Studies, Distributed Real-Time and Embedded (DRE) Systems, Adaptive Middleware
11	Xiaorui Wang, Huang-Ming Huang, Venkita Subramonian, Chenyang Lu 0001, Christopher D. Gill	CAMRIT: Control-based Adaptive Middleware for Real-time Image Transmission.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
11	Joseph Sifakis	Embedded Systems - Challenges and Work Directions.	OPODIS	2004	DBLP DOI BibTeX RDF
11	Nanbor Wang, Christopher D. Gill	Improving Real-Time System Con.guration via a QoS-Aware CORBA Component Model.	HICSS	2004	DBLP DOI BibTeX RDF	QoS-aware Component Models, Distributed Real-Time Embedded Middleware, Component-Based Software
11	Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh	Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.	FASE	2004	DBLP DOI BibTeX RDF
11	Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath	A Correlation Framework for the CORBA Component Model.	FASE	2004	DBLP DOI BibTeX RDF
11	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
11	Lei Luo 0004, Ming-Yuan Zhu	Partitioning based operating system: a formal model.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
11	Dionisio de Niz, Raj Rajkumar	Time weaver: a software-through-models framework for embedded real-time systems.	LCTES	2003	DBLP DOI BibTeX RDF	couplers, semantic dimension, semantic separation, software-through-models, real-time, embedded
11	Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh	Cadena: enabling CCM-based application development in Eclipse.	eTX	2003	DBLP DOI BibTeX RDF
11	Burke Maxey	COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines.	ICCBSS	2003	DBLP DOI BibTeX RDF
11	Marco Bozzano, Adolfo Villafiorita	Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.	SAFECOMP	2003	DBLP DOI BibTeX RDF
11	Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach	Testing Criteria for Data Flow Software.	APSEC	2003	DBLP DOI BibTeX RDF
11	Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita	Improving Safety Assessment of Complex Systems: An Industrial Case Study.	FME	2003	DBLP DOI BibTeX RDF	Formal Verification and Safety Assessment of Complex Systems, Automated Fault Tree Computation, ESACS
11	Christof Eberst, Thomas Herbig	On the Application of the Concept of Dependability for Design and Analysis of Vision Systems.	ICVS	2003	DBLP DOI BibTeX RDF
11	Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César A. Muñoz	Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.	WSC	2003	DBLP DOI BibTeX RDF
11	Paulo Pedreiras, Luís Almeida 0001	The Flexible Time-Triggered (FTT) Paradigm: An Approach to QoS Management in Distributed Real-Time Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	On-line QoS management, Real-time data communication networks, Network protocol architectures, Distributed real-time systems, On-line scheduling
11	Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi	Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.	ACSD	2003	DBLP DOI BibTeX RDF
11	César Sánchez 0001, Sriram Sankaranarayanan 0001, Henny Sipma, Ting Zhang 0001, David L. Dill, Zohar Manna	Event Correlation: Language and Semantics.	EMSOFT	2003	DBLP DOI BibTeX RDF
11	Win-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen	Software Platform for Embedded Software Development.	RTCSA	2003	DBLP DOI BibTeX RDF
11	Sanjai Rayadurgam, Mats Per Erik Heimdahl	Generating MC/DC Adequate Test Sequences Through Model Checking.	SEW	2003	DBLP DOI BibTeX RDF
11	Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog	On the Verification of Cooperating Traffic Agents.	FMCO	2003	DBLP DOI BibTeX RDF
11	Pedro Yuste, Juan-Carlos Ruiz-Garcia, Lenin Lemus, Pedro J. Gil	Non-intrusive Software-Implemented Fault Injection in Embedded Systems.	LADC	2003	DBLP DOI BibTeX RDF
11	John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, Chenyang Lu 0001, Zhendong Yu, Marty Humphrey, Brian Ellis	VEST: An Aspect-Based Composition Tool for Real-Time Systems.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
11	David C. Sharp, Edward Pla, Kenn R. Luecke, Ricardo J. Hassan II	Evaluating Real-Time Java for Mission-Critical Large-Scale Embedded Systems.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
11	Raoul Velazco, Lorena Anghel, S. Saleh	A Methodology for Test Replacement Solutions of Obsolete Processors.	IOLTS	2003	DBLP DOI BibTeX RDF
11	John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath	Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.	ICSE	2003	DBLP DOI BibTeX RDF
11	Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach	Testability Analysis Applied to Embedded Data-flow Software.	QSIC	2003	DBLP DOI BibTeX RDF	Data-flow Software, Software Measurement, Testability Analysis
11	Sara Blanc, Pedro J. Gil	Improving the Multiple Errors Detection Coverage in Distributed Embedded Systems.	SRDS	2003	DBLP DOI BibTeX RDF
11	Tei-Wei Kuo, Wang-Ru Yang, Kwei-Jay Lin	A Class of Rate-Based Real-Time Scheduling Algorithms.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	real-time process scheduling, service rate adjustment, sporadic process scheduling, soft real-time process scheduling, Generalized processor sharing, jitter control
11	Richard L. Conn	Developing Software Engineers at the C-130J Software Factory.	IEEE Softw.	2002	DBLP DOI BibTeX RDF	software engineers training, educating software professionals, C-130J Software Factory
11	Douglas C. Schmidt	Middleware for real-time and embedded systems.	Commun. ACM	2002	DBLP DOI BibTeX RDF
11	Jeffrey S. Hicks, Richard Flanagan, Plamen V. Petrov, Alexander D. Stoyen	Taking Intelligent Agents to the Battlefield.	FAABS	2002	DBLP DOI BibTeX RDF
11	Iain Bate, Tim Kelly	Architectural Considerations in the Certification of Modular Systems.	SAFECOMP	2002	DBLP DOI BibTeX RDF
11	Stephanie Farbman White	System-Level Issues and Approaches in Software Development.	COMPSAC	2002	DBLP DOI BibTeX RDF
11	Stuart Anderson, Massimo Felici	Quantitative Aspects of Requirements Evolution.	COMPSAC	2002	DBLP DOI BibTeX RDF
11	Gregg D. Buskey, Jonathan M. Roberts, Peter I. Corke, Peter R. Ridley, Gordon F. Wyeth	Sensing and Control for a Small-Size Helicopter.	ISER	2002	DBLP DOI BibTeX RDF
11	J Strother Moore	Functional formal methods.	ICFP	2002	DBLP DOI BibTeX RDF	functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
11	Bruno d'Ausbourg	Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord.	IHM	2002	DBLP DOI BibTeX RDF	flight deck equipments, verification, interaction, formal languages, intentions, lustre
11	Eman Nasr, John A. McDermid, Guillem Bernat	Eliciting and Specifying Requirements with Use Cases for Embedded Systems.	WORDS	2002	DBLP DOI BibTeX RDF	eliciting requirements, specifying requirements, thrust reverser control system, embedded systems, use cases, industrial case study
11	Bruce Powel Douglass	Real-Time UML.	FTRTFT	2002	DBLP DOI BibTeX RDF
11	Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu	Abort-Oriented Concurrency Control for Real-Time Databases.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	transaction aborting, concurrency control, Real-time databases, priority inversion
11	Robert W. Schwanke	Toward a Real-time Event Flow Architecture Style.	ECBS	2001	DBLP DOI BibTeX RDF
11	Sanjai Rayadurgam, Mats Per Erik Heimdahl	Coverage Based Test-Case Generation Using Model Checkers.	ECBS	2001	DBLP DOI BibTeX RDF
11	Werner Damm	Understanding UML - Pains and Rewards.	UML	2001	DBLP DOI BibTeX RDF
11	Philippe Chevalley, Pascale Thévenod-Fosse	Automated Generation of Statistical Test Cases from UML State Diagrams.	COMPSAC	2001	DBLP DOI BibTeX RDF	Software statistical testing, Experiments, Case study, Object-oriented systems, UML specifications
11	Philippe Chevalley, Pascale Thévenod-Fosse	An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.	ISSRE	2001	DBLP DOI BibTeX RDF
11	Ragunathan Rajkumar	An End-To-End Methodology for Building Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
11	Pam Binns, Steve Vestal	Formalizing Software Architectures for Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
11	Gérard Berry	Synchronous Programming Techniques for Embedded Systems: Present and Future.	EMSOFT	2001	DBLP DOI BibTeX RDF
11	John Kriz, Tom Joyner, Ted Wilson, Greg McGraner	Correlated, Real Time Multi-spectral Sensor Test and Evaluation (T&E) in an Installed Systems Test Facility (ISTF) Using High Performance Computing.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
11	Daeyoung Kim 0001, Yoonmee Doh, Yann-Hang Lee	Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems.	PRDC	2001	DBLP DOI BibTeX RDF
11	Sandra Katz, John M. Aronis, Colin Creitz	Modeling pedagogical interactions with machine learning.	Kognitionswissenschaft	2000	DBLP DOI BibTeX RDF
11	Seonho Choi, Ashok K. Agrawala	Scheduling of Real-Time Tasks with Complex Constraints.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
11	Xavier Méhaut, Pierre Morère	Improving Software Development by Using Safe Object Oriented Development: OTCD.	SAFECOMP	2000	DBLP DOI BibTeX RDF
11	Yves Le Traon, Farid Ouabdesselam, Chantal Robach	Analyzing Testability on Data Flow Designs.	ISSRE	2000	DBLP DOI BibTeX RDF
11	Khalil Najafi	Low-power micromachined microsystems (invited talk).	ISLPED	2000	DBLP DOI BibTeX RDF	micromachining, power sources, low-power, MEMS, energy harvesting, microsystems
11	Werner Damm	Challenges in the Verification of Electronic Control Units.	FTRTFT	2000	DBLP DOI BibTeX RDF
11	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs.	ASE	2000	DBLP DOI BibTeX RDF
11	Don S. Batory	Product-line architectures, aspects, and reuse (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF
11	Bruce A. Lewis, Edward Colbert, Steve Vestal	Developing Evolvable, Embedded, Time-Critical Systems with MetaH.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
11	Bryan Pflug	Ada after 10 Years of Usage - Is There a Commercial Future?	Ada-Europe	2000	DBLP DOI BibTeX RDF
11	Jonah Z. Lavi, Regina M. Gonzales, Mike Mannion, Miroslav Svéda	Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines.	ECBS	1999	DBLP DOI BibTeX RDF
11	Patrice Carrére, Jean-François Hermant, Gérard Le Lann	In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems.	ISORC	1999	DBLP DOI BibTeX RDF
11	Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor	Cronos: A Separate Compilation Toolset for Modular Esterel Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
11	P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson	Secure Synthesis of Code: A Process Improvement Experiment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
11	Gerald Lüttgen, Victor Carreño	Analyzing Mode Confusion via Model Checking.	SPIN	1999	DBLP DOI BibTeX RDF
11	Jason Hickey	Fault-Tolerant Distributed Theorem Proving.	CADE	1999	DBLP DOI BibTeX RDF
11	Ying C. (Bob) Yeh	Design Considerations in Boeing 777 Fly-By-Wire Computers.	HASE	1998	DBLP DOI BibTeX RDF
11	Tei-Wei Kuo, Wang-Ru Yang, Kwei-Jay Lin	EGPS: a class of real-time scheduling algorithms based on processor sharing.	ECRTS	1998	DBLP DOI BibTeX RDF