ROOTS'2010 -- Real-Time, Object-Oriented Technologies
Date: Jun 20, 2010 7:00 pm – Jun 22, 2010 7:00 pm
CALL FOR PAPERS: ROOTS 2010 1st International Workshop on Real-time Object-Oriented TechnologieS http://www.cs.purdue.edu/roots10 roots@cs.purdue.edu co-located with ECOOP 2010 (http://2010.ecoop.org) June 21-25, Maribor, Slovenia Important Dates --------------- Paper submission: April 26, 2010 (extended deadline) Author notification: May 5, 2010 Workshop date: June 21 or 22, 2010 Topics of Interest ------------------ The behavior of real-time and embedded applications is constrained by the physical world. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce both real-time constraints and conventional functional requirements, while assuring modularity and composability of independently developed components. It is essential that the production of real-time embedded systems can take advantage of languages, tools, and methods that enable higher software productivity. The last decade have brought a plethora of ideas bridging the gap between high-level object-oriented approaches and the low-level problems of the real-time embedded world. However, experimentation is needed to evaluate these ideas and to transform them into practical language designs, tools, and methodologies. Finally, there is the problem of extending these ideas to truly object-oriented designs. The purpose of the ROOTs workshop is to bring together professionals and researchers experienced in adapting object-oriented programming to the world of real-time and embedded software. While object-oriented design and methodology bring the productivity necessary for the expanding field of real-time systems, the programming languages and tools often need to be adapted to address the specific challenges these fields represent. Sharing the experience of addressing low-level problems with object-oriented approaches is thus the key goal of the workshop. Furthermore, the workshop focuses on evaluation in practice to assess the object-oriented approaches with realistic problems. The goal is to further the understanding of such systems in practice, and connect practice and theory. The subject areas that this workshop proposes to address have recently seen increased interest, to mention a few, a newly released Virtual Machine allows users to deterministically execute regular Java on bare hardware, recent innovation of real-time garbage collection offers the real-time programming to the masses, componentization of industry-popular microOS introduces advanced object-oriented paradigm even into the OS layers, and a safety-critical specification for Java addresses the challenges of safety-critical certified software. This workshop aims to bring researchers together for passionate discussion about these examples and the relevant topics in general, and to promote not only the theory, but practical evaluation of these ideas, and experience reports. Topics of interest include but are not limited to: - Emerging applications, components and systems - New real-time programming paradigms and language features - Embedded software synthesis and verification - Reports on R&D progress in the field - Emerging tools and trends - Emerging standards (or the need for new standards) - Practical experiences, particularly from industry - Safety-critical software certification - Formal verification and model checking of real-time systems Submissions ----------- Both full papers (up to 8 pages) and position papers (2-4 pages) are welcome. Submissions should be formatted according to the standard ACM SIGPLAN conference format. These papers will be reviewed by the program committee primarily based on relevance and originality. Accepted papers will be published in the ACM Digital Library. Program Committee ----------------- Alexandre Bergel University of Chile, Chile Ivica Crnkovic Malardalen University, Sweden Huascar Espinoza ESI-Tecnalia, Spain Christian Haack Aicas Realtime, Germany David Holmes SUN Microsystems, Australia Tomas Kalibera Charles University, Czech Republic Fabrice Kordon University P. & M. Curie, France Doug Lea SUNY Oswego, USA Frederic Loiret INRIA Lille, France Kelvin Nilsen Aonix, USA Laurent Pautet Telecom ParisTech, France Ales Plsek Purdue University, USA Marek Prochazka ESA, Netherlands Francois Terrier CEA-LIST, France Jan Vitek Purdue University, USA Lukasz Ziarek Fiji Systems LLC, USA Organization Committee ---------------------- Jan Vitek Purdue University, USA Ales Plsek Purdue University, USA Frederic Loiret INRIA Lille, France Please visit the website for up-to-date information about the workshop: http://www.cs.purdue.edu/roots10 Contact: roots@cs.purdue.edu
Submitted by Christopher Buskirk
on
CALL FOR PAPERS: ROOTS 2010 1st International Workshop on Real-time Object-Oriented TechnologieS http://www.cs.purdue.edu/roots10 roots@cs.purdue.edu co-located with ECOOP 2010 (http://2010.ecoop.org) June 21-25, Maribor, Slovenia Important Dates --------------- Paper submission: April 26, 2010 (extended deadline) Author notification: May 5, 2010 Workshop date: June 21 or 22, 2010 Topics of Interest ------------------ The behavior of real-time and embedded applications is constrained by the physical world. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce both real-time constraints and conventional functional requirements, while assuring modularity and composability of independently developed components. It is essential that the production of real-time embedded systems can take advantage of languages, tools, and methods that enable higher software productivity. The last decade have brought a plethora of ideas bridging the gap between high-level object-oriented approaches and the low-level problems of the real-time embedded world. However, experimentation is needed to evaluate these ideas and to transform them into practical language designs, tools, and methodologies. Finally, there is the problem of extending these ideas to truly object-oriented designs. The purpose of the ROOTs workshop is to bring together professionals and researchers experienced in adapting object-oriented programming to the world of real-time and embedded software. While object-oriented design and methodology bring the productivity necessary for the expanding field of real-time systems, the programming languages and tools often need to be adapted to address the specific challenges these fields represent. Sharing the experience of addressing low-level problems with object-oriented approaches is thus the key goal of the workshop. Furthermore, the workshop focuses on evaluation in practice to assess the object-oriented approaches with realistic problems. The goal is to further the understanding of such systems in practice, and connect practice and theory. The subject areas that this workshop proposes to address have recently seen increased interest, to mention a few, a newly released Virtual Machine allows users to deterministically execute regular Java on bare hardware, recent innovation of real-time garbage collection offers the real-time programming to the masses, componentization of industry-popular microOS introduces advanced object-oriented paradigm even into the OS layers, and a safety-critical specification for Java addresses the challenges of safety-critical certified software. This workshop aims to bring researchers together for passionate discussion about these examples and the relevant topics in general, and to promote not only the theory, but practical evaluation of these ideas, and experience reports. Topics of interest include but are not limited to: - Emerging applications, components and systems - New real-time programming paradigms and language features - Embedded software synthesis and verification - Reports on R&D progress in the field - Emerging tools and trends - Emerging standards (or the need for new standards) - Practical experiences, particularly from industry - Safety-critical software certification - Formal verification and model checking of real-time systems Submissions ----------- Both full papers (up to 8 pages) and position papers (2-4 pages) are welcome. Submissions should be formatted according to the standard ACM SIGPLAN conference format. These papers will be reviewed by the program committee primarily based on relevance and originality. Accepted papers will be published in the ACM Digital Library. Program Committee ----------------- Alexandre Bergel University of Chile, Chile Ivica Crnkovic Malardalen University, Sweden Huascar Espinoza ESI-Tecnalia, Spain Christian Haack Aicas Realtime, Germany David Holmes SUN Microsystems, Australia Tomas Kalibera Charles University, Czech Republic Fabrice Kordon University P. & M. Curie, France Doug Lea SUNY Oswego, USA Frederic Loiret INRIA Lille, France Kelvin Nilsen Aonix, USA Laurent Pautet Telecom ParisTech, France Ales Plsek Purdue University, USA Marek Prochazka ESA, Netherlands Francois Terrier CEA-LIST, France Jan Vitek Purdue University, USA Lukasz Ziarek Fiji Systems LLC, USA Organization Committee ---------------------- Jan Vitek Purdue University, USA Ales Plsek Purdue University, USA Frederic Loiret INRIA Lille, France Please visit the website for up-to-date information about the workshop: http://www.cs.purdue.edu/roots10 Contact: roots@cs.purdue.edu