posted by user: chinagator || 3600 views || tracked by 9 users: [display]

FMSI 2011 : The First International Workshop on Formal Methods in Software Integration

FacebookTwitterLinkedInGoogle

Link: http://www.sei.ecnu.edu.cn/fmsi2011/
 
When Jun 27, 2011 - Jun 27, 2011
Where Jeju Island, Korea
Submission Deadline Feb 28, 2011
Notification Due Mar 18, 2011
Final Version Due Apr 8, 2011
Categories    software integration   formal method   testing and validation   cyber-physical systems
 

Call For Papers

Introduction:

Software integration involves how to organize and integrate diverse software components and tools together physically or functionally. Due to the increasing complexity of software designs and lack of efficient formal modeling approaches, integration is becoming a major bottleneck during the system development. Statistics shows that software integration often exceeds 60% of the overall time and cost for some safety critical systems. Furthermore, the software integration will be more complex because more and more applications (e.g., Cyber Physical System) require the interaction between computing systems and physical processes. The tight integration of physical components and computing components far exceeds the capability of existing software integration technologies.

The International Workshop on Formal Methods on Software Integration (FMSI) aims to stimulate research in employing formal methods to improve the quality of software integration, especially for integration security, safety, and reliability. The workshop provides a forum to advance the applications of formal method for modeling, validating and testing the integration process of complex software designs.

Topics:

Submissions related to the following principal themes are encouraged, but any topics relevant to the field of software integration and their support environments will also be considered:

* Architecture Integration
* Component-Based Software Engineering
* Formal Methods for Integration of Cyber-Physical System (CPS)
* Formal Methods for Integration of Automotive Software
* Formal Methods Integration in Software Development Process
* Integration in Service-Oriented Architecture (SOA)
* Integration of Modeling Approaches
* Reliability, Safety, and Security in Software Integration
* Software Tool Integration
* Testing and Validation of Integration
* Uncertainty Analysis in Integration
* Unifying Theories of Programming
* Virtual Integration of Cyber-Physical Systems

Important Dates:
* February 18, 2011 Paper submission deadline
* March 18, 2011 Acceptance notification
* April 8, 2011 Camera-ready version due
* June 27, 2011 FMSI 2011


Program Chairs:
Mingsong Chen East China Normal University, China
Program Committee Members:
Doo-Hwan Bae KAIST, Korea
Zuohua Ding Zhejiang Sci-Tech University, China
Young Lee Texas A&M University- Kingsville, USA
Jing Liu East China Normal University, China
Prabhat Mishra University of Florida, USA
Frédéric Mallet INRIA, France
Neeraj Suri TU Darmstadt, Germany
Christian Urban TU Munich, Germany
Linzhang Wang Nanjing University, China
Ou Wei Nanjing University of Aeronautics and Astronautics, China
Dianxiang Xu Dakota State University, USA
Hao Zheng University of South Florida, USA
Hong Zhu Oxford Brookes University, UK
Huibiao Zhu East China Normal University, China

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
GECPS 2024   IEEE Cyber Physical System for Green Energy
FM 2024   Formal Methods
EMSICC 2024   International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
RTCSA 2024   30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture