Search results for "time-triggered"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Hamidreza Ahmadian, Roman Obermaisser	Time-Triggered Extension Layer for On-Chip Network Interfaces in Mixed-Criticality Systems.	DSD	2015	DBLP DOI BibTeX RDF
11	Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga	Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
11	Zaher Owda, Roman Obermaisser	Trace-based simulation framework combining message-based and shared-memory interactions in a time-triggered platform.	EBCCSP	2015	DBLP DOI BibTeX RDF
11	Marcin Jachimski, Zbigniew Mikos, Grzegorz Wróbel, Grzegorz Hayduk, Pawel Kwasnowski	Event-based and time-triggered energy consumption data acquisition in building automation.	EBCCSP	2015	DBLP DOI BibTeX RDF
11	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Time-Triggered Runtime Verification of Component-Based Multi-core Systems.	RV	2015	DBLP DOI BibTeX RDF
11	Guillaume Baudart, Albert Benveniste, Timothy Bourke	Loosely time-triggered architectures: improvements and comparisons.	EMSOFT	2015	DBLP DOI BibTeX RDF
11	Christian Scholer, Rene Krenz-Baath, Ayman Murshed, Roman Obermaisser	Optimal SAT-based scheduler for time-triggered networks-on-a-chip.	SIES	2015	DBLP DOI BibTeX RDF
11	Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi	Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus.	IRI	2015	DBLP DOI BibTeX RDF
11	Lukasz Wisniewski, Markus Schumacher, Jürgen Jasperneite, Christian Diedrich	Increasing flexibility of Time Triggered Ethernet based systems by optimal greedy scheduling approach.	ETFA	2015	DBLP DOI BibTeX RDF
11	Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas, Hans Hansson	A decomposition approach for SMT-based schedule synthesis for time-triggered networks.	ETFA	2015	DBLP DOI BibTeX RDF
11	David Gessner, Ignasi Furió, Julián Proenza	Towards a layered architecture for the Flexible Time-Triggered Replicated Star for Ethernet.	ETFA	2015	DBLP DOI BibTeX RDF
11	Mohammed Abuteir, Roman Obermaisser	Scheduling of rate-constrained and time-triggered traffic in multi-cluster TTEthernet systems.	INDIN	2015	DBLP DOI BibTeX RDF
11	Sanghyun Jeon, Juho Lee, Sungkwon Park	Dual-path method for enhancing the performance of IEEE 802.1 avb with time-triggered scheme.	APCC	2015	DBLP DOI BibTeX RDF
11	Tomasz Kloda	Conditions d'ordonnançabilité pour un langage dirigé par le temps. (Scheduling conditions for a time-triggered language).		2015	RDF
11	Yu Xiang 0002, Wei Wang 0010, Xiang Zhang 0001, Zhenwei Li	Performance research on time-triggered Ethernet based on network calculus.	EURASIP J. Wirel. Commun. Netw.	2014	DBLP DOI BibTeX RDF
11	Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins, Sofiene Beji	A Time-Triggered Constraint-Based Calculus for Avionic Systems.	CoRR	2014	DBLP BibTeX RDF
11	Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits	A co-simulation framework for design of time-triggered automotive cyber physical systems.	Simul. Model. Pract. Theory	2014	DBLP DOI BibTeX RDF
11	Luxi Zhao 0001, Huagang Xiong, Zhong Zheng, Qiao Li 0005	Improving Worst-Case Latency Analysis for Rate-Constrained Traffic in the Time-Triggered Ethernet Network.	IEEE Commun. Lett.	2014	DBLP DOI BibTeX RDF
11	Roman Obermaisser, Rubaiyat Islam Sadat, Fabian Weber	Active Diagnosis in Distributed Embedded Systems Based on the Time-Triggered Execution of Semantic Web Queries.	ISORC	2014	DBLP DOI BibTeX RDF
11	Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez 0001, Asier Larrucea, Peter P. Puschner	Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.	ISORC	2014	DBLP DOI BibTeX RDF
11	Mark Westmijze, Marco Jan Gerrit Bekooij, Gerard J. M. Smit	Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems.	ICSAMOS	2014	DBLP DOI BibTeX RDF
11	Silviu S. Craciunas, Ramon Serna Oliver	SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems.	RTNS	2014	DBLP DOI BibTeX RDF
11	Friedrich Gross, Till Steinbach, Franz Korf, Thomas C. Schmidt, Bernd Schwarz	A hardware/software co-design approach for Ethernet controllers to support time-triggered traffic in the upcoming IEEE TSN standards.	ICCE-Berlin	2014	DBLP DOI BibTeX RDF
11	Soeren Rumpf, Till Steinbach, Franz Korf, Thomas C. Schmidt	Software stacks for mixed-critical applications: Consolidating IEEE 802.1 AVB and time-triggered ethernet in next-generation automotive electronics.	ICCE-Berlin	2014	DBLP DOI BibTeX RDF
11	David Gessner, Julián Proenza, Manuel Barranco	A proposal for master replica control in the flexible time-triggered replicated star for ethernet.	WFCS	2014	DBLP DOI BibTeX RDF
11	Zdenek Hanzálek, Tomás Tunys	Mixed-criticality scheduling of messages in time-triggered protocols.	WFCS	2014	DBLP DOI BibTeX RDF
11	David Gessner, Julián Proenza, Manuel Barranco	A proposal for managing the redundancy provided by the flexible time-triggered replicated star for ethernet.	WFCS	2014	DBLP DOI BibTeX RDF
11	Zaher Owda, Mohammed Abuteir, Roman Obermaisser, Hamzah Dakheel	Predictable and reliable time triggered platform for Ambient Assisted Living.	ISMICT	2014	DBLP DOI BibTeX RDF
11	Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez 0001, Asier Larrucea, Peter P. Puschner	A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.	SAFECOMP	2014	DBLP DOI BibTeX RDF
11	Licong Zhang, Dip Goswami, Reinhard Schneider 0001, Samarjit Chakraborty	Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems.	ASP-DAC	2014	DBLP DOI BibTeX RDF
11	Mohammed Abuteir, Roman Obermaisser	Mixed-criticality systems based on time-triggered ethernet with multiple ring topologies.	SIES	2014	DBLP DOI BibTeX RDF
11	Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez 0001, Asier Larrucea, Peter P. Puschner	A novel modeling framework for time-triggered safety-critical embedded systems.	FDL	2014	DBLP DOI BibTeX RDF
11	Shanker Shreejith, Suhaib A. Fahmy	Zero latency encryption with FPGAs for secure time-triggered automotive networks.	FPT	2014	DBLP DOI BibTeX RDF
11	David Gessner, Ines Alvarez, Alberto Ballesteros, Manuel Barranco, Julián Proenza	Towards an experimental assessment of the slave elementary cycle synchronization in the Flexible Time-Triggered Replicated Star for Ethernet.	ETFA	2014	DBLP DOI BibTeX RDF
11	Mladen Knezic, Alberto Ballesteros, Julián Proenza	Towards extending the OMNeT++ INET framework for simulating fault injection in ethernet-based Flexible Time-Triggered systems.	ETFA	2014	DBLP DOI BibTeX RDF
11	Jan Kamieth, Till Steinbach, Franz Korf, Thomas C. Schmidt	Design of TDMA-based in-car networks: Applying multiprocessor scheduling strategies on time-triggered switched ethernet communication.	ETFA	2014	DBLP DOI BibTeX RDF
11	Alberto Ballesteros, Julián Proenza, David Gessner, Guillermo Rodríguez-Navas, Thilo Sauter	Achieving elementary cycle synchronization between masters in the flexible time-triggered replicated star for ethernet.	ETFA	2014	DBLP DOI BibTeX RDF
11	Luís Marques, Verónica Vasconcelos, Paulo Pedreiras, Luís Almeida 0001	Comparing scheduling policies for a message transient error recovery server in a time-triggered setting.	ETFA	2014	DBLP DOI BibTeX RDF
11	Florian Sagstetter, Sidharta Andalam, Peter Waszecki, Martin Lukasiewycz, Hauke Stähle, Samarjit Chakraborty, Alois C. Knoll	Schedule Integration Framework for Time-Triggered Automotive Architectures.	DAC	2014	DBLP DOI BibTeX RDF
11	Rainer Blind, Frank Allgöwer	On time-triggered and event-based control of integrator systems over a shared communication system.	Math. Control. Signals Syst.	2013	DBLP DOI BibTeX RDF
11	Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister	Time-triggered runtime verification.	Formal Methods Syst. Des.	2013	DBLP DOI BibTeX RDF
11	Martin Elshuber, Roman Obermaisser	Dependable and predictable time-triggered Ethernet networks with COTS components.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
11	Florian Sagstetter, Martin Lukasiewycz, Samarjit Chakraborty	Schedule integration for time-triggered systems.	ASP-DAC	2013	DBLP DOI BibTeX RDF
11	Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister	Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques.	RV	2013	DBLP DOI BibTeX RDF
11	Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister	RiTHM: a tool for enabling time-triggered runtime verification for C programs.	ESEC/SIGSOFT FSE	2013	DBLP DOI BibTeX RDF
11	Luís Marques, Verónica Vasconcelos, Paulo Pedreiras, Luís Almeida 0001	Error recovery in time-triggered communication systems using servers.	SIES	2013	DBLP DOI BibTeX RDF
11	Ashkan Beyranvand Nejad, Anca Mariana Molnos, Kees Goossens	A software-based technique enabling composable hierarchical preemptive scheduling for time-triggered applications.	RTCSA	2013	DBLP DOI BibTeX RDF
11	Zhenkai Zhang, Xenofon D. Koutsoukos	Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems.	IESS	2013	DBLP DOI BibTeX RDF
11	Shanker Shreejith, Suhaib A. Fahmy, Martin Lukasiewycz	Accelerating validation of time-triggered automotive systems on FPGAs.	FPT	2013	DBLP DOI BibTeX RDF
11	Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits	Co-simulation framework for design of time-triggered cyber physical systems.	ICCPS	2013	DBLP DOI BibTeX RDF
11	Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont	Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
11	Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed	Symmetry Reduction of Time-Triggered Ethernet Protocol.	ANT/SEIT	2013	DBLP DOI BibTeX RDF
11	David Gessner, Julián Proenza, Manuel Barranco, Luís Almeida 0001	Towards a Flexible Time-Triggered replicated star for ethernet.	ETFA	2013	DBLP DOI BibTeX RDF
11	Luís Marques, Verónica Vasconcelos, Paulo Pedreiras, Luís Almeida 0001	Schedulability analysis of server-based error-recovery mechanisms for time-triggered systems.	ETFA	2013	DBLP DOI BibTeX RDF
11	Philipp Meyer, Till Steinbach, Franz Korf, Thomas C. Schmidt	Extending IEEE 802.1 AVB with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic.	VNC	2013	DBLP DOI BibTeX RDF
11	Mohammed Abuteir, Roman Obermaisser	Simulation environment for Time-Triggered Ethernet.	INDIN	2013	DBLP DOI BibTeX RDF
11	Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard	Time-Triggered Implementations of Dynamic Controllers.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
11	Utsav Drolia, Soila Kavulya, Kunal Mankodiya, Priya Narasimhan, Thomas E. Fuhrman	Diagnostic Fusion for Time-Triggered Automotive Networks.	HASE	2012	DBLP DOI BibTeX RDF
11	Till Steinbach, Hyung-Taek Lim, Franz Korf, Thomas C. Schmidt, Daniel Herrscher, Adam Wolisz	Tomorrow's In-Car Interconnect? A Competitive Evaluation of IEEE 802.1 AVB and Time-Triggered Ethernet (AS6802).	VTC Fall	2012	DBLP DOI BibTeX RDF
11	Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll	Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving.	DATE	2012	DBLP DOI BibTeX RDF
11	Dip Goswami, Martin Lukasiewycz, Reinhard Schneider 0001, Samarjit Chakraborty	Time-triggered implementations of mixed-criticality automotive software.	DATE	2012	DBLP DOI BibTeX RDF
11	Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler, Thomas Bleier, Andreas Eckel, Christian El Salloum, Armin Wasicek	Towards Secure Time-Triggered Systems.	SAFECOMP Workshops	2012	DBLP DOI BibTeX RDF
11	Martin Lukasiewycz, Reinhard Schneider 0001, Dip Goswami, Samarjit Chakraborty	Modular scheduling of distributed heterogeneous time-triggered automotive systems.	ASP-DAC	2012	DBLP DOI BibTeX RDF
11	Jinho Choi 0002, Eunkyoung Jee, Doo-Hwan Bae	Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software.	SERE	2012	DBLP DOI BibTeX RDF
11	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Path-Aware Time-Triggered Runtime Verification.	RV	2012	DBLP DOI BibTeX RDF
11	Martin Lukasiewycz, Samarjit Chakraborty	Concurrent architecture and schedule optimization of time-triggered automotive systems.	CODES+ISSS	2012	DBLP DOI BibTeX RDF
11	Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister	Time-Triggered Program Self-Monitoring.	RTCSA	2012	DBLP DOI BibTeX RDF
11	Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira 0001	A Timed CSP Model for the Time-Triggered Language Giotto.	SEW	2012	DBLP DOI BibTeX RDF
11	Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic	Synchronous Interface Theories and Time Triggered Scheduling.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
11	Adrián Noguero, Isidro Calvo, Luís Almeida 0001, Unai Gangoiti	A Model for System Resources in Flexible Time-Triggered Middleware Architectures.	EUNICE	2012	DBLP DOI BibTeX RDF
11	Adrián Noguero, Isidro Calvo	A time-triggered data distribution service for FTT-CORBA.	ETFA	2012	DBLP DOI BibTeX RDF
11	Roland Kammerer, Roman Obermaisser	Dynamic configuration of a time-triggered router for controller area network.	ETFA	2012	DBLP DOI BibTeX RDF
11	Ekarin Suethanuwong	Scheduling time-triggered traffic in TTEthernet systems.	ETFA	2012	DBLP DOI BibTeX RDF
11	Giuliana Alderisi, Alfio Caltabiano, Giancarlo Vasta, Giancarlo Iannizzotto, Till Steinbach, Lucia Lo Bello	Simulative assessments of IEEE 802.1 Ethernet AVB and Time-Triggered Ethernet for Advanced Driver Assistance Systems and in-car infotainment.	VNC	2012	DBLP DOI BibTeX RDF
11	Adrián Noguero, Isidro Calvo, Luís Almeida 0001	A Time-Triggered Middleware Architecture for Ubiquitous Cyber Physical System Applications.	UCAmI	2012	DBLP DOI BibTeX RDF
11	Mouaaz Nahas	Employing Two 'Sandwich Delay' Mechanisms to Enhance Predictability of Embedded Systems Which Use Time-Triggered Co-Operative Architectures.	J. Softw. Eng. Appl.	2011	DBLP DOI BibTeX RDF
11	Wilfried Elmenreich, Moritz Koplin	A time-triggered object tracking subsystem for advanced driver assistance systems.	Elektrotech. Informationstechnik	2011	DBLP DOI BibTeX RDF
11	Eric Armengaud	Systematic test of time-triggered communication architectures using a component-based approach.	Elektrotech. Informationstechnik	2011	DBLP DOI BibTeX RDF
11	Haibo Zeng 0001, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli	Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment.	IEEE Trans. Ind. Informatics	2011	DBLP DOI BibTeX RDF
11	Julien Schmaltz	Formal verification of a time-triggered hardware interface	CoRR	2011	DBLP BibTeX RDF
11	Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen	On the Simulation of Time-Triggered Systems on a Chip with BIP	CoRR	2011	DBLP BibTeX RDF
11	Mahmut Tenruh	Message scheduling with reduced matrix cycle and evenly distributed sparse allocation for time-triggered CAN.	J. Netw. Comput. Appl.	2011	DBLP DOI BibTeX RDF
11	Jonathan Sprinkle, Brandon Eames	Time-triggered buffers for event-based middleware systems.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
11	Marco Serafini, Péter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch	Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.	IEEE Trans. Dependable Secur. Comput.	2011	DBLP DOI BibTeX RDF
11	Eric Armengaud, Allan Tengg, Mario Driussi, Michael Karner, Christian Steger, Reinhold Weiß	Automotive Embedded Systems - The Migration Challenges to a Time Triggered Paradigm.	Solutions on Embedded Systems	2011	DBLP DOI BibTeX RDF
11	Florian Bartols, Till Steinbach, Franz Korf, Thomas C. Schmidt	Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-Components.	ISORC Workshops	2011	DBLP DOI BibTeX RDF
11	Markus Ferringer	Investigating the impact of process variations on an asynchronous Time-Triggered-Protocol controller.	DSN Workshops	2011	DBLP DOI BibTeX RDF
11	Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister	Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.	RV	2011	DBLP DOI BibTeX RDF
11	Sanjoy K. Baruah, Gerhard Fohler	Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems.	RTSS	2011	DBLP DOI BibTeX RDF
11	Manuel Barranco, Guillermo Rodríguez-Navas, David Gessner, Julián Proenza	Towards the integration of flexible-time-triggered communication and replicated star topologies in CAN.	ETFA	2011	DBLP DOI BibTeX RDF
11	Keith Florence Athaide	The design of predictable multi-core processors which support time-triggered software architectures.		2011	RDF
11	Graham Hemingway	Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back.		2011	RDF
11	Felix Salfner, Katinka Wolter	Analysis of service availability for time-triggered rejuvenation policies.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
11	Hermann Kopetz	Energy-Saving Mechanisms in the Time-Triggered Architecture.	ISORC	2010	DBLP DOI BibTeX RDF
11	Markus Ferringer	Towards self-timed logic in the Time-Triggered Protocol.	DSN Workshops	2010	DBLP DOI BibTeX RDF
11	Albert Benveniste	Loosely Time-Triggered Architectures for Cyber-Physical Systems.	DATE	2010	DBLP DOI BibTeX RDF
11	Klaus Echtle, Mohamed Soubhi	Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks.	MMB/DFT	2010	DBLP DOI BibTeX RDF
11	Markus Ferringer	Investigating Self-Timed Circuits for the Time-Triggered Protocol.	ReCoSoC	2010	DBLP BibTeX RDF
11	Albert Benveniste, Anne Bouillard, Paul Caspi	A unifying view of loosely time-triggered architectures.	EMSOFT	2010	DBLP DOI BibTeX RDF
11	Martin Mitzlaff, Michael Lang, Rüdiger Kapitza, Wolfgang Schröder-Preikschat	A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network.	EDCC	2010	DBLP DOI BibTeX RDF	Distributed and Embedded Systems, Fault Tolerance, Automotive, Algorithm/Protocol Design and Analysis, Membership, FlexRay, AUTOSAR