Call for Papers and Panel Proposals
7th International Workshop on Software Cybernetics
IWSC 2010
In conjunction with COMPSAC 2010, July 19-23, 2010
Seoul, Korea, July 19-20, 2010

The effectiveness of software technology and the quality of generated software have greatly impact on technological products and services, economic activities, defense, scientific research and social life. This is particularly true as software tends to be services and operate in open and violate environments, such as Internet. In order to achieve the objective that software can serve well in dynamic environment with changing user requirements, the software must be adaptive based on the external input and feedback of the application physical system.

This workshop, the 7th International Workshop on Software Cybernetics, which has been held in conjunction with the annual international Computer Software and Applications Conference (COMPSAC) since 2004, will focus on software cybernetics, to  explore the interplay between software behavior and control in physical or/and digital environments and is intimately related to cyber-physical systems. It intends to unify and expand various seemingly unrelated research topics under different umbrellas, such as adaptive software, adaptive rejuvenation, active security enhancement, runtime monitoring and adapting of software behavior, QoS control, and supervisory control approaches for software synthesis. The major question is how software can continuously satisfy the requirements under dynamic situation, such as disturbances of network environments, system failures, capacity saturation, security attacks, and/or changed requirements.

The following major issues will be covered in the workshop:
* Modeling of cyber physical systems for critical applications
* Formalization and quantification of feedback and self-adaptive control mechanisms in software
* Adaptation of control theory principles to software processes and systems, including the monitoring and adjusting runtime software behavior or QoS
* Integration of software, networking  and control engineering to achieve adaptive software with satisfactory QoS under dynamic situation

Topics of emphasis will include, but not limited to, the following:
* Modeling languages, architecture, control, and prototyping techniques for cyber-physical systems
* Models and use of feedback control mechanisms in runtime software behavior, software evolution, processes and systems
* Modeling, assessment, control, and adaptation techniques for QoS
* Situation-aware, self-adaptive, self-managing, and learning software
* Dynamic decision-making methods for requirement engineering
* Feedback control in fault-tolerant computing
* Control of software security and safety
* Adaptive testing and test case generation
* Software reliability modeling, assessment and testing
* Control of adaptive software rejuvenation
* Control of embedded-software behavior
* Relationship between simulation and controllability
* Software-enabled control; software architectures for control systems
* Adaptive system design and architecture
* Modeling of evolving environments and dynamic situations
* Web services modeling, testing and evaluation
* Machine learning techniques for software engineering and QoS control
* Use of cybernetic theory in application and systems, such as smart transportation, climate change, critical physical infrastructures, and biological systems

COMMITTEES
Steering Committee:
Stephen S. Yau (chair), Arizona State University, USA
Fevzi Belli, University of Paderborn, Germany
Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China
Ratnesh Kumar, Iowa State University, USA
Aditya P. Mathur, Purdue University, USA
Kishor S. Trivedi, Duke University, USA

General Chair:
Keunhyuk Yeom, Pusan National University, Korea

Program Co-Chairs:
James H. Graham, University of Louisville, USA
Zhi Jin, Peking University, China

PC Members
Sheikh Iqbal Ahamed, Marquette University, USA
Elci Atilla, Eastern Mediterranean University, North Cyprus
Xiaoying Bai, Tsinghua University, China
Joao Cangussu, University of Texas at Dallas, USA
Byoungju Choi, Ewha Womans University, Korea
William Cheng-Chung Chu, Tunghai University, Taiwan
Jun Han, Swinburne University of Technology, Australia
Navendu Jain, Microsoft, USA
Ron  S. Kenett, KPA Ltd., Isreal
Jenny Liu, National ICT, Australia
Lin Liu, Tsinghua University, China
S. Rmesh, General Motors, India
Insik Shin, KAIST, Korea
Harald Stierber, University of Applied Sciences, Germany
Xianping Tao, Nanjing University, China
Tugkan Tyglular, Izmir Institute of Technology, Turkey
Feng-Jian Wang, National Chiao-Tung University, Taiwan
Qianxiang Wang, Peking University, China

IMPORTANT DATES
Deadline for submission: 1 March 2010
Notification of Acceptance: 31 March 2010
Camera-ready copy: 30 April 2010

SUBMISSION
Authors are invited to submit original, unpublished research papers as well as industrial practice papers. Simultaneous submissions to other publications or conferences are not permitted. Detailed instructions for electronic paper submission, panel proposals and review process can be found at http://www.compsac.org/. The length of the camera-ready of an accepted paper will be limited to 6 pages (IEEE Proceedings style)  with up to two additional pages (with  charges for each of the additional pages), and printed on 10-12 point fonts.  Follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers. At least one of the authors of each accepted paper is required to pay full registration fee  and presented the paper. Arrangements are being made to publish selected accepted papers  in reputable journals. Upload regular papers in PDF, Postscript, or RTF format at compsac.org

Submit panel proposals in plain text via email to program co-chair Professor Zhi Jin at zhijin@sei.pku.edu.cn