@Book{BurnsWellings, author = {A. Burns and A.J. Wellings}, title = {{Real-Time Systems and Programming Languages (Third Edition)}}, publisher = {Addison Wesley Longman}, year = 2001 } @Book{Ganssle:Book, author = {J.G. Ganssle}, title = {{The Art of Programming Embedded Systems}}, publisher = {Academic Press}, year = {1992}, note = {ISBN 0-12274880-8}, } @Book{Ganssle:Design, author = {J.G. Ganssle}, title = {{The Art of Designing Embedded Systems}}, publisher = {Newnes}, year = {1999}, note = {ISBN 0-75069869-1}, } @article{Ganssle:OnLanguage, author = {J.G. Ganssle}, title = {{On Language}}, journal ={{Electronic Eng. Times}}, month = "March", year = {2003} } @article{Ganssle:MicroMinis, author = {J.G. Ganssle}, title = {{Micro Minis}}, journal ={{Embedded Systems Programming}}, month = "March", year = {2003} } @article{Barr:EmbeddedSystProg, author = {M. Barr}, title = {{The Long Winter}}, journal ={{Electronic Systems Programming}}, month = "January", year = {2003} } @unpublished{Ganssle:WebSite, author = {The Ganssle Group}, title = {{Perfecting the Art of Building Embedded Systems}}, month = "May", year = 2003, note = {\url{http://www.ganssle.com}} } @article{Schoitsch, author = {E. Schoitsch}, title = {{Embedded Systems -- Introduction}}, journal = {ERCIM News}, pages = {10--11}, volume = 52, month = jan, year = 2003 } @article{UMLESE, author = {C. Holland}, title = {{Telelogic Second Generation Tools}}, journal = {Embedded Systems Europe}, month = aug, year = 2002 } @article{DSL, author = {P. Hudak}, title = {{Building Domain-Specific Embedded Languages}}, journal = {ACM Computing Surveys}, volume = 28, number = 4, month = dec, year = 1996 } @article{DSL:devicedriver, author = {C. Conway}, title = {{A Domain-Specific Language for Device Drivers}}, journal = {ACM Computing Surveys}, volume = 28, number = 4, month = dec, year = 1996 } @unpublished{Klocwork, author = {Klocwork}, year = 2003, } @inproceedings{Bernat1, author = {Bernat, G. and Burns, A. and Wellings, A.}, title = {{Portable Worst-Case Execution Time Analysis Using Java Byte Code}}, booktitle = {Proc. 12th Euromicro International Conf. on Real-Time Systems}, address = {Stockholm}, year = 2000, month = {June} } @inproceedings{Bernat2, author = {Bernat, G. and Colin, A. and Petters, S. M.}, title = {{WCET Analysis of Probabilistic Hard Real-Time Systems}}, booktitle = {Proc. 23rd IEEE Real-Time Systems Symposium (RTSS 2002)}, address = {Austin, TX. (USA)}, year = 2002, month = {December} } @inproceedings{SizedRecursion, author = {P. Vasconcelos and K. Hammond}, title = {{Inferring Costs for Recursive, Polymorphic and Higher-Order Functions}}, booktitle = {Proc. Implementation of Functional Languages (IFL 2003)}, publisher = {Springer-Verlag}, year = {2003} } @inproceedings{HAM, author = {K. Hammond and G.J. Michaelson}, title = {{An Abstract Machine Implementation for Hume}}, booktitle = {submitted to Intl. Conf. on Compilers, Architectures and Synthesis for Embedded Systems (CASES~03)}, year = {2003} } @unpublished{EmbeddedSystSurvey, author = {Embedded.com}, title = {Poll: What Language do you use for embedded work?}, note = {\url{http://www.embedded.com/pollArchive/?surveyno=2228}}, year = 2003, } @inproceedings{ESP, author = {S. Kumar and K. Li}, title = {Automatic Memory Management for Programmable Devices}, booktitle = {Proc. ACM Intl. Symp. on Memory Management, Berlin, Germany}, month = jun, year = 2002, pages = {245--255}, } @inproceedings{RegionJava, author = {F. Qian and L. Hendrie}, title = {An Adaptive Region-Based Allocator for Java}, booktitle = {Proc. ACM Intl. Symp. on Memory Management, Berlin, Germany}, month = jun, year = 2002, pages = {233--244}, } @inproceedings{RegionsRTSJ, author = {M. Deters and R.K. Cytron}, title = {Automated Discovery of Scoped Memory Regions for Real-Time Java}, booktitle = {Proc. ACM Intl. Symp. on Memory Management, Berlin, Germany}, month = jun, year = 2002, pages = {132--141}, } @inproceedings{RTGC, author = {S. Nettles and J. O'Toole}, title = {{Real-Time Replication Garbage Collection}}, booktitle = {ACM Sigplan Notices}, volume = 28, number = 6, month = jun, year = 1993, pages = {217--226}, } @inproceedings{Blelloch, author = {P. Cheng and G. Blelloch}, title = {{A Parallel, Real-Time Garbage Collector}}, booktitle = {ACM Sigplan Notices}, volume = 36, number = 5, month = may, year = 2001, pages = {125--136}, } @inproceedings{RegionsGC, author = {N. Hallenberg and M. Elsman and M. Tofte}, title = {{Combining Region Inference and Garbage Collection}}, booktitle = {Proc. ACM Conf. on Prog. Lang. Design and Impl. (PLDI~'02), Berlin, Germany}, month = jun, year = 2002, } @article{RTSJIssues, author = {K. Nilsen}, title = {{Issues in the Design and Implementation of Real-Time Java}}, booktitle = {Java Developers' Journal}, volume = 1, number = 1, year = 1996, pages = 44 } @unpublished{CyCab, author = {RoboSoft SA}, title = {{CyCab Outdoor Vehicle, for Road and/or All-terrain Use}}, note = {\url{http://www.robosoft.fr/SHEET/01Mobil/2001Cycab/CyCab.html}}, year = 2003, month = may } @unpublished{Joyner, author = {I. Joyner}, title = {{C++??: a Critique of C++, 3rd Edition}}, year = 1996, institution = {Unisys - ACUS, Australia}, note = {\url{http://www.kcl.ac.uk/kis/support/cit//fortran/cpp/cppcritique.ps}} } @unpublished{Sakkinen, author = {M. Sakkinen}, title = {{The Darker Side of C++ Revisited}}, year = 1993, institution = {Univerity of Jyv\"{a}skyl\"{a}}, note = {Technical Report 1993-I-13, \url{http://www.kcl.ac.uk/kis/support/cit//fortran/cpp/dark-cpl.ps}}, } @TechReport{BCLogicDelvb, author = {Hans-Wolfgang Loidl and Olha Shkaravska and Lennart Beringer}, title = {Preliminary investigations into a bytecode logic for Grail}, institution = {Institut f{\"u}r Informatik, LMU University and LFCS, Edinburgh University}, year = 2003, month = jan, note = {Project Deliverable} } @InProceedings{HWLtofillin, author = {Lennart Beringer and Kenneth MacKenzie and Ian Stark}, title = {Grail: a functional form for imperative mobile code}, booktitle = {FGC03 --- Workshop on Foundations of Global Computing}, year = 2003, address = {28--29 June 2003, Eindhoven, The Netherlands}, note = {Submitted} } @inproceedings{AbsInt:EmsoftTahoe, author = "C. Ferdinand and R. Heckmann and M. Langenbach and F. Martin and M. Schmidt and H. Theiling and S. Thesing and R. Wilhelm", title = {Reliable and Precise {WCET} Determination for a Real-Life Processor}, booktitle = {Proc. EMSOFT 2001, First Workshop on Embedded Software}, publisher = {Springer-Verlag}, series = {LNCS}, volume = 2211, pages = {469--485}, year = 2001 } @inproceedings{AbsInt:Avionics, author = "S. Thesing and J. Souyris and R. Heckmann and F. Randimbivololona and M. Langenbach and R. Wilhelm and C. Ferdinand", title = {An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software}, booktitle = {Proc. 2003 Intl. Conf. on Dependable Systems and Networks (DSN 2003)}, pages = {625--632}, year = 2003 }