ARTES
-------------------------------------------------

 

Publications by supported projects

Suggestions for acknowledgement of ARTES in publications.
  1. Parosh Aziz Abdulla, Per Bjesse, and Niklas Eén. Symbolic Reachability Analysis Based on SAT-Solvers. To appear in Proc. TACAS'2000, 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems.

  2. Joakim Aidemark and Johan Karlsson. Using Massive Time Redundancy to Achieve Node-level Transient Fault Tolerance. ARTES Graduate Student Conference 2000.

  3. Tomas Akenine-Möller, Fast 3D Triangle-Box Overlap Testing. Journal of graphics tools, vol. 6, no. 1, pp. 29-33, 2001.

  4. Lars Albertsson, Using Full Simulation for Debugging Real-Time Properties of Operating Systems. ARTES Graduate Student Conference 2000.

  5. Lars Albertsson, Simulation-Based Debugging of Soft Real-Time Applications. Presented in the Work-in-Progress session of RTAS 2001. Available in postscript, gzipped postscript, and pdf.

  6. Lars Albertsson and Peter S Magnusson, Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workloads. Presented at MASCOTS 2000. Available in postscript, gzipped postscript and pdf.

  7. Lars Albertsson and Peter S Magnusson, Simulation-Based Temporal Debugging of Linux. Presented at the second Real-Time Linux Workshop 2000. Available in postscript, gzipped postscript and pdf.

  8. Björn Allvin, Hans Hansson, Andreas Ermedahl, H. Sundell, P. Tsigas: Evaluating the Performance of Wait-Free Snapshots in Real-Time Systems, In Swedish National Real-Time Conference SNART'99, August 1999.

  9. Tobias Amnell, Alexandre David, and Wang Yi. A Real Time Animator for Hybrid Systems. Tech Report, Department of IT, Uppsala University, March, 2000. To be included in the proceedings of 6th ACM SIGPLAN LCTES'2000.

  10. Björn Andersson,"Insights on Non-Partitioned Fixed-Priority Preemptive Scheduling", Licentiate thesis, 2001

  11. Björn Andersson, Sanjoy Baruah and Jan Jonsson, "Static-Priority Scheduling on Multiprocessors," To appear in Proc. of the IEEE Real-Time Systems Symposium, December 3-6, 2001, London, UK, 2001

  12. Björn Andersson and Jan Jonsson, Preemptive Multiprocessor Scheduling Anomalies. Available as Chalmers Computer Engineering TR-01-09 , 2001.

  13. Björn Andersson, Jan Jonsson: Fixed-Priority Preemptive Scheduling: To Partition or Not to Partition, Technical Report 00-1, Department of Computer Engineering, Chalmers, Jan 2000.

  14. Björn Andersson, Jan Jonsson: Some Insights on Fixed-Priority Preemptive Non-Partitioned Multiprocessor Scheduling, (in submission), Technical Report 00-10, Department of Computer Engineering, Chalmers, April 2000

  15. Ulf Assarsson , View Frustum Culling and Animated Ray Tracing: Improvements and Methodological Considerations. Liceciate thesis, Chalmers Dept. of Computer Engineering, Technical report no. 396L, May 2001

  16. Ulf Assarsson and Tomas Möller, ``Optimized View Frustum Algorithms for Bounding Boxes'', Journal of graphics tools, vol. 5, no. 1, pp. 9-22, 2000.

  17. Ulf Assarsson and Per Stenström, A Case Study of Load Distribution in Parallel View Frustum Culling and Collision Detection, Euro-Par 2001 Parallel Processing Proceedings, Pages 663-673.

  18. Mattias Bergdahl, Tomas Lennvall - Off-line Scheduling Services for Predictably Flexible Real-Time Systems, Master’s thesis, 1999

  19. Carl Bergenhem. Position Statement for: Methods for integration of Heterogeneous Real-Time Services into High-Performance Networks. ARTES Graduate Student Conference 2000.

  20. Bergenhem, C., M. Jonsson, and J. Olsson, "Fibre-ribbon pipeline ring network with distributed global deadline scheduling and deterministic user services," to appear in Proc. Workshop on Optical Networks (WON'2001) in conjunction with 2001 International Conference on Parallel Processing (ICPP'01), Valencia, Spain, Sept. 3-7, 2001.

  21. Bergenhem, C., Jonsson, M. and Olsson, J. "Fibre-Ribbon Pipeline Ring Network with Distributed Global Deadline Scheduling". ARTES Graduate Student Conference 2001.

  22. U. Bilstrup, Performance Evaluation of the use of Bluetooth in Vehicles and in vehicle manufacturing environment, technical report at CCA Halmstad University, mars 2000.

  23. U. Bilstrup, The usability of Bluetooth in Vehicles, technical report at CCA Halmstad University, July, 2000.

  24. U. Bilstrup, “Applicability of Bluetooth Applications in Vehicles” , speech at Bluetooth Developers Conference, US, San Jose, December, 2000.

  25. U. Bilstrup and Per-Arne Wiberg Introduction to the use of Bluetooth in time and safety critical applications, technical report at CCA Halmstad University, January, 2000.

  26. U. Bilstrup and P-A. Wiberg. “Bluetooth in industrial environment”, In Proc 2000 IEEE International Workshop on Factory Communication Systems, pp. 239-247, Porto, Portugal, September, 2000.

  27. Urban Bilstrup and Per-Arne Wiberg. Wireless Networks for Manufacturing. ARTES Graduate Student Conference 2000.

  28. Birgisson, R. (September, 1998). Improving testability of applications in active real-time database environments. Master's thesis HS-IDA-MD-98-001, Dept. of Computer Science, University of Skövde.

  29. Birgisson, R., Mellin, J., and Andler, S. F. (December, 1999). Bounds on test effort for event-triggered real-time systems. In Proc. 6th Int'l Conf Real-Time Computing, Systems and Applications (RTCSA'99), pages 212--215, Hong Kong. IEEE Computer Press.

  30. M. Broberg, An Approach for Performance Tuning of Multithreaded Applications on Multiprocessors, Licentiate Thesis, Chalmers University of Technology, Sweden.

  31. M. Broberg, L. Lundberg, and H. Grahn, Performance Optimization Using Critical Path Analysis in Multithreaded Programs on Multiprocessors, submitted for journal publication.

  32. M. Broberg, L. Lundberg and H. Grahn, VPPP - A Visualization and Performance Prediction Tool for Multithreaded Solaris Programs, in Proceedings of 12th International Parallel Processing Symposium, Orlando, April 1998.

  33. M. Broberg, L. Lundberg, and H. Grahn, VPPB - The Second Version: An Approach to Monitor Solaris Kernel Threads, in DSA-98 Seventh Swedish Workshop on Computer Systems Architecture, Göteborg, Sweden, June 3-5, 1998.

  34. M. Broberg, L. Lundberg and H. Grahn, Visualization and Performance Prediction of Multithreaded Solaris Programs by Tracing Kernel Threads, in Proceedings of 13th International Parallel Processing Symposium, San Juan, Puerto Rico, April 1999, pp. 407-413.

  35. M. Broberg, Performance Tuning of Multithreaded Applications for Multiprocessors by Cross-Simulation, Submitted for conference publication and for presentation at the ARTES student conference in Gothenburg, March 2000.

  36. Anton Cervin: Improved Scheduling of Control Tasks. Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, England, June 1999.

  37. A. Cervin: The Real-Time Control Systems Simulator---Reference Manual. Internal report TFRT-7592, Department of Automatic Control, Lund Institute of Technology, April 2000.

  38. A. Cervin, J. Eker, and L. Sha: Feedback Scheduling of Control Tasks. Submitted to the 39th IEEE Conference on Decision and Control, Sydney, Australia, December 2000.

  39. De-jiu Chen, System Architecture for Mechatronics Systems - A survey of the concepts, theories and methods with the focus on software, Technical Report, TRITA-MMK 1999:30, ISSN 1400-1179, ISRN KTH/MMK/R-99/30-SE., 1999

  40. De-jiu Chen. Research Issues on System Architecture for Mechatronics Systems. ARTES Graduate Student Conference 2000.

  41. De-jiu Chen, Architecture for Systematic Development of Mechatronics Software Systems, Licentiate thesis: Mechatronics Lab, Department of Machine Design, Royal Institute of Technology, KTH, STOCKHOLM, Sweden, TRITA - MMK 2001:06, ISSN 1400 -1179, ISRN KTH/MMK -- 01/06 -- SE, 2001

  42. De-Jiu Chen, Martin Sanfridsson, Introduction to Distributed Real-Time Control, Technical Report, TRITA-MMK 1998:22, ISSN 1400-1179, ISRN KTH/MMK/R-98/22-SE., 2000.

  43. De-Jiu Chen, Martin Törngren, System Architecture in a Mechatronics Perspective, Compendium of Papers, SNART 99 Real-time System Conference, Linköping, 1999

  44. De-Jiu Chen, Martin Törngren, Towards A Framework for Architecting Mechatronics Software Systems, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems, (ICECCS 2001), Skövde, Sweden, 2001, ISBN 0-7695-1159-7.

  45. Alexandre David, Practical Verification of Real-time Systems. Licentiate Theses from the Department of Information Technology, 2001-13 October 2001. ISSN 1404-5117.

  46. A. David and M. O. Möller, From HUppaal to Uppaal A translation from hierarchical timed automata to flat timed automata. BRICS report RS-01-11, Dept. of. Computer Sci. Åhus Univ. Denmark 2001

  47. David A., Oliver M. M. and Yi, W. Formal Verification of UML Statecharts with Real-Time Extensions. Department of Information Technology, Technical Reports ISSN 1404-3203.

  48. Alexandre David and Wang Yi, Hierarchical Timed Automata for UPPAAL, Presented at The 10th Nordic Workshop on Programming Theory (NWPT'98), Turku Centre for Computer Science (TUCS), Finland, October 14-16th, 1998.

  49. Alexandre David and Wang Yi, Modelling and Analysis of a Commercial Field Bus Protocol, Accepted for presentation at the 12th Euromicro Conference on Real Time Systems, Stockholm, June 19th-21st, 2000.

  50. [an error occurred while processing this directive]

  51. Cecilia Ekelin and Jan Jonsson: Real-Time System Constraints: Where do They Come From and Where do They Go? Proceedings of the International Workshop on Real-Time Constraints, Alexandria, Virginia, October 1999.

  52. Cecilia Ekelin and Jan Jonsson: Solving Embedded System Scheduling using Constraint Programming, (in submission), Technical Report 00-12, Department of Computer Engineering, April 2000.

  53. J. Eker and A. Cervin. A Matlab Toolbox for Real-Time and Control Systems Co-Design. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications, Hong Kong, China, December 1999.

  54. J. Eker, P. Hagander, and K.-E. Årzén: A Feedback Scheduler for Real-Time Controller Tasks. Accepted for publication in Control Engineering Practice, 2000.

  55. P. Eles, K. Kuchcinski, Z. Peng, A. Doboli and P. Pop, "Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems," Proc. Euromicro'98 Workshop on Digital System Design: Architectures, Methods and Tools, Västerås, Aug. 25-27, 1998, pp. 168-175.

  56. Elkhoury J. and Törngren M. (2001). Towards a Toolset for Architectural Design of Distributed Real-Time Control Systems. To appear in Proc. of the IEEE Real-time Systems Symposium, London, 2001.

  57. Christer Ericsson, Anders Wall and Wang Yi, Timed Automata as Task Models for Event-Driven Systems, In the proceedings of RTSCA'99, IEEE press, Dec 1999. pdf.

  58. Sven Gestegård Robertz, Flexible automatic memory management for real-time and embedded systems. Dissertation 18, 2003 LU-CS-LIC: 2003-2. ISSN 1404-1219

  59. Daniel Häggander, PerOlof Bengtsson, Lars Lundberg, Jan Bosch, "Maintainability Myth Causes Performance Problems in Parallel Applications", in Proceedings of SEA '99 , the 3rd International Conference on Software Engineering and Application, Scottsdale, USA, October 1999.

  60. Daniel Häggander, PerOlof Bengtsson, Lars Lundberg, Jan Bosch, "Maintainability Myth Causes Performance Problems in SMP Applications", in Proceedings of APSEC '99, the 6th Asian-Pacific Conference on Software Engineering, Takamatsu, Japan, December 1999.

  61. D. Häggander, Software Design When Migrating to Multiprocessors, Licentiate Thesis, Department of Computer Systems, Uppsala University, Sweden. 1999.

  62. D. Häggander and L. Lundberg, Optimizing Dynamic Memory Management in a Multithreaded Application Executing on a Multiprocessor, in Proceedings of International Conference on Parallel Processing, Minneapolis, US, August, 1998.

  63. D. Häggander and L. Lundberg, Memory Allocation Prevented Telecommunication Application to be Parallelized for Better Database Utilization, in Proceedings of the 6th Annual Australasian Conference on Parallel and Real-Time Systems, Melbourne, November 1999 (Springer-Verlag), pp. 258-271.

  64. D. Häggander and L. Lundberg, Multiprocessor Performance Evaluation of a Telecommunication Fraud Detection Application, in Proceedings of the ARTES Graduate Student Conference, Västerås, pp. 33-39, May 1999.

  65. D. Häggander and L. Lundberg, Attacking the Dynamic Memory Problem for SMPs, submitted for publication.

  66. D. Häggander and L. Lundberg, A Simple Process for Migrating Server Applications to SMPs, submitted for journal publication.

  67. H. Hoang, M. Jonsson, U. Hagström, and A. Kallerdahl, Switched real-time Ethernet with earliest deadline first scheduling - protocols and traffic handling. Proc. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'2002) in conjuction with International Parallel and Distributed Processing Symposium (IPDPS'02), Fort Lauderdale, FL, USA, April 15-15, 2002.

  68. H. Hoang, M. Jonsson, A. Larsson, R. Olsson and C. Bergenhem, Deadline first scheduling in switched real-time Ethernet - deadline partitioning issues and software implementation experiments. Proceeding of the 2002 Intl. Workshop on Real-Time LANs in the Internat Age. pp 69-71, Vienna Austria, June 2002.

  69. Hoang, H. Switched Real-Time Ethernet for Industrial Applications. Licenciate Thesis, Technical Report No. 20L, Dept. of Computer Engineering. Chalmers University of Technology. 2003.

  70. Damir Isovic, Handling Sporadic Tasks in Real-time Systems - Combined Offline and Online Approach. Licentiate thesis , Mälardalen University Press, June 2001.

  71. Damir Isovic, Gerhard Fohler: Handling Sporadic Tasks in Off-line Scheduled Distributed Real - Time Systems, 11th EUROMICRO Conference on Real-Time Systems , York, England, July 1999.

  72. Damir Isovic, Gerhard Fohler. Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints, Proc. of the 21st IEEE Real -Time Systems Symposium, Walt Disney World, Orlando, Florida, USA, November 2000.

  73. Damir Isovic, Gerhard Fohler, Online Handling of Firm Aperiodic Tasks in Time Triggered Systems, Work-in-Progress Session, 12th EUROMICRO Conference on Real-Time Systems, Stockholm, Sweden, June 2000.

  74. Damir Isovic, Gerhard Fohler: Simulation Analysis of Sporadic and Aperiodic Task Handling, Technical Report , May 2001.

  75. Damir Isovic, Markus Lindgren, Ivica Crnkovic: System Development with Real -Time Components, Proc. of ECOOP2000 Workshop 22 - Pervasive Component-based systems, Sophia Antipolis and Cannes, France, June 2000

  76. Damir Isovic, Markus Lindgren: Real -Time Components, Technical Report , Mälardalen Real-Time Research Centre, Mälardalen University, March 2000.

  77. Razvan Jigorea, Sorin Manolache, Petru Eles and Zebo Peng. "Modelling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML", Proc. IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2000), Newport Beach, California, 2000.

  78. Jonsson, M. and C. Bergenhem, "A Class of Fiber-Ribbon Pipeline Ring Networks for Parallel and Distributed Computing Systems," Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, NV, USA, June 25-28, 2001, vol. IV, pp. 1869-1875.

  79. Jan Jonsson and Kang G. Shin: On the Practical Application of the Branch-and-Bound Algorithm to Real-Time Multiprocessor Scheduling. (in journal submission), Technical Report, Department of Computer Engineering, January 2000.

  80. Jonas Lext and Tomas Akenine-Möller, ``Towards Rapid Reconstruction for Animated Ray Tracing,'' Eurographics 2001, short presentation, pp. 311-318, 2001.

  81. Jonas Lext, Ulf Assarsson, Tomas Möller: "BART: Benchmark for Animated Ray Tracing" Technical Report, Department of Computer Engineering, Chalmers, Jan 2000.

  82. B. Lindström, Reducering av testmöda vid testning av punktlighet i händelsestyrda realtidssystem, Final Year Project HS-IDA-EA-99-115, Dept Comp Sci, University of Skövde, 1999.

  83. B. Lindström, Methods for Increasing Software Testability,Master Thesis, Dept Comp Sci, University of Skövde, HS-IDA-MD-00-017, 2000.

  84. Lars Lundberg, Jan Bosch, Daniel Häggander, PerOlof Bengtsson, "Quality Attributes in Software Architecture Design", in Proceedings of SEA '99 , the 3rd International Conference on Software Engineering and Application, Scottsdale, USA, October 1999.

  85. Sorin Manolache: Using UML to Model Heterogenous Real-Time Systems M.Sc. Thesis. Linköping 1999.

  86. Jukka Mäki-Turja , Gerhard Fohler , Kristian Sandström: Towards Efficient Analysis of Interrupts in Real-Time Systems, 11th EUROMICRO Conference on Real-Time Systems, York, England. June1999

  87. Mellin, J. (1998). Supporting system level testing of applications by active real-time database systems. In Proc. 2nd Int'l Workshop on Active, Real-Time, and Temporal Databases, ARTDB-97, number 1553 in LNCS. Springer-Verlag.

  88. R. Nilsson, Automated Test Case Execution for Real-Time Systems that are Constrained for Improved Testability, Final Year Project HS-IDA-EA-99-118, Dept Comp Sci, University of Skövde, 1999.

  89. R. Nilsson, Automated Selective Test Case Generation Methods for Real-Time Systems,Master Thesis, Dept Comp Sci, University of Skövde, HS-IDA-MD-00-010, 2000

  90. Nolte, T., Reducing Pessimism and Increasing Flexibility in the Controller Area Network. Licenciate thesis, Mälardalen University May 12, 2003.

  91. Nyström, D., COMET: A Component-Based Real-Time Database for Vehicle Control-Systems. Licenciate thesis, Mälardalen University May 12, 2003.

  92. P. Persson: Live Memory Analysis for Garbage Collection in Embedded Systems. In Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'99), Atlanta, GA, May 1999. ACM SIGPLAN Notices 34(7):45-54.

  93. P. Persson Using Aliasing Information to Predict Real-Time Garbage Collection In A. Moreira and S. Demeyer (editors): Object-Oriented Technology: ECOOP '99 Workshop Reader, pages 137-138, LNCS 1743, Springer, 1999. Position paper presented at the Intercontinental Workshop on Aliasing in Object-Oriented Systems (in conjunction with ECOOP'99), Lisbon, Portugal, June 1999.

  94. Patrik Persson. Bounding The Execution Time of Method Calls Combining Static Analysis and Dynamic Class Loading. ARTES Graduate Student Conference 2000.

  95. P. Persson, A. Cervin, and J. Eker: Execution-Time Properties of a Hybrid Controller. Internal report TFRT-7591, Department of Automatic Control, Lund Institute of Technology, April 2000.

  96. Patrik Persson and Görel Hedin: Interactive Execution Time Predictions using Reference Attributed Grammars. Proceedings of WAGA '99: Second Workshop on Attribute Grammars and their Applications, Amsterdam, The Netherlands, March 1999.

  97. P. Persson and G. Hedin. An Interactive Environment for Real-Time Software Development. In Proceedings of the 33rd International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Europe 2000), St. Malo, France, June 2000. IEEE Computer Society Press.

  98. P. Pop, P. Eles, and Z. Peng, "Scheduling Driven Partitioning of Heterogeneous Embedded Systems," Proc. 7th Swedish Workshop on Computer Systems Architecture, Göteborg, June 3-5, 1998, pp. 99-102.

  99. P. Pop, P. Eles, Z. Peng, Communication Scheduling for Time-Triggered Systems, 11th Euromicro Conference on Real-Time Systems , York, England, June 9-11, 1999 (Work in Progress Proceedings)

  100. P. Pop, P. Eles, Z. Peng, Scheduling with Optimized Communication for Time-Triggered Embedded Systems, 7th International Workshop on Hardware/Software Codesign Rome, Italy, May 3-5,1999, pages 178-182

  101. P. Pop, P. Eles, Z. Peng, An Improved Scheduling Technique for Time-Triggered Embedded Systems, 25th Euromicro Conference, Milan, Italy, September 8-10, 1999, pages 303-310

  102. P. Pop, P. Eles, Z. Peng, Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems, 6th International Conference on Real-Time Computing Systems and Applications, (RTCSA'99), Hong Kong, December 13-15, 1999, pages 287-294

  103. Paul Pop, Petru Eles, Zebo Peng. Schedulability Analysis for Systems with Data and Control Dependencies. Euromicro Conference on Real-Time Systems, Stockholm, 2000.

  104. Redell, O. Response Time Analysis for Implementation of Distributed Control Systems. Mechatronics Lab, Department of Machine Design, Royal Institute of Technology, S-100 44 Stockholm, Sweden, TRITA-MMK 2003:17, ISSN 1400-1179, ISRN KTH/MMK/R--03/17--SE. 2003.

  105. Ola Redell and Jad El-Khoury. Summary of Meetings at SAAB Automobile in Trollhättan. Internal report. Damek, KTH, July 2000

  106. Ola Redell, Jad Elkhoury and Martin Törngren. AIDA II Automatic control in distributed applications. ARTES Graduate Student Conference 2000.

  107. Stefan Rönning, Farshad Khoshpanisand - Configurable Internet Services for Schedule Visualization, Master’s thesis, 1999

  108. H. Sundell, P. Tsigas. Space Efficient Wait-Free Buffer Sharing in Multiprocessor Real-Time Systems Based on Timing Information. Chalmers University of Technology. Proceedings of RTCSA 2000 in Cheju Island (South Korea) 12-14 December 2000. p. 433-440, 2000 IEEE press.

  109. H Sundell, P Tsigas, And Y. Zhang. Bounding Wait-Free Snapshot Algorithm Buffers Using Timing Information. (To be submitted)

  110. H. Sundell, P. Tsigas, Y. Zhang, Simple and Fast Wait-Free Snapshots for Real-Time Systems, Chalmers University of Technology, Proceedings of OPODIS 2000 in Paris (France) 20-22 December 2000. p. 91-106, Studia Informatica Universalis.

  111. Aleksandra Tesanovic. Towards Aspectual Component-Based Real-Time System Development Linköping Studies in Science and Technology, Thesis No. 1024, Licentiatavhandling, ISBN 91-7373-681-3, ISSN 0280-7971, 2003.

  112. Henrik Thane. Design for Deterministic Monitoring of Distributed Real-Time Systems. Technical Report, November 1999.

  113. Henrik Thane and Hans Hansson. Deterministic Replay for Debugging of Distributed Real-Time Systems. In Proc. IEEE 12th Euromicro Conference on Real-Time Systems, June 19-21, 2000, Stockholm.

  114. Henrik Thane. Monitoring, Testing and Debugging of Distributed Real-Time Systems. Stockholm 2000 Doctoral Thesis, Mechatronics Laboratory, Department of Machine Design, Royal Institute of Technology, KTH, Stockholm, Sweden. ISSN 1400-1179. ISRN KTH/MMK/R--97/17-SE. MRTC Report 00/15.

  115. Henrik Thane and Hans Hansson. Towards Systematic Testing of Distributed Real-Time Systems. In Proc. 20th IEEE Real-Time Systems Symp. Phoenix, Arizona , December 1999. IEEE Computer Society Press.

  116. Henrik Thane and Hans Hansson. Handling Interrupts in Testing of Distributed Real-Time Systems. In Proc. 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong-Kong, December 1999.

  117. Henrik Thane and Hans Hansson. Towards Deterministic Testing of Distributed Real-Time Systems. In Swedish National Real-Time Conference SNART'99, August 1999.

  118. Henrik Thane and Anders Wall. Formal and Probabilistic Arguments for Component Reuse in Safety-Critical Real-Time Systems. ARTES Graduate Student Conference 2000.

  119. P. Tsigas and Y. Zhang. The Effect of Faults on the Performance of Non-blocking Shared Data Objects in Multiprocessor Systems. 1999 Pacific Rim International Symposium On Dependable Computing (PRDC 1999) part of the federated 1999 International Computer Congress (ICC'99).

  120. Philippas Tsigas, Yi Zhang. Non-blocking Data Sharing in Multiprocessor Real-Time System. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA '99), part of the federated 1999 International Computer Congress (ICC '99), IEEE press, pp. 247-254.

  121. Martin Törngren , Jad Elkhoury, Ola Redell, Martin Sanfridson. Modelling and Simulation of Embedded Computer Control Systems: Problem formulation, Technical report, Mechatronics lab, Dept. of Machine Design, KTH. TRITA-MMK 2001:3, ISSN 1400-1179, ISRN KTH/MMK 01/3-SE

  122. Tsigas, P. and Y. Zhang (2001). Evaluating The Performance of Non-Blocking Synchronisation on Modern Shared-Memory Multiprocessors. ACM Sigmetrics 2001 / Performance 2001, ACM, pages: 320-321, 2001 ACM press.

  123. Tsigas, P. and Y. Zhang (2001). A Simple, Fast and Scalable Non-Blocking Concurrent FIFO queue for Shared Memory Multiprocessor Systems. 13th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '01), ACM.

  124. Martin Törngren and Ola Redell, A Modelling Framework to support the design and analysis of distributed real-time control systems. J. of Microprocessors and Microsystems 24 (2000) 81-93.

  125. Uhlemann, Elisabeth. Hybrid ARQ Using Serially Concatenated Block Codes for Real-Time Communication - An Iterative Decoding Approach. Licenciate Thesis 2001.

  126. Elisabeth Uhlemann and Per-Arne Wiberg. Deadline Dependent Coding - A Framework for Wireless Real-Time Communication. ARTES Graduate Student Conference 2000.

  127. Wall, Anders. A Formal Approach to the Analysis of Software Architechtures for Real Time Systems. Licenciate Thesis 2000.

  128. Warg, F. Module-Level Speculative Execution Techniques on Chip Multiprocessors, Licenciate Thesis, Dept. of Computer Engineering. Chalmers University of Technology. 2003.

  129. Per-Arne Wiberg, and U. Bilstrup, Invited paper, Wireless Technology in Industry – Applications and User Scenarios, to appear in Proc. of ETFA ’01, 2001.

  130. A. Zagorac, D. Nyström, J.Hansson, and C. Nyström, Software Development Tools for Embedded Databases in Embedded Real-Time Systems, Real-Time in Sweden 2001 (RTiS'01), August 21-22, 2001, Halmstad, Sweden. PDF

  131. K.-E. Årzén: A Simple Event-Based PID Controller. In Proceedings of the IFAC World Congress, Beijing, China, July 1999.

  132. K.-E. Årzén, B. Bernhardsson, J. Eker, A. Cervin, K. Nilsson, P. Persson, and L. Sha: Integrated Control and Scheduling. Internal report TFRT-7582, Department of Automatic Control, Lund University, August 1999.

  133. K.-E. Årzén, A. Cervin, J. Eker, and L. Sha: An Introduction to Control and Real-Time Scheduling Co-Design. Submitted to the 39th IEEE Conference on Decision and Control, Sydney, Australia, December 2000.

  134. K.-E. Årzén, A. Cervin, J. Eker, B. Bernhardsson, L. Sha: Towards the Integration of Control and Real-Time Scheduling Design. In submission 2000.

  135. K.-E. Årzén and A. Cervin: A Simple Event-Based PID Controller. Submitted to Control Engineering Practice, 1999.

  ---------------------line----------------------------
  Strategic Research