Certifiable Java for Embedded Systems

Previous work

[1]	Anders P. Ravn and Martin Schoeberl. Safety-critical java with cyclic executives on chip-multiprocessors. Concurrency and Computation: Practice and Experience, 2011. [ bib | Url ]
[2]	Martin Schoeberl. ejip: A tcp/ip stack for embedded java. In Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011). ACM Press, 2011. [ bib | Url ]
[3]	Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, and Anders Peter Ravn. A hardware abstraction layer in java. A C M Transactions on Embedded Computing Systems, 10(4), 2011. [ bib ]
[4]	Hans Søndergaard, Bent Thomsen, Anders Peter Ravn, Rene Rydhof Hansen, and Thomas Bøgholm. Refactoring real-time java profiles. International Symposium on Object-Oriented Real-Time Distributed Computing, pages 109 - 116, 2011. [ bib ]
[5]	Christof Pitter and Martin Schoeberl. A real-time java chip-multiprocessor. ACM Trans. Embed. Comput. Syst., 10(1):9:1-34, 2010. [ bib | DOI | Url ]
[6]	Martin Schoeberl, Wolfgang Puffitsch, Rasmus Ulslev Pedersen, and Benedikt Huber. Worst-case execution time analysis for a java processor. Software: Practice and Experience, 40/6:507-542, 2010. [ bib | DOI | Url ]
[7]	Thomas Bøgholm, Rene Rydhof Hansen, Anders Peter Ravn, Hans Søndergaard, and Bent Thomsen. Formal modelling and analysis of predictable java. E R C I M News, (81):52-53, 2010. [ bib ]
[8]	Thomas Bøgholm, Rene Rydhof Hansen, Hans Søndergaard, Anders Peter Ravn, and Bent Thomsen. Schedulability Analysis for Java Finalizers. Association for Computing Machinery, 2010. [ bib ]
[9]	Thomas Henties, James J. Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, and Jan Vitek. Java for safety-critical applications. In 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009), 2009. [ bib | Url ]
[10]	Benedikt Huber and Martin Schoeberl. Comparison of implicit path enumeration and model checking based wcet analysis. In Proceedings of the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, pages 23-34. OCG, 2009. [ bib | Url ]
[11]	Martin Schoeberl. JOP Reference Handbook: Building Embedded Systems with a Java Processor. Number ISBN 978-1438239699. CreateSpace, 2009. Available at http://www.jopdesign.com/doc/handbook.pdf. [ bib | Url ]
[12]	Andy Wellings and Martin Schoeberl. Thread-local scope caching for real-time java. In Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009), pages 275-282. IEEE Computer Society, 2009. [ bib | DOI | Url ]
[13]	Thomas Bøgholm, Rene Rydhof Hansen, Anders Peter Ravn, Bent Thomsen, and Hans Søndergaard. A predictable Java profile, pages 150-159. Association for Computing Machinery, 2009. [ bib ]
[14]	Thomas Bøgholm, Anders Peter Ravn, and Bent Thomsen. Model-based analysis of embedded java programs. RWTH Aachen, Dept. of Computer Science, (14):17-19, 2009. [ bib ]
[15]	Trevor Harmon, Martin Schoeberl, Raimund Kirner, and Raymond Klefstad. Toward libraries for real-time java. In Proceedings of the 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008), pages 458-462. IEEE Computer Society, 2008. [ bib | DOI | Url ]
[16]	Martin Schoeberl. A java processor architecture for embedded real-time systems. Journal of Systems Architecture, 54/1-2:265-286, 2008. [ bib | DOI | Url ]
[17]	Hans Søndergaard, Anders Peter Ravn, Bent Thomsen, and Martin Schoeberl. A Practical Approach to Mode Change in Real-Time Systems. Department of Computer Science, Aalborg University, 2008. [ bib ]
[18]	Martin Schoeberl, Christian Thalinger, Stephan Korsholm, and Anders Peter Ravn. Hardware Objects for Java, pages 445-452. IEEE Computer Society Press, 2008. [ bib ]
[19]	Stephan Korsholm, Martin Schoeberl, and Anders Peter Ravn. Interrupt Handlers in Java, pages 453-457. IEEE Computer Society Press, 2008. [ bib ]
[20]	Martin Schoeberl. Mission modes for safety critical java. In Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop (SEUS 2007), volume 4761, pages 105-113. Springer, 2007. [ bib | DOI | Url ]
[21]	Martin Schoeberl, Hans Sondergaard, Bent Thomsen, and Anders P. Ravn. A profile for safety critical java. In 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pages 94-101. IEEE Computer Society, 2007. [ bib | DOI | Url ]
[22]	Bent Thomsen, Anders Peter Ravn, and Hans Søndergaard. A Ravenscar-Java profile implementation, volume 177, pages 38-47. Association for Computing Machinery, 2006. [ bib ]
[23]	Zhiming Liu, Vladimir Mencl, Anders Peter Ravn, and Lu Yang. Harnessing Theories for Tool Support. University of Cyprus, 2006. [ bib ]

Copyright © 2012 cj4es - Certifiable Java for Embedded Systems. All Rights Reserved.