|
|
Veröffentlichungen
2006
- Christian Ferdinand, Bärbel Franzen, Reinhold Heckmann:
Static Memory and Timing Analysis of Embedded Systems Code. The Embedded Systems Show,
11–12 October 2006, NEC Birmingham.
2007
- Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel, Christoph Pohl, and Simone Röttger:
Enforceable Component-Based Realtime Contracts — Supporting Realtime Properties from Software Development to Execution.
In Springer Real-Time Systems Journal, Volume 35, Number 1, Springer, January 2007.
- Marek Jersak, Michael Bartels, Reinhold Heckmann and Bärbel Franzen:
Sicher, nicht träge! Software in sicherheitskritischen Echtzeitsystemen.
Design&Elektronik 23:54+91, 2007,1.
- Christian Ferdinand, Reinhold Heckmann, Bärbel Franzen:
Static Memory and Timing Analysis of Embedded Systems Code Proceedings of VVSS2007 —
3rd European Symposium on Verification and Validation of Software Systems 23rd of March 2007,
Eindhoven (Editor Perry Groot), TUE Computer Science Reports 07-04, pages 153–163.
- Ferdinand C., Jersak M.:
Time is money — Real Time is a lot of money.
3rd Bosch Conference on Systems and Software Engineering (BoCSE 2007),
Forum Ludwigsburg, March 2007.
- Simone Röttger and Steffen Zschaler:
Tool Support for Refinement of Non-functional Specifications.
In Journal on Software and Systems Modeling (SoSyM), volume 6, number 2, Springer, June 2007.
- Christoph Cullmann, Florian Martin:
Data-Flow Based Detection of Loop Bounds.
7th International Workshop on Worst-Case Execution Time Analysis,
Pisa, Italy, 3 July 2007.
- Ingmar Stein, Florian Martin:
Analysis of Path Exclusion at the Machine-Code Level.
7th International Workshop on Worst-Case Execution Time Analysis,
Pisa, Italy, 3 July 2007.
- James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund and Nico Feiertag:
Modeling architecturally neutral realtime systems.
In Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems,
JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26–28 September 2007,
Vienna, Austria: 175–184.
- Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann:
New Developments in WCET Analysis.
In: Thomas Reps, Mooly Sagiv, Jörg Bauer (Eds.), Program Analysis and Compilation,
Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 4444, pages 12–52, Springer-Verlag, 2007.
2008
- C. Ferdinand, R. Heckmann, M. Jersak, F. Martin, K. Richter:
Integrating System-Level and Code-Level Timing Analysis for Dependable System Development.
4th European Congress ERTS — Embedded Real Time Software,
29 January–1 February 2008, Toulouse, France.
- Christian Ferdinand, Reinhold Heckmann, Florian Martin, Marek Jersak, Kai Richter:
Tutorial on Techniques for Timing Analysis and Optimization.
Embedded World Conference 2008, 26–28 February 2008,
Messezentrum Nuremberg, Germany.
- Christian Ferdinand, Reinhold Heckmann, Bärbel Franzen:
Static Program Analysis with Tools Based on Abstract Interpretation.
ECE Information & Know-how for Embedded Engineers 02/08.
- J. Rox and R. Ernst:
Modeling Event-Stream Hierarchies with Hierarchical Event Models.
In Proceedings of Design, Automation and Test in Europe (DATE 2008), March 2008.
- Kästner D.: Validierung des Zeitverhaltens von Echtzeitsystemen.
Fourth SafeTRANS Industrial Day, Fraunhofer-Forum, Berlin, 30 April 2008.
- Christian Ferdinand and Reinhold Heckmann:
Worst-Case Execution Time — A Tool Provider’s Perspective.
11th IEEE International Symposium on Object/component/service-oriented
Real-time distributed Computing (ISORC 2008),
Orlando, Florida, USA, 5–7 May 2008.
- Mirko Seifert:
Opportunities and Challenges of Traceable Graph Rewriting Systems.
In Proceedings of the 3rd International Workshop on Graph and Model Transformation,
GraMoT 2008, Satellite event of the 30th International Conference on Software Engineering 2008 (ICSE 2008),
12 May 2008, Leipzig, Germany.
- Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling,
Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand:
Timing Validation of Automotive Software.
3rd International Symposium on Leveraging Applications of Formal Methods,
Verification and Validation (ISOLA), Kassandra, Greece, 2008.
- J. Rox and R. Ernst:
Construction and Deconstruction of Hierarchical Event Streams
with Multiple Hierarchical Layers.
In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS 2008),
Prague, Czech Republic, July 2008.
- Mirko Seifert and Stefan Katscher:
Debugging Triple Graph Grammar-Based Model Transformations.
In Proceedings of 6th International Fujaba Days,
18–19 September 2008, Dresden, Germany.
- Mirko Seifert and Roland Samlaus:
Static Source Code Analysis using OCL.
In Proceedings of the Workshop OCL Tools:
From Implementation to Evaluation and Comparison,
OCL 2008, Satellite event of the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008),
30 September 2008, Toulouse, France.
- S. Schliecker, J. Rox, M. Ivers, and R. Ernst:
Providing Accurate Event Models for the Analysis of Heterogeneous Multiprocessor Systems.
In Proceedings of the 6th International Conference on Hardware Software Codesign and
System Synthesis (CODES-ISSS), Atlanta, GA, October 2008.
- Christian Ferdinand, Reinhold Heckmann, Bärbel Franzen:
Automatische Überprüfung der Einhaltung von Laufzeit und Speicher-Quotas
bei der Software-Integration.
Embedded Software Engineering Kongress, Sindelfingen, 8–10 December 2008.
2009
- J. C. Braam, J. Rox, and R. Ernst:
Software and network modeling for early design phases.
In Automation, Assistence and Embedded Real Time Platforms
for Transportation (AAET), Germany, February 2009.
- Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, and Christian Wende:
Derivation and Refinement of Textual Syntax for Models.
Accepted for publication at the Fifth European Conference on Model-Driven Architecture Foundations and Applications,
ECMDA-FA 2009, 23–26 June 2009, Enschede, The Netherlands.
- Jendrik Johannes, Roland Samlaus and Mirko Seifert:
Round-trip Support for Invasive Software Composition Systems.
Accepted for publication at the International Conference on Software Composition 2009,
SC 2009, 2–3 July 2009, Zurich, Switzerland.
- S. Schliecker, J. Rox, M. Negrean, K. Richter, M. Jersak, and R. Ernst:
System-Level Performance Analysis for Real-Time Automotive Multi-Core and Network Architectures.
IEEE Transactions on Computer Aided Design, 2009.
- S. Schliecker, J. Rox, R. Henia, R. Racu, A. Hamann, and R. Ernst:
Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems. CRC Press, 2009.
Vorträge
- U. Aßmann: The SuReal Model-Driven Verification Process.
Leuven, IMEC, 18 January 2008.
- TUM: DTU-Treffen 2007: Analysis of Executables for WCET Concerns.
- Innovationsforum Dresden 2007.
- Innovationsforum Dresden 2009.
- R. Ernst: Formal Methods in System and MPSOC Performance Analysis and Optimization.
Tutorial — Design, Automation and Test in Europe (DATE 2008), Munich, Germany, 2008.
Open-Source-Software
|
|
 |
