ATCS Resources

<body> <table> <tr> <td>  <p class="c1"><a href="http://www.gu.edu.au/" target="_top"><img src="images/gu.gif" width="89" height="74" alt="Griffith University" border="0" /></a></p> <p class="c1"><a href="http://www.gu.edu.au/school/cit/" target="_top">CIT Home</a></p> <hr /> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/index.shtml" target="_top">ATCS Home</a></p> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/news.shtml" target="_top">Notice Board</a></p> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/assignment.shtml" target="_top">Assignments</a></p> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/modules.shtml" target="_top">Modules</a></p> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/resources.shtml" target="_top">Resources</a></p> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/virgil.shtml" target="_top">Virgil Main</a></p> <p class="c1"><a href="http://www.cit.gu.edu.au/teaching/6119CIT/forum.shtml" target="_top">Virgil Forum</a></p> <hr />  </td> <td>  <h1>Resources</h1> <p>In this section you will find links to the papers that were handed out plus other references that might be useful in the course. Make sure you check back regularly as this page might change frequently to include updated references you might find useful.</p> <h2>Papers</h2> <p>This is a list of papers from either the seminar presentations or papers that are otherwise related to the course.</p> <h3>Dependable Systems</h3> <ul> <li> A. Avizienis, J.-C. Laprie, B. Randell, <a href="papers/avizienis01fundamental.pdf">Fundamental Concepts of Dependability</a>, LAAS Report No 01145, LAAS-CNRS, France, April 2001. </li> <li> B. Randell, <a href="papers/dependability-a-unifying-concept.pdf">Dependability - a Unifying Concept</a>, in Computer Security, Dependability, and Assurance: From Needs to Solutions, York, UK & Williamsburg, VA, USA, July/November 1998. </li> <li> D. Powell, Y. Deswarte, <a href="papers/on-dependability-concepts-with.pdf">On Dependability Concepts with respect to Deliberately Malicious Faults</a>, 9th Brazilian Symposium on Fault-Tolerant Computing (SCTF), Florianopolis, Mar 2001. </li> <li> L. Lamport, <a href="papers/p558-lamport.pdf">Time, Clocks, and the Ordering of Events in a Distributed System</a>, Communications of the ACM, Jul 1978. </li> <li> L. Lamport, <a href="papers/p254-lamport.pdf">Using Time Instead of Timeout for Fault-Tolerant Distributed Systems</a>, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol 6, No 2, pp 254-280, Apr 1984. </li> <li> H. Kopetz, G. Bauer, <a href="papers/kopetz88timetriggered.pdf">The Time-Triggered Architecture</a>, in Proc of the IEEE, Special Issue on Modeling and Design of Embedded Software, Oct 2001. </li> <li> M.F. Kaashoek, A.S. Tanenbaum, S.F. Hummel, H.E. Bal, <a href="papers/kaashoek89efficient.pdf">An Efficient Reliable Broadcast Protocol</a>, Operating Systems Review, Vol 23, No 4, pp 5-19, 1989. </li> <li> J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, D. Powell, <a href="papers/arlat93fault.pdf">Fault Injection and Dependability Evaluation of Fault-Tolerant Systems</a>, Research Report 91260, LAAS-CNRS, France, Jan 1992. </li> <li> R.J. Martinez, P.J. Gil, G. Martin, C.P Perez, J.J. Serrano, <a href="papers/experimental-validation-of-high.pdf">Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection</a>, in Proc Dependable Computing for Critical Applications, Jan 1999. </li> <li> H. Kopetz, R. Hexel, A. Krüger, D. Millinger, R. Nossal, A. Steininger, C. Temple, T. Führer, R. Pallierer, M. Krug, <a href="papers/dm_rn_rp_prototypeimpl_ttpc_contr.pdf">A Prototype Implementation of a TTP C Controller</a>, in Proc SAE World Congress, Detroit, Jan 1997. </li> <li> S. Han, K. Shin, H. Rosenberg, <a href="papers/han95doctor.pdf">DOCTOR: an integrateD sOftware fault injeCTion enviRonment</a>, in Proc Int. Computer Performance and Dependability Symp. (IPDS'95), pp 204-213, Erlangen, Germany, 1995. </li> <li> Z.M. Mao, E.A. Brewer, R.H. Katz, <a href="papers/mao01faulttolerant.pdf">Fault-Tolerant, Scalable, Wide-Area Internet Service Composition</a>, Technical Report, UCB//CSD-01-1129, UC Berkeley, Jan 2001. </li> <li> C. Temple, <a href="papers/temple98avoiding.pdf">Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System</a>, in Proc Symposium on Fault-Tolerant Computing, pp 218-227, 1998. </li> </ul> <h3>Context Aware Systems</h3> <ul> <li> G. Chen, D. Kotz, <a href="papers/">A Survey of Context-Aware Mobile Computing Research</a>, Technical Report, TR2000-381, Dept. of Computer Science, Dartmouth College, Nov 2000. </li> <li> A. Schmidt, K. Asante Adoo, A. Takaluoma, U. Tuomela, K. Van Laerhoven, W. van de Velde, <a href="papers/advanced_interaction_context.pdf">Advanced Interaction in Context</a>, Lecture Notes in Computer Science, 1999. </li> <li> C. Bisdikian, J. Christensen, J. Davis II, M. Ebling, G. Hunt, W. Jerome, H. Lei, S. Maes, D. Sow, <a href="papers/p38-bisdikian.pdf">Enabling Location-Based Applications</a>, First ACM Mobile Commerce Workshop, Rome, Italy, Jul 2001. </li> <li> A. Schmidt, M. Beigl, <a href="papers/context-is-more-than-location.pdf">There is more to Context than Location</a>, Computers and Graphics, Vol 6, No. 23, pp 893-901, 1999. </li> <li> A. Schmidt, J. Forbess, <a href="papers/what-gps-doesn-t.pdf">What GPS doesn't tell you: Determining one's Context with Low-Level Sensors</a>, Technical Report, MIT, 1999. </li> <li> R. Grimm, J. Davis, E. Lemar, A. MacBeth, S. Swanson, S. Gribble, T. Anderson, B. Bershad, G. Borriello, D. Wetherall, <a href="papers/system-level-abstractions.pdf">System Level Programming Abstractions for Ubiquitous Computing</a>, UbiTools'01 Workshop on Application Models and Programming Tools for Ubiquitous Computing, Atlanta, Georgia, Sept 2001. </li> </ul> <h3>Miscellaneous</h3> <ul> <li> T.E. Anderson, B.N. Bershad, E.D. Lazowska, H.M. Levy, <a href="papers/anderson92scheduler.pdf">Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism</a>, ACM Transactions on Computer Systems, pp 53-79, Feb 1992. </li> <li> E.W. Dijkstra, <a href="papers/p569-dijkstra.pdf">Solution of a Problem in Concurrent Programming Control</a>, Communications of the ACM, Vol 8, No 9, pp 569, 1965. </li> <li> D. Knuth, <a href="papers/p321-knuth.pdf">Additional Comments on a Problem in Concurrent Programming Control</a>, Communications of the ACM, Vol 9, No 5, p 321, May 1966. </li> <li> M.A. Eisenberg, M.A. McGuire, <a href="papers/p999-eisenberg.pdf">Further Comments on Dijkstra's Concurrent Programming Control Problem</a>, Communications of the ACM, Vol 15, No 11, p 999, 1972. </li> <li> L. Lamport, <a href="papers/p453-lamport.pdf">A New Solution To Dijkstra's Concurrent Programming Problem</a>, Communications of the ACM, Vol 17, No 8, pp 453-455, 1974. </li> </ul> <h2>Books</h2> <p>There is no prescribed text book for this course. However, the following books are highly recommended as reference material: </p> <ul> <li> H. Kopetz, <a href="http://www.wkap.nl/prod/b/0-7923-9894-7">Real-Time Systems -- Design Principles for Distributed Embedded Applications</a>, Kluwer Academic Publishers, ISBN 0-7923-9894-7, 1997. </li> <li> A. Burns and A. Wellings, <a href="http://www.cs.york.ac.uk/rts/RTSBookThirdEdition.html">Real-Time Systems and Programming Languages (Third Edition) -- Ada 95, Real-Time Java and Real-Time POSIX</a>, Addison Wesley, ISBN 0201729881, 2001 </li> </ul> <h2>Online Resources</h2> <h3>Version Control Systems</h3> <ul> <li>The <a href="https://www.cvshome.org/">CVS Home Page</a>, including <a href="https://www.cvshome.org/docs/blandy.html">an introduction to CVS</a> </li> <li>Another <a href="http://www.csc.calpoly.edu/~dbutler/tutorials/winter96/cvs/tutorial.html">CVS Tutorial</a></li> <li>The <a href="http://subversion.tigris.org/">Subversion</a> Home Page</li> </ul> <h3><a id="ObjC" name="ObjC">Objective-C</a></h3> <ul> <li>GNUstep resources: <ul> <li><a href="http://www.gnustep.org/resources/documentation/Developer/Base/ProgrammingManual/manual_toc.html">Objective-C and the GNUstep Base Library</a> (<a href="gnustep/documentation/Developer/Base/ProgrammingManual/manual_toc.html">local mirror</a>)</li> <li><a href="http://www.gnustep.org/resources/documentation/Developer/Base/Reference/index.html">Base/Foundation Library API</a> (<a href="gnustep/documentation/Developer/Base/Reference/index.html">local mirror</a>)</li> <li><a href="http://www.gnustep.org/resources/documentation/Developer/Gui/Reference/index.html">The Graphical User Interface API</a> (<a href="gnustep/documentation/Developer/Gui/Reference/index.html">local mirror</a>)</li> <li><a href="http://www.gnustep.org/resources/documentation/Developer/BaseAdditions/Reference/index.html">GNUstep Base Extensions (not OpenSTEP compliant)</a></li> <li><a href="http://www.gnustep.org/resources/documentation/Developer/Gui/Additions/index.html">GNUstep GUI Extensions (not OpenSTEP compliant)</a></li> <li><a href="http://wiki.gnustep.org/">The GNUstep Wiki</a></li> <li><a href="http://theory.uwinnipeg.ca/gnu/libobjects/objective-c_toc.html">The GNU Objective-C Manual</a></li> <li><a href="http://www.gnustep.it/nicola/Tutorials/">GNUstep Mini Tutorials</a></li> </ul></li> <li>Resources at Apple: <ul> <li><a href="http://developer.apple.com/documentation/Cocoa/Conceptual/ObjectiveC/index.html" target="_top">Introduction to Objective-C</a></li> <li><a href="http://developer.apple.com/documentation/Cocoa/Conceptual/ObjectiveC/ObjC.pdf">Objective-C Manual (PDF)</a></li> <li><a href="http://developer.apple.com/referencelibrary/Cocoa/index.html" target="_top">The Cocoa API reference library</a></li> </ul></li> <li><a href="http://www.otierney.net/objective-c.html">Objective-C Beginner's Guide</a></li> <li><a href="http://users.pandora.be/stes/faq.html">Objective-C FAQ</a></li> <li><a href="http://www.dekorte.com/Objective-C/Documentation/Index.html">Objective-C References and Examples</a></li> <li><a href="http://www.dekorte.com/Objective-C/">History of Objective-C</a></li> <li><a href="http://cocoadevcentral.com/">Cocoa Development Central</a></li> <li><a href="http://www.toodarkpark.org/computers/objc/">Object Oriented Programming and the Objective-C Language</a></li> <li><a href="http://www.toodarkpark.org/computers/objc/">Object Oriented Programming and the Objective-C Language</a></li> <li><a href="http://www.linuxjournal.com/article.php?sid=6009">Objective-C: the More Flexible C++</a></li> <li>A nice list of <a href="http://www.foldr.org/~michaelw/objective-c/">Objective-C Resources</a> </li> </ul> <h2>Lecture Notes</h2> <p> PDF Lecture notes are available for some modules. Just click on the course content section of the relevant module below. </p>   <table border="2" align="center"> <tr> <td align="center" valign="middle"> <h2>Week</h2> </td> <td align="center" valign="middle"> <h2>Date</h2> </td> <td align="center" valign="middle"> <h2>Content</h2> </td> </tr> <tr> <td align="center" valign="middle">1</td> <td align="center" valign="middle">   <br />   </td> <td>Course Overview <br /> Introduction to CVS </td> </tr> <tr> <td align="center" valign="middle">2</td> <td align="center" valign="middle"> </td> <td><a href="slides/ATCS1.pdf">Introduction to Real Time Systems (handouts,</a> <a href="slides/ATCS1-2pg.pdf">slides)</a> </td> </tr> <tr> <td align="center" valign="middle">3</td> <td align="center" valign="middle"> </td> <td><a href="slides/ATCS2.pdf">Real Time System Modelling (handouts, </a> <a href="slides/ATCS2-2pg.pdf">slides)</a> </td> </tr> <tr> <td align="center" valign="middle">4</td> <td align="center" valign="middle"> </td> <td><a href="slides/ATCS3.pdf">Time, Events, and Scheduling (handouts, </a> <a href="slides/ATCS3-2pg.pdf">slides)</a> </td> </tr> <tr> <td align="center" valign="middle">5</td> <td align="center" valign="middle"> </td> <td> <em>Seminars:</em> TBA </td> </tr> <tr> <td align="center" valign="middle">6</td> <td align="center" valign="middle"> </td> <td> <em>Seminars:</em> TBA </td> </tr> <tr> <td align="center" valign="middle">7</td> <td align="center" valign="middle"> </td> <td> <em>Seminars:</em> TBA </td> </tr> <tr> <td align="center" valign="middle">8</td> <td align="center" valign="middle"> </td> <td> TBA </td> </tr> <tr> <td align="center" valign="middle">9</td> <td align="center" valign="middle"> </td> <td> TBA </td> </tr> <tr> <td align="center" valign="middle">10</td> <td align="center" valign="middle"> </td> <td> TBA </td> </tr> <tr> <td align="center" valign="middle">11</td> <td align="center" valign="middle"> </td> <td> TBA </td> </tr> <tr> <td align="center" valign="middle">12</td> <td align="center" valign="middle"> </td> <td> TBA </td> </tr> <tr> <td align="center" valign="middle">13</td> <td align="center" valign="middle"> </td> <td> Assignment 2 Due! (Lab 1.04) </td> </tr> </table> <hr /> <p><em>Last Changed: $Date: 2005/07/27 01:05:54 $</em></p>  </td> </tr> </table> <hr />  <p><a href="http://validator.w3.org/check/referer"><img border="0" src="images/valid-xhtml10.png" alt="Valid XHTML 1.0!" height="31" width="88" /></a></p>  </body>