Search results for "time-triggered"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Jon Pérez 0001, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum	Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.	FDL	2010	DBLP BibTeX RDF
11	Wilfried Steiner	An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks.	RTSS	2010	DBLP DOI BibTeX RDF
11	Christopher Szilagyi, Philip Koopman	Low cost multicast authentication via validity voting in time-triggered embedded control networks.	WESS	2010	DBLP DOI BibTeX RDF
11	Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits	Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.	International Symposium on Rapid System Prototyping	2010	DBLP DOI BibTeX RDF
11	Keith Florence Athaide, Michael J. Pont	Ameliorating problems in system integration with time-triggered scheduling.	SoSE	2010	DBLP DOI BibTeX RDF
11	Zemian Hughes	Design and evaluation of a predictable embedded processor for use in time-triggered applications.		2010	RDF
11	Sebastian Voss	Integrated Task and Message Scheduling in Time-Triggered Aeronautic Systems (PDF / PS)		2010	RDF
11	Matthias Függer, Eric Armengaud, Andreas Steininger	Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach.	IEEE Trans. Ind. Informatics	2009	DBLP DOI BibTeX RDF
11	Minsoo Ryu	A Scheduling Algorithm for Minimizing Exclusive Window Durations in Time-Triggered Controller Area Network.	IEICE Trans. Commun.	2009	DBLP DOI BibTeX RDF
11	Roman Obermaisser	Time-Triggered Communication.	Networked Embedded Systems	2009	DBLP DOI BibTeX RDF
11	Christopher Szilagyi, Philip Koopman	Flexible multicast authentication for time-triggered embedded control network applications.	DSN	2009	DBLP DOI BibTeX RDF
11	Olaf Graeser, Oliver Niggemann	Planning of Time Triggered Communication Schedules.	Echtzeit	2009	DBLP DOI BibTeX RDF
11	Alessandro Pinto, Ratnesh Kumar 0001, Songyan Xu	Synthesis of wireless time-triggered embedded networks for networked control systems.	CASE	2009	DBLP DOI BibTeX RDF
11	Sebastian Voss, Maria Sorea, Klaus Echtle	SAL-Based Symbolic Scheduling in Time-Triggered Networks.	IFM	2009	DBLP DOI BibTeX RDF
11	Ayman K. Gendy	Techniques for scheduling time-triggered resource-constrained embedded systems.		2009	RDF
11	Michael J. Pont	Applying time-triggered architectures in reliable embedded systems: challenges and solutions.	Elektrotech. Informationstechnik	2008	DBLP DOI BibTeX RDF
11	Feng Xia 0001, Wenhong Zhao	Flexible Time-Triggered Sampling in Smart Sensor-Based Wireless Control Systems	CoRR	2008	DBLP BibTeX RDF
11	Hermann Kopetz	On the Design of Distributed Time-Triggered Embedded Systems.	J. Comput. Sci. Eng.	2008	DBLP DOI BibTeX RDF
11	Hermann Kopetz	The Rationale for Time-Triggered Ethernet.	RTSS	2008	DBLP DOI BibTeX RDF
11	Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits	Composability in the time-triggered system-on-chip architecture.	SoCC	2008	DBLP DOI BibTeX RDF
11	Sri Kanajan	Time-Triggered Scheduling Synthesis in the Presence of Uncertainty.	ESA	2008	DBLP BibTeX RDF
11	Keith Florence Athaide, Michael J. Pont, Devaraj Ayavoo	Shared-Clock Methodology for Time-Triggered Multi-Cores.	CPA	2008	DBLP DOI BibTeX RDF
11	Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek	Segmentation of standard ethernet messages in the time-triggered ethernet.	ETFA	2008	DBLP DOI BibTeX RDF
11	Philipp Peti	Diagnosis and maintenance in an integrated time triggered architecture: tackling the trouble identified phenomenon.		2008	RDF
11	Jens Chr. Lisner	A fault tolerant dynamic time triggered protocol.		2008	RDF
11	Ernesto Martins, Ricardo Marau, Joaquim Ferreira 0001, José Alberto Fonseca, Luís Almeida 0001, Mario Calha, Valter Silva, Paulo Pedreiras	Online QoS Adaptation with the Flexible Time-Triggered (FTT) Communication Paradigm.	Handbook of Real-Time and Embedded Systems	2007	DBLP DOI BibTeX RDF
11	Klaus Schmidt 0002, Ece Guran Schmidt	Systematic Message Schedule Construction for Time-Triggered CAN.	IEEE Trans. Veh. Technol.	2007	DBLP DOI BibTeX RDF
11	Michael Short 0001, Michael J. Pont	Fault-Tolerant Time-Triggered Communication Using CAN.	IEEE Trans. Ind. Informatics	2007	DBLP DOI BibTeX RDF
11	Holger Pfeifer, Friedrich W. von Henke	Modular formal analysis of the central guardian in the Time-Triggered Architecture.	Reliab. Eng. Syst. Saf.	2007	DBLP DOI BibTeX RDF
11	Shehryar Shaheen, Donal Heffernan, Gabriel Leen	A gateway for time-triggered control networks.	Microprocess. Microsystems	2007	DBLP DOI BibTeX RDF
11	Donggil Kim, Seawook Park, Kyungmin Kang, Dongik Lee	Time-triggered wireless sensor network for feedback control.	IEICE Electron. Express	2007	DBLP DOI BibTeX RDF
11	Paul Pop, Kåre Harbo Poulsen, Viacheslav Izosimov, Petru Eles	Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	scheduling, reliability, embedded systems, energy minimization
11	S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi	A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.	SIES	2007	DBLP DOI BibTeX RDF
11	Roman Obermaisser, Hermann Kopetz, Christian El Salloum, Bernhard Huber	Error Containment in the Time-Triggered System-On-a-Chip Architecture.	IESS	2007	DBLP DOI BibTeX RDF
11	Klaus Steinhammer, Astrit Ademaj	Hardware Implementation of the Time-Triggered Ethernet Controller.	IESS	2007	DBLP DOI BibTeX RDF
11	Ricardo Marau, Luís Almeida 0001, Paulo Pedreiras, Michael González Harbour, Daniel Sangorrín, Julio L. Medina	Integration of a flexible time triggered network in the FRESCOR resource contracting framework.	ETFA	2007	DBLP DOI BibTeX RDF
11	Nuno Ferreira 0001, José A. Fonseca	Using time-triggered communications over IEEE 802.15.4.	ETFA	2007	DBLP DOI BibTeX RDF
11	Moritz Mauthner, Wilfried Elmenreich, Alexander Kirchner	Analysis of sensor and fusion schedules of a time-triggered sensor fusion system.	FUSION	2007	DBLP DOI BibTeX RDF
11	Michael J. Pont, Susan Kurian, Huiyan Wang	Selecting an appropriate scheduler for use with time-triggered embedded systems.	EuroPLoP	2007	DBLP BibTeX RDF
11	Huiyan Wang, Michael J. Pont, Susan Kurian	Patterns which help to avoid conflicts over shared resources in time-triggered embedded systems which employ a pre-emptive scheduler.	EuroPLoP	2007	DBLP BibTeX RDF
11	Roman Obermaisser, Philipp Peti, Bernhard Huber, Christian El Salloum	DECOS: an integrated time-triggered architecture.	Elektrotech. Informationstechnik	2006	DBLP DOI BibTeX RDF
11	Eric Armengaud	Low Level Bus Traffic Replay for the Test and Debugging of Time-Triggered Communication Systems.	DDECS	2006	DBLP DOI BibTeX RDF
11	Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz	Towards Modularized Verification of Distributed Time-Triggered Systems.	FM	2006	DBLP DOI BibTeX RDF
11	Astrit Ademaj, Hermann Kopetz, Petr Grillinger, Klaus Steinhammer, Alexander Hanzlik	Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology.	ARCS Workshops	2006	DBLP BibTeX RDF
11	Chisanga Mwelwa	Development and assessment of a tool to support pattern-based code generation of time-triggered (TT) embedded systems.		2006	RDF
11	Tivadar Szemethy	Case Study: Model Transformations for Time-triggered Languages.	GRaMoT@GPCE	2005	DBLP DOI BibTeX RDF
11	Hermann Kopetz, Günther Bauer 0001	Time-Triggered Communication Networks.	The Industrial Information Technology Handbook	2005	DBLP BibTeX RDF
11	Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli	Extensible and Scalable Time Triggered Scheduling.	ACSD	2005	DBLP DOI BibTeX RDF
11	Marco A. Wehrmeister, Fernando H. Athaide, Fabiano Costa Carvalho, Carlos Eduardo Pereira	Assessing the Use of RT-Java in Automotive Time-Triggered Applications.	IESS	2005	DBLP DOI BibTeX RDF
11	Roman Obermaisser, Emmanuel Henrich, K. H. Kim, Hermann Kopetz, Moon-hae Kim	Integration of two Complementary Time-Triggered Technologies: TMO and TTP.	IESS	2005	DBLP DOI BibTeX RDF
11	Roman Obermaisser, Philipp Peti, Hermann Kopetz	Virtual Networks in an Integrated Time-Triggered Architecture.	WORDS	2005	DBLP DOI BibTeX RDF
11	Stanislav Racek, Pavel Herout, Jan Hlavicka	Dependability Evaluation of Time Triggered Architecture Using Simulation.	Comput. Artif. Intell.	2004	DBLP BibTeX RDF
11	Paula Doyle, Donal Heffernan, D. Duma	A time-triggered transducer network based on an enhanced IEEE 1451 model.	Microprocess. Microsystems	2004	DBLP DOI BibTeX RDF
11	Andronikos Nedos, Alexander O'Connor, Graham Abell, Siobhán Clarke, Vinny Cahill	LATTE: Location and Time Triggered Email.	International Conference on Wireless Networks	2004	DBLP BibTeX RDF
11	Hermann Kopetz	The fault-hypothesis for the time-triggered architecture.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
11	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).	EMSOFT	2004	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS
11	Wolfgang Herzner, Wilfried Kubinger, Manfred Gruber	Triple-T (Time-Triggered Transmission).	EuroPLoP	2004	DBLP BibTeX RDF
11	Michael J. Pont	Supporting the Development of Time-Triggered Co-Operatively Scheduled (TTCS) Embedded Software Using Design Patterns.	Informatica (Slovenia)	2003	DBLP BibTeX RDF
11	Hermann Kopetz, Günther Bauer 0001	The time-triggered architecture.	Proc. IEEE	2003	DBLP DOI BibTeX RDF
11	Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch	Giotto: a time-triggered language for embedded programming.	Proc. IEEE	2003	DBLP DOI BibTeX RDF
11	Takanori Yokoyama, Hidemitsu Naya, Fumio Narisawa, Satoru Kuragaki, Wataru Nagaura, Takaaki Imai, Shoji Suzuki	A development method of time-triggered object-oriented software for embedded control systems.	Syst. Comput. Jpn.	2003	DBLP DOI BibTeX RDF
11	René Hexel	FITS - A Fault Injection Architecture for Time-Triggered Systems.	ACSC	2003	DBLP BibTeX RDF
11	Martin Schlager	A Simulation Architecture for Time-Triggered Transducer Networks.	WISES	2003	DBLP BibTeX RDF
11	Michael J. Pont, Andrew J. Norman, Chisanga Mwelwa, Tim Edwards	Prototyping Time-triggered Embedded Systems using PC Hardware.	EuroPLoP	2003	DBLP BibTeX RDF
11	Holger Pfeifer	Formal analysis of fault tolerant algorithms in the time-triggered architecture.		2003	RDF
11	Gabriel Leen, Donal Heffernan	TTCAN: a new time-triggered controller area network.	Microprocess. Microsystems	2002	DBLP DOI BibTeX RDF
11	Reinhard Maier, Georg Stöger, Stefan Poledna, Günther Bauer 0001	IEEE Micro: Electronics Architecture - Time-Triggered Architecture: A Consistent Computing Platform.	IEEE Distributed Syst. Online	2002	DBLP BibTeX RDF
11	Idriz Smaili, Astrit Ademaj	Setting break-points in distributed time-triggered architecture.	HLDVT	2002	DBLP DOI BibTeX RDF
11	Astrit Ademaj	Slightly-off-specification failures in the time-triggered architecture.	HLDVT	2002	DBLP DOI BibTeX RDF
11	Holger Pfeifer, Friedrich W. von Henke	Formal analysis for dependability properties: the time-triggered architecture example.	ETFA (1)	2001	DBLP DOI BibTeX RDF
11	Günther Bauer 0001, Hermann Kopetz, Peter P. Puschner	Assumption coverage under different failure modes in the time-triggered architecture.	ETFA (1)	2001	DBLP DOI BibTeX RDF
11	Paul Pop, Petru Eles, Zebo Peng	Scheduling with optimized communication for time-triggered embedded systems.	CODES	1999	DBLP DOI BibTeX RDF
11	Hermann Kopetz	The Time-Triggered Architecture.	ISORC	1998	DBLP DOI BibTeX RDF
11	Christopher Temple	Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System.	FTCS	1998	DBLP DOI BibTeX RDF
11	Bernd Hedenetz	A Development Framework for Ultra-Dependable Automotive Systems Based on a Time-Triggered Architecture.	RTSS	1998	DBLP DOI BibTeX RDF
11	Hermann Kopetz	The Time-Triggered Model of Computation.	RTSS	1998	DBLP DOI BibTeX RDF
11	Alan Burns 0001, Robert I. Davis 0001	Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
10	Andreas Schranzhofer, Rodolfo Pellizzoni, Jian-Jia Chen, Lothar Thiele, Marco Caccamo	Worst-case response time analysis of resource access models in multi-core systems.	DAC	2010	DBLP DOI BibTeX RDF	scheduling, TDMA, shared resources
10	Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser	Periodic Finite-State Machines.	ISORC	2007	DBLP DOI BibTeX RDF
10	Jan Romberg, Andreas Bauer 0002	Loose synchronization of event-triggered networks for distribution of synchronous programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, AutoFocus, code distribution
9	Razvan Racu, Li Li 0027, Rafik Henia, Arne Hamann, Rolf Ernst	Improved response time analysis of tasks scheduled under preemptive Round-Robin.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	Round-Robin, response time analysis
9	Roman Obermaisser	A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems.	RTSS	2007	DBLP DOI BibTeX RDF
9	Gabor Madl, Sherif Abdelwahed, Gabor Karsai	Automatic Verification of Component-Based Real-Time CORBA Applications.	RTSS	2004	DBLP DOI BibTeX RDF
9	Sebastian Fischmeister, Insup Lee 0001, Robert Trausmuth	Hardware acceleration for verifiable, adaptive real-time communication.	ETFA	2008	DBLP DOI BibTeX RDF
9	Iria Estévez-Ayres, Luís Almeida 0001, Marisol García-Valls, Pablo Basanta-Val	An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
9	Raimund Kirner, Peter P. Puschner	Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache.	ISORC	2007	DBLP DOI BibTeX RDF
9	Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian	Model Transformations in the Model-Based Development of Real-time Systems.	ECBS	2006	DBLP DOI BibTeX RDF
9	Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido	Event-Driven Programming with Logical Execution Times.	HSCC	2004	DBLP DOI BibTeX RDF
9	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
8	Iria Estévez-Ayres, Marisol García-Valls, Luís Almeida 0001, Pablo Basanta-Val	Solutions for Supporting Composition of Service-Based Real-Time Applications.	ISORC	2008	DBLP DOI BibTeX RDF	distributed real-time architectures, service composition algorithm, service oriented architecture
8	Rita Kalile Almeida Andrade, Thomás Alimena Del Grande, Tiago Bücker, Carlos Eduardo Pereira	Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor.	DIPES	2008	DBLP DOI BibTeX RDF
8	Eyad Alkassar, Peter Böhm, Steffen Knapp	Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.	DIPES	2008	DBLP DOI BibTeX RDF
8	P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa	Timed Automata with Integer Resets: Language Inclusion and Expressiveness.	FORMATS	2008	DBLP DOI BibTeX RDF
8	Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu	A Framework for Distributing Real-Time Functions.	FORMATS	2008	DBLP DOI BibTeX RDF	Distributed systems, Constraint programming, Industrial case study
8	Steffen Knapp, Wolfgang J. Paul	Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
8	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis	Communication by sampling in time-sensitive distributed systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, scheduling, tagged systems
8	Sebastian Fischmeister, Oleg Sokolsky, Insup Lee 0001	Network-Code Machine: Programmable Real-Time Communication Schedules.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
8	Hermann Kopetz	TTA Supported Service Availability.	ISAS	2005	DBLP DOI BibTeX RDF
8	Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul	Towards the Formal Verification of Lower System Layers in Automotive Systems.	ICCD	2005	DBLP DOI BibTeX RDF
8	Carlos Eduardo Pereira, Marcelo Götz	Architectural solutions for enhancing the real-time behavior of distributed embedded systems.	WORDS	2003	DBLP DOI BibTeX RDF