Publications acknowledging NEXT TTA
- A. ADEMAJ
"Achieving Fail Silence in the Time-Triggered Architecture"
Proc. of 6th IEEE Int. Workshop on Design and Diagnostics of Electronics Circuits and Systems (DDECS'03)",
April 2003, Poznan, Poland
- A. ADEMAJ, G. BAUER, H. SIVENCRONA, J. TORIN
"Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology"
to appear in Proc. of IEEE International Conference on Dependable Systems and Networks (DSN 2003), June 2003,
San Francisco, USA
- O. ASKERDAL, M. GAFVERT, M. HILLER, N. SURI
"A Control Theory Approach for Analyzing the Effects of Data Errors in Safety Critical Systems"
Proceedings of the Pacific Rim International Symposium on Dependable Computing (PRDC), Dec. 2002, Tsukuba-city, Ibarski, Japan
- G. BAUER, H. KOPETZ, W. STEINER
"Byzantine Fault Containment in TTP/C"
1st Intl. Workshop on Real-Time LANs in the Internet Age, June 18, 2002, Vienna, Austria
- G. BAUER, H. KOPETZ, W. STEINER
"The Central Guardian Approach to Enforce Fault Isolation in a Time-Triggered System"
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 03)
April 2003, Pisa, Italy
- G. BERNAT
“pWCET a tool for probabilistic WCET analysis”
presented at the 3rd Intl Workshop on WCET analysis. Porto, June 2003
-
G. BERNAT, A. COLIN, S. M. PETTERS
"WCET Analysis of Probabilistic Hard Real-Time Systems"
Real-Time Systems Symposium, December 2002, Austin, Texas, USA
-
G. BERNAT, A. COLIN, S. M. PETTERS
"pWCET a Toolset for automatic Worst-Case Execution Time Analysis of Real-Time Embedded Programs"
Technical Report YCS-2003-353, Department of Computer Science, University of York, United Kingdom, January 2003
-
G. BERNAT
"Worst-Case Execution Time Analysis of Real-Time Embedded Programs"
Class held at the Embedded Systems Show 2003 London, 14-15 May, 2003
-
G. BERNAT, A. COLIN, S. M. PETTERS
"pWCET a Toolset for automatic Worst-Case Execution Time Analysis of Real-Time Embedded Programs"
3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro conference on Real-Time Systems, Porto, Portugal, 1 July 2003
-
G. BERNAT, N. HOLSTI
"Wishing for Compiler Support"
3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro conference on Real-Time Systems, Porto, Portugal, 1 July 2003
-
M. BUHLMANN, D. KANT
"Concepts, Methods & Tools for Software Development in the Automotive Industry"
SCADE User Conference, Toulouse, France, 19-20 May, 2003
-
M. BUHLMANN
"Bussysteme für sicherheitsrelevante Systeme"
12. Aachener Motorenkolloquium, Aachen, Germany, October 2003
- A. BURNS, G. BERNAT, I. BROSTER
“A Probabilistic Framework for Probabilistic Schedulability Analysis”, presented at EMSOFT, Philadelphia, 2003
-
P. CASPI, A. CURIC, A. MAIGNAN, CH. SOFRONIS, S. TRIPAKIS AND P. NIEBERT
"From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications"
LCTES03, San Diego, June 2003, Published by ACM-SIGPLAN
-
P. CASPI, A. CURIC, A. MAIGNAN, C. SOFRONIS, S. TRIPAKIS
"Translating Discrete-Time Simulink to Lustre"
to appear in Proc. of EMSOFT'03, Philadelphia, USA, 13-15 Oct., 2003
- V. CLAESSON, C. EKELIN, N. SURI
"The Event-Triggered and Time-Triggered Medium-Access Method
Proceedings of the 6th IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC)
May 2003, Hakodate, Hokkaido, Japan
-
A. COLIN, S. M. PETTERS
"Experimental Evaluation of Code Properties for WCET Analysis"
to appear in Proc. of the 24th IEEE Real-Time Systems Symposium, Cancun, Mexico, December 2003
- M. DELVAI, W. HUBER, P. PUSCHNER, A. STEININGER
“Processor Support for Temporal Predictability - The SPEAR Design Example”, 15th Euromicro Conference on Real-Time Systems, Porto, Portugal, July 2-4, 2003
- J. FAUSTER, R. KIRNER, P. PUSCHNER
“Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs” 3rd International Conference on Embedded Software (EMSOFT 2003),
Philadelphia, USA, October 13-15, 2003
- J. GUSTAFSSON, B. LISPER, R. KIRNER P. PUSCHNER
"Input-Dependency Analysis for Hard Real-Time Software"
to appear in Proc. of 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS2003F,
Oct. 2003, Capri, Italy
- A. JHUMKA, M. HILLER, N. SURI
“A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs” 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES03)
- R. KIRNER, P. PUSCHNER
"Timing Analysis of Optimised Code"
Proceedings of 8th International IEEE Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003)
January 2003, Guadalajara, Mexico
- R. KIRNER, P. PUSCHNER
"Discussion of Misconceptions about Worst-Case Execution-Time Analysis"
Proc. of 3rd Euromicro International Workshop on WCET Analysis,
July 2003, Porto, Portugal
- R. KIRNER, P. PUSCHNER
“Transformation of Meta-Information by Abstract Co-Interpretation”, 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003),
September 24-26, 2003, Vienna , Austria
- H. KOPETZ
"Time-Triggered Real-Time Computing"
IFAC World Congress, Barcelona, July 2002, IFAC Press
- H. KOPETZ, N. SURI
"Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces"
Proceedings of the 6th IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC)
May 2003, Hakodate, Hokkaido, Japan
- H. KOPETZ, N. SURI
“On the Limits of the Precise Specification of Component Interfaces”, 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003),
Capri, 2003
-
A. KRÜGER, D. KANT, M. BUHLMANN
"Software Development Process and Software Components for X-by-Wire Systems"
SAE World Congress 2003, Detroit, Michigan, USA, 3-6 March 2003
-
A. KRÜGER, G. WAGNER, N. EHMKE, S. PROKOP
"Wirtschaftliche Betrachtungen und mögliche Geschäftsmodelle für Standard-Software"
to appear in Proc. of 11. Internationalen Kongress “Elektronik im Kraftfahrzeug”. Baden, Germany, September 2003
- R. MAIER, G. BAUER, S. STOEGER, S. POLEDNA
"Time-Triggered Architecture: A Consistent Computing Platform"
IEEE Micro, 22(4):36-45. July/August 2002
- R. MAIER
"EVENT-TRIGGERED COMMUNICATION ON TOP OF
TIME-TRIGGERED ARCHITECTURE"
DASC (Digital Avionics Conference), October 27-29, 2002, Irvine, California, USA
- R. OBERMAISSER
"CAN Emulation in a Time-Triggered Environment"
In Proc. IEEE International Symposium on Industrial Electronics (ISIE 2002), July 2002,
L´Aquila, Italy
- R. OBERMAISSER, P. PETI
“A Framework for Rapid Application Development of Distributed Embedded Real-Time Systems”,
Eurocon 2003, Ljubljana, Slovenia, September 22-24, 2003
- M. PAULITSCH, W. STEINER
"Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems"
Proc. of 15th Euromicro Conference on Real-Time Systems
July 2-4, 2003, Porto, Portugal
- S. M. PETTERS
"How Much Worst Case is needed in WCET Estimation"
In Proc. 2nd Euromicro International Workshop on WCET Analysis, June 2002, Vienna Austria
-
S. M. PETTERS
"Comparison of Trace Generation Methods for Measurement Based WCET Analysis"
Proc. of the 3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro conference on Real-Time Systems, Porto, Portugal, 1 July 2003
- P. PUSCHNER
"Is Worst-Case Execution-Time Analysis a Non-Problem? --
Towards New Software and Hardware Architectures"
In Proc. 2nd Euromicro Workshop on WCET Analysis, June 2002
- P. PUSCHNER
"Algorithms for Dependable Hard Real-Time Systems"
Proceedings of 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), January 2003, Guadalajara, Mexico
- P. PUSCHNER
"Hard Real-Time Programming is Different"
Proceedings of 17th IEEE International Parallel and Distributed Processing Symposium, 11th International Workshop on Parallel and Distributed Real-Time Systems,
April 2003, Nice, France
- P. PUSCHNER
“The Single-Path Approach towards WCET-analysable Software”
Proc. of IEEE International Conference on Industrial Technology, December 2003 Maribor, Slovenia
- P. PUSCHNER, R. KIRNER
"Avoiding Timing Problems in Real-Time Software"
Proc. IEEE Workshop on Software Technologies for Future Embedded Systems,
May 2003, Hakodate, Japan
- J. RUSHBY
"An Overview of Formal Verification
For the Time-Triggered Architecture"
FTRTFT’02, Oldenburg, Germany, September 2002
-
M. SCHWARZ, R. MAIER
"Communication Platform Requirements for Modular Avionics"
22nd Digital Avionics Conference, Indianapolis, Indiana, USA, October 2003
-
J. SIFAKIS, S. TRIPAKIS, S. YOVINE
"Building Models of Real-Time Systems from Application Software"
In Proc. of the IEEE, January 2003
- W. STEINER, M. PAULITSCH
"The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems"
In Proc. 22nd International Conference on Distributed Computing Systems (ICDCS 2002), July 2002, Vienna, Austria
-
W. STEINER, M. PAULITSCH, H. KOPETZ
"Multiple Failure Correction in the TimeTriggered Architecture"
to appear in Proc. of WORDS 2003 Fall, Capri Italy, 1-3 October, 2003
-
G. STOEGER, A. MUELLER, S. KINDLEYSIDES, L. GAGEA
"Improving the Availability of Time-Triggered Networks: The TTA Star Coupler"
SAE World Congress 2003, Detroit, Michigan, USA, March 2003
-
G. STÖGER, A. KRÜGER, G. KÖNIGHOFER
"Network Management in time-triggered communication systems"
VDI, Baden-Baden, Germany, September 2003
- S. TRIPAKIS
"Decentralized control of discrete event systems with
bounded or unbounded delay communication"
6th International Workshop
on Discrete Event Systems (WODES'02), 2-4 October 2002, Zaragoza,
Spain
Published by IEEE Computer Society, 2002
- S. TRIPAKIS
"Automated Module Composition"
Proceedings of 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), April 2003, Warsaw, Poland
-
S. TRIPAKIS
"Folk theorems on the determinization and minimization of timed automata"
to appear in Proc. of Formal Modeling and Analysis of Timed Systems (FORMATS 2003),
Marseille, France, September 6-7 2003
published by Springer in the LNCS series
NEXT TTA Ph.D Theses
- Astrit ADEMAJ
“Assessment of Error Detection Mechanisms of the Time-Triggered Architecture Using Fault Injection”,
April 2003 (in cooperation with FIT IST-1999-10748 and DSOS, IST-1999-11585)
- Orjan ASKERDAL
“On Impact and Tolerance of Data Errors with Varied Durations”, June 2003
- Vilgot CLAESSON
”Efficient and Reliable Communication in Distributed Embedded Systems”
Ph.D. Thesis, Dept. of Comp. Engg., Chalmers University, Göteborg, December 2002
- Raimund Kirner
“Extending Optimising Compilation to Support”, May 2003 (in cooperation with SETTA, IST-1999-10043)
- Roman OBERMAISSER
“An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms”, January 2004
- Michael PAULITSCH
“Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems”, 2002
(in cooperation with DSOS, IST-1999-11585)
- Holger PFEIFER
“Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture” Ph.D.Thesis, Juni 2003, Universität Ulm
NEXT TTA Master Theses
- Christian EDER
”Designing a High-Performant Real-Time Architecture Based on COTS-Components”
Master Thesis, Vienna University of Technology, Institut fur Technische Informatik, 2002
- Laszlo JOSEPOVITS
“QoS for the TCP/IP-based Extension of the Time Triggered Architecture”, June 2003
- Martin SCHWARZ
“Implementation of a TTP/C Cluster Based on Commercial Gigabit Ethernet Components”, 2002
- Christos SOFRONIS
“Translating Discrete-time Simulink to Lustre”, October 2003, Universite Joseph Fourier
Publications related to NEXT TTA
- I. BATE, G. BERNAT, P. PUSCHNER
"Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis"
In Proc. 5th IEEE International Symposium on Object-oriented Real-time distributed Computing, Washington, DC, USA, April, 2002
- A. BENVENISTE, P. CASPI, P. LE GUERNIC, H. MARCHAND, J.P. TALPIN and S. TRIPAKIS
"A Protocol for Loosely Time-Triggered Architectures"
In Proc. EMSOFT 2002, Grenoble, France, Oct. 2002
Published by Springer in the LNCS series.
- M.BUHLMANN
"Voraussetzungen für verteilte Fahrzeugfunktionen auf Basis einer zeitgesteuerten Architektur"
VDA Congress "Elektronik im Kraftfahrzeug", September 27-28, 2002, Baden-Baden, Germany
- M. BUHLMANN
"Necessary software structures and process steps for development of distributed controls"
3rd Dec. 2003, "Haus der Technik" (house of technique), Essen, Germany
- A. COLIN, G. BERNAT
"Scope Tree: a Program Representation for Symbolic WCET Analysis"
In Proc. 14th Euromicro International Conference on Real-Time Systems, June 2002, Vienna, Austria.
-
B. HARDUNG, M. WERNICKE, G. WAGNER, A. KRÜGER, F. WOLGEMUTH
"Entwicklungsprozess für vernetzte Elektroniksysteme"
to appear in Proc. of 11. Internationalen Kongress “Elektronik im Kraftfahrzeug”, Baden, Germany, September 2003
- A. KRÜGER, M. BUHLMANN
"Sicherheitsarchitektur und Software-Komponenten
für sicherheitsrelevante Systeme"
VDA Technical Congress 2002, March 20-21,2002, Stuttgart, Germany
- P. PUSCHNER
"Transforming Execution-Time Boundable Code into Temporally
Predictable Code"
In Proc. IFIP World Computer Congress 2002, Stream on Distributed and
Parallel Embedded Systems (DIPES), Montreal, Canada, Aug. 2002
- S.TRIPAKIS
"Description and Schedulability Analysis of the Software
Architecture of an Automated Vehicle Control System"
In Proc. EMSOFT 2002, Grenoble, France, Oct. 2002
Published by Springer in the LNCS series.
- S.TRIPAKIS
"Fault Diagnosis for Timed Automata"
In Proc. FTRTFT 2002, Oldenburg, Germany, Sept. 2002
Published by Springer in the LNCS series.
To appear
- Ö. ASKERDAL, M. GÄFVERT, M. HILLER, N.SURI
“Analyzing the Impacts of Data Errors in Safety-Critical Control Systems”, to appear in IEICE Transactions on Information & Systems, Special Issue on Dependable Computing
- G. BERNAT, A. BURNS, M. NEWBY
“Probabilistic timing analysis: an approach using copulas”
accepted to the Journal of Embedded Computing to be published later in 2004.
- V. CLAESSON, H. LÖNN, N. SURI
“An Efficient TDMA Start-up and Restart Synchronization Approach for Distributed Embedded Systems”, to appear in IEEE Transactions on Parallel and Distributed Systems
- M. HILLER, A. JHUMKA AND N. SURI
“EPIC: Profiling the Propagation and Effect of Data Errors in Software”, to appear IEEE Transactions on Computers
back to top