34th Annual IEEE Computer Software and Applications Conference

Each year, COMPSAC divides the conference sessions into tracks, which provide guidance for authors, organization for reviewers, and coordination for conference sessions. The submission system will prompt authors to select a track, under which they will submit their paper for review.

If you have questions about the track system, please send a query via our online form.

Real-Time and Embedded Systems

An embedded system is an application-specific electronic subsystem used in a larger entity such as an appliance, an instrument, or a vehicle. The embedded system may embody the complete system functionality in several different ways - using software running on CPUs or in specialized hardware accelerators. In order to meet performance requirements, these hardware-software interfaces need to be jointly designed. This requires a new type of engineer, who combines knowledge in both hardware and software. Moreover, real-time issues pose a significant technical challenge to many real-time systems. This track invites papers that address issues of real-time or embedded systems, at system designer and user levels.

Track chairs: Tiberiu Seceleanu, ABB Corporate Research, Sweden (tiberiu.seceleanu at se.ab.com)
Bruce McMillin, Missouri University of Science and Technology, USA (ff at mst.edu)

Requirements Engineering
Current computer based systems are an unholy alliance of people, software and hardware; adding further to their complexity are forever evolving mobile, embedded and distributed environments. Requirements engineering for such systems pose significant technical challenges, and composition of services further increases complexity associated with proper derivation and analysis of requirements. The Requirements Engineering Track of COMPSAC 2010 seeks novel contributions that address such systems through principles, techniques, methods and tools to elicit, analyze and specify requirements.

Track chairs: Soo-Yong Park, Sogang University, Korea (sypark at sogang.ac.kr)
Juha Savolainen, Nokia (juhasavolainen at nokia.com)

Software Quality
Software quality spans the entire life cycle and is composed of many dimensions: completeness, portability, consistency, maintainability, testability, and usability, among others. Quality is achieved by reactive approaches such as testing, and proactive methods such as process improvements, or a combination of both. The COMPSAC Quality track is not restricted to any phase of the development process or any dimension of quality. Special interest goes to such methods and improvements, their integration, and “smart” methods to achieve cost effective quality.

Track chairs: Keijiro Araki, Kyushu University, Japan (arake at csce.kyushu-u.ac.jp)
T.H. Tse, The University of Hong Kong (thtse at cs.hku.hk)

Verification, Testing, and Formal Methods

Costs entailed by software failures demonstrate that the systematic development of software of a certain quality is still a challenge, even after decades of research. Cost of software failure is especially high in safety-critical systems, whose dependability and security are of utmost importance. This track aims to give researchers and practitioners a platform to present their research contributions as well as their experience, to facilitate technology transfer and form the basis for a more fruitful cooperation in the future. The topics of interest include, but are not limited to:
• Static, analytical and dynamic testing techniques
• Testing and reliability (availability, security, etc.)
• Testing measures and their quantification
• Tools for automated testing
• Experience reports and case studies from practice
• Formal model-based development and code generation
• Formal methods for object and component systems
• Lightweight tools based on formal methods
• Techniques for specification, verification, and validation
• Techniques and case studies for correctness by construction

Track chairs: Shaoying Liu, Hosei University, Japan (sliu at k.hosei.ac.jp)
Cristina Seceleanu, Mälardalen University, Sweden (cristina.seceleanu at mdh.se)

Software Architecture and Design Track
The Software Architecture and Design Track is interested in examining all the aspects related to the architecture & design and software engineering of complex software systems, in particular by considering complex distributed systems that integrate heterogeneous and dynamically retrieved resources. The track will focus on the challenge of effectively managing the complexity of heterogeneous, dynamic, and transient groups of distributed entities with proper software architecture models and best practices. Papers that contribute with novel design methodologies and architecture guidelines are welcome, as well as thorough technical descriptions of practical experiences in the field.

Track chairs: Ivica Crnkovic, Mälardalen University, Sweden (ivica.crnkovic at mdh.se)
Krishna Ratakonda, IBM TJ Watson, USA (ratakond at us.ibm.com)

Software Evolution, Maintenance, and Life Cycle
Software Evolution, Maintenance, and Life Cycle Track is a forum for researchers, practitioners, and educators to present recent findings, innovations, ideas, and experiences in application system evolution, maintenance, and life cycle support in dynamically changing computing environments. We invite both research papers and experience reports. A research paper highlights original results of theoretical or conceptual work. It describes the problem, relevant research, solution, potential and evaluated benefits of the contribution. An experience report highlights the results of employing a tool or platform for support of software or system evolution. It describes the context, empirical data, lessons learned, and a critical review of the experience.

Track chairs: Atilla Elçi, Eastern Mediterranean University, North Cyprus (atilla.elci at emu.edu.tr)
Yann-Gaël Guéhéneuc, École Polytechnique de Montréal, Canada (yann-gael.gueheneuc at polymtl.ca)

Security, Dependability and Performance
The Security, Dependability and Performance Track invites research papers and experience reports in various application systems. Recently, in addition to functionality, various Quality of Service issues have received a lot of attention from researchers and practitioners. The nonfunctional requirements such as dependability, security, and performance need to be specified, analyzed, implemented and verified in various application systems.

Track chairs: Axel Hunger, Duisburg-Essen, Germany (axel.hunger at uni-due.de)
Mohammed Zulkernine, Queens University, Canada (mzulder at cs.queensu.ca)

Mobile & Pervasive Computing
Mobile & Pervasive Computing Track is a forum for researchers, practitioners, and educators to present recent findings, innovations, theories, ideas, and experiences in all topics related to mobile & pervasive/ubiquitous computing, including but not limited to enabling technologies such as mobile positioning, communication networks, smart devices, computer human interactions, security and privacy; software engineering and architecture such as mobile Internet, pervasive computing middleware, programming models; and applications such as mobile services, context-aware mobile applications and mobile social networks.

Track chairs
: Junehwa Song, KAIST, Korea (junesong at ucs.kaist.ac.kr)
Ankur Teredesai, University of Washington, USA (ankurt at u.washington.edu)

Smart Computing
The Smart Computing track is a forum for smart software solutions applied to diverse areas including but not limited to: Healthcare, Energy, Social, Environmental, Industrial applications etc.  Smart software solutions can improve efficiency, reliability, quality and simultaneously reduce costs. Requirement analysis, co-analysis/co-design, modeling, development, testing, measurement, verification, validation, performance, autonomy, safety, security, and dependability constraints are a few of numerous computing disciplines that can collectively contribute to these smart solutions and are some of the topics of interest. As the theme for COMPSAC 2010, this track encourages submission in the above diverse areas.

Track chairs
: Bertrand du Castel, Schlumberger (ducastel at slb.com)
Jong Kim, POSTECH, Korea (jkim at postech.ac.kr)

SAINT IEEE The Computer Society®