Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Leon Alkalai, Wai-Chi Fang	An integrated microspacecraft avionics architecture using 3D multichip module building blocks. (PDF / PS)	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
3	James J. Hunt	Realtime Java technology in avionics systems.	JTRES	2010	DBLP DOI BibTeX RDF	realtime Java technology, standards, avionics
3	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
3	Michael Paulitsch, Harald Rueß, Maria Sorea	Non-functional Avionics Requirements.	ISoLA	2008	DBLP DOI BibTeX RDF	integrated modular avionics, Non-functional requirements, avionics
3	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. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	virtual machines, memory management, Real-time Java, Avionics
3	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
3	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
3	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
3	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
3	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
2	Frank Dordowsky, Walter Hipp	Adopting software product line principles to manage software variants in a complex avionics system.	SPLC	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	Visar Januzaj, Ralf Mauersberger, Florian Biechele	Performance Modelling for Avionics Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	Miguel A. Sánchez-Puebla, Ignacio Aedo, Paloma Díaz	Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces.	HCI	2007	DBLP DOI BibTeX RDF	Predictive Evaluation, Human Factors, Notification Systems, Evaluation/methodology, Critical Parameters
2	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
2	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
2	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
2	John Knight	The Glass Cockpit.	IEEE Computer	2007	DBLP DOI BibTeX RDF	how things work, avionics systems
2	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
2	Savio Chau, Van Dang, Joseph Xu, James Lu	An Automatic Technique to Synthesize Avionics Architecture.	AHS	2006	DBLP DOI BibTeX RDF
2	Lianlei Lin, Shouda Jiang	Design of Universal Simulation Platform for Avionics.	ICICIC	2006	DBLP DOI BibTeX RDF
2	Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek	Los-Cost Avionics System for Ultra-Light Aircrafts.	ETFA	2006	DBLP DOI BibTeX RDF
2	Andrew Wils, Stefan Van Baelen, Tom Holvoet, Karel De Vlaminck	Agility in the Avionics Software World.	XP	2006	DBLP DOI BibTeX RDF
2	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
2	Hussein Charara, Christian Fraboul	Modelling and Simulation of an Avionics Full Duplex Switched Ethernet.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
2	Mark Schulte	Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study.	ISORC	2005	DBLP DOI BibTeX RDF
2	George Romanski	Ada in the avionics industry.	SIGAda	2005	DBLP DOI BibTeX RDF	Ada
2	Osamah A. Rawashdeh, Garrett D. Chandler, James E. Lumpp Jr.	A UAU test and development environment based on dynamic system reconfiguration.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	fault-tolerance, embedded systems, dynamic reconfiguration, UAV, avionics, flight control
2	Jeffrey G. Gray, Jing Zhang, 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
2	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
2	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
2	S. C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty	A Pattern-Based Framework for Software Anomaly Detection.	Software Quality Journal	2004	DBLP DOI BibTeX RDF	software tools framework, pattern specification language, high assurance software, safety-critical avionics systems, software inspection
2	Miguel A. Sánchez-Puebla, Jesús Carretero	A new approach for distributed computing in avionics systems.	ISICT	2003	DBLP DOI BibTeX RDF
2	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
2	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
2	Clark Weissman	MLS-PCA: A High Assurance Security Architecture for Future Avionics.	ACSAC	2003	DBLP DOI BibTeX RDF
2	Lui Sha	Real-Time Virtual Machines for Avionics Software Porting and Development.	RTCSA	2003	DBLP DOI BibTeX RDF
2	Zonghua Gu, 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
2	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
2	Darren D. Cofer, Murali Rangarajan	Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.	EMSOFT	2002	DBLP DOI BibTeX RDF
2	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
2	Mohsen Sharifi, Behrouz Zolfaghari	An Approach to Exploiting Skewed Associative Memories in Avionics Systems.	ICPADS	2002	DBLP DOI BibTeX RDF
2	D. A. Haverkamp, R. J. Richards	Towards Safety Critical Middleware for Avionics Applications. (PDF / PS)	LCN	2002	DBLP DOI BibTeX RDF
2	Darren D. Cofer, Murali Rangarajan	Formal Verification of Overhead Accounting in an Avionics RTOS. (PDF / PS)	IEEE Real-Time Systems Symposium	2002	DBLP DOI BibTeX RDF
2	Famantanantsoa Randimbivololona	Orientations in Verification Engineering of Avionics Software.	Informatics	2001	DBLP DOI BibTeX RDF
2	Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy	Resource Scheduling in Dependable Integrated Modular Avionics.	DSN	2000	DBLP DOI BibTeX RDF
2	Stuart Anderson, Massimo Felici	Controlling Requirements Evolution: An Avionics Case Study.	SAFECOMP	2000	DBLP DOI BibTeX RDF
2	Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim	An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	François Pilarski	Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.	B	1998	DBLP DOI BibTeX RDF
2	Bruce Lewis, Steve Vestal, David J. McConnell	Modern Avionics Requirements for the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
2	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
2	Wing Lam, Sara Jones	Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	requirements engineering mechanisation, domain analysis technology, industrial avionics domain, application domain analysis, task domain analysis, formal specification, reuse
2	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
2	Ching-Shan Peng, Kwei-Jay Lin	A semantic-based concurrency control protocol for real-time transactions. (PDF / PS)	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
2	Neil C. Audsley, Andy J. Wellings	Analysing APEX applications. (PDF / PS)	IEEE Real-Time Systems Symposium	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
2	Don S. Batory, Lou Coglianese, Mark Goodwin, Steve Shafer	Creating Reference Architectures: An Example from Avionics.	SSR	1995	DBLP DOI BibTeX RDF
2	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
2	Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas	Detecting program modules with low testability. (PDF / PS)	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
2	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
2	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
2	Gerard E. Migneault	Software reliability and advanced avionics.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
1	Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino	Verification support for ARINC-653-based avionics software.	Softw. Test., Verif. Reliab.	2011	DBLP DOI BibTeX RDF
1	Friedrich Eisenbrand, Martin Niemeier, Martin Skutella, José Verschae, Andreas Wiese	Real-time Avionics Optimization.	it - Information Technology	2011	DBLP DOI BibTeX RDF
1	Dajiang Suo, Jinxia An, Jihong Zhu	AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics.	APSEC	2011	DBLP DOI BibTeX RDF
1	Frank Dordowsky, Richard Bridges, Holger Tschöpe	Implementing a Software Product Line for a Complex Avionics System.	SPLC	2011	DBLP DOI BibTeX RDF
1	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
1	Huafeng Yu, Yue Ma, 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
1	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
1	Xiaoqiang Ji, Jian Li, 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
1	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	2011	DBLP DOI BibTeX RDF
1	Yu Hua, Xue Liu	Scheduling design and analysis for end-to-end heterogeneous flows in an avionics network.	INFOCOM	2011	DBLP DOI BibTeX RDF
1	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
1	Benjamin M. Brosgol	Do-178c: the next avionics safety standard.	SIGAda	2011	DBLP DOI BibTeX RDF
1	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
1	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.	TRETS	2010	DBLP DOI BibTeX RDF
1	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
1	Volker Zerbe, Mario Schulz, Armin Zimmermann, Stephan Marwedel	Model-based evaluation of avionics maintenance and logistics processes.	SMC	2010	DBLP DOI BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	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
1	Michel Pignol	COTS-based applications in space avionics.	DATE	2010	DBLP BibTeX RDF
1	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Worst-case end-to-end delay analysis of an avionics AFDX network.	DATE	2010	DBLP BibTeX RDF
1	João Craveiro, José Rufino	Schedulability analysis in partitioned systems for aerospace avionics.	ETFA	2010	DBLP DOI BibTeX RDF
1	Jean Souyris	WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.	WCET	2010	DBLP DOI BibTeX RDF
1	Lei Ju, 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
1	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
1	Jean-Luc Scharbarg, Frédéric Ridouard, Christian Fraboul	A probabilistic analysis of end-to-end delays on an avionics switched Ethernet.	IEEE Trans. Industrial Informatics	2009	DBLP DOI BibTeX RDF
1	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
1	Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal	A Compositional Scheduling Framework for Digital Avionics Systems.	RTCSA	2009	DBLP DOI BibTeX RDF
1	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
1	Wilfried Steiner, Günther Bauer, 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
1	Lei Ju, 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
1	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
1	Indranil Saha, Kuntal Chakraborty, Suman Roy, 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
1	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