Java for Embedded Software
Embedded systems software is growing in complexity, and programming it all in C is becoming a burden for developers. Synthesis from high level models is still some time away, and even there some programming is needed. Therefore, during recent years we have been exploring Java as a viable substitute with its well-known excellent structuring properties and its widespread use in general programming. In this seminar we will describe the vision in an ongoing research project on Certifiable Java for Embedded Systems (http://cj4es.imm.dtu.dk/). In particular, the work on profiles for the application area, the work on predictable, efficient implementations, and the work on analysis tools will be discussed.
Prof. Anders P. Ravn
Date & Time
21 Jun 2013 (Friday) 15:30 - 16:30
J214 (University of Macau)
Department of Computer and Information Science
Software Engineering, Software Components, Real-Time Programming, Software Fault Tolerance.
1995 dr. techn. at Technical University of Denmark
1973 MSc (cand.scient.) from the University of Copenhagen, Denmark
2005–current Professor of Computing, Dept. Comp. Sc., Aalborg University (AAU)
2005-1999 Professor (research) at AAU
1999-1984 Associate Professor, later Reader at Dept. Computer Sc.,
DTU Also 1994 Visiting Professor, Kiel, Germany;
1989-90 Visiting Researcher, Computing Lab., Oxford University, UK
1976-1984 Assistant Professor, later Associate at Dept. Comp. Sc., Univ. Copenhagen.
Also 1982-83 Visiting Scientist, IBM T.J. Watson Research Lab, New York, USA.
1972-1976 Systems programmer at A/S Regnecentralen, Copenhagen.
Joint organizing chair for two international conferences and program chair for eight. Former member of the steering committee for the conference series Hybrid Systems: Computation and Control and former member of the steering committee for Euromicro Real-Time Systems Conference. Each year active on the programme committee of several conferences, acts as reviewer for the EU FP 7, Norwegian Research Council, Finnish Academy, and other research councils, journals and conferences.
Member ACM and IEEE Computer Society; member of IFIP Working Group 2.2 on Foundations of Programming Concepts.
Has in total (co)authored two books, edited seven conference proceedings, and published 31 journal articles, 9 book chapters, and 87 peer reviewed international conference papers. One patent.
For recent publications and current projects, please