Proposed Program for SoSE 2009 
 

Draft:  16 April 2009 
 

Overview:

• 39 full papers
• 8 paper sessions
  • Three per day on Monday and Tuesday
  • Two sessions on Wednesday
• The paper sessions with six papers include one or two papers for which it is unlikely that an author will show up at the conference to present his or her paper, so there will likely only be four presentations during those sessions.
• The paper sessions for Monday and Tuesday are configured to appeal to a wide audience – something for everybody, with a session corresponding to each of the following:
  • Theory
  • Practice
  • Specialty engineering (e.g., security, safety, fault tolerance)
• We can work a panel session into Wednesday morning to supplement the final two paper sessions of the conference

Schedule 
 

Monday sessions:

• SoSE Foundations
• SoSE Case Studies I
• Security Engineering

Tuesday sessions:

• Modeling & Simulation
• Verification & Validation
• Safety and Fault Tolerance Engineering

Wednesday sessions:

• Agent-based Systems for Command & Control
• SoSE Case Studies II

Session:  SoSE Foundations 
 

System of Systems Complexity Identification and Control (1569187644)

Joseph Simpson (System Concepts, US); Mary Simpson (System Concepts, US) 
 

Modeling the Characteristics of System of Systems (1569199244)

W. Clifton Baldwin (Stevens Institute of Technology, US); Brian Sauser (Stevens Institute of Technology, US) 
 

Impact of Programmatic System Interdependencies on System-of-Systems Development (1569203690)

Muharrem Mane (Purdue University, US); Dan DeLaurentis (Purdue University, US) 
 

Obligations as Constrainers, Descriptors and Linkers of Open System of Systems (1569203828)

Jose Gutierrez-Garcia (CINVESTAV/Grenoble Institute of Technology, MX); Félix F. Ramos-Corchado (CINVESTAV/Grenoble Institute of Technology, MX); Jean-Luc Koning (Grenoble Institute of Technology, FR) 
 

A Framework for a Junior Level Design Course (1569202380)

Aly El-Osery (New Mexico Tech, US); Kevin Wedeward (New Mexico Tech, US); Rene Arechiga (New Mexico Tech, US) 
 

The Role of Data Mining for the Successful Implementation of CRM (1569192901)

Farrukh Saleem (King Saud University, SA) 
 
 

Session:  SoSE Case Studies I 
 

A Systems Approach to Governance in Maritime Transportation System of Systems (1569187835)

Mo Mansouri (Stevens Institute of Technology, US); Alex Gorod (Stevens Institute of Technology, US); Thomas Wakeman (Stevens Institute of Technology, US); Brian Sauser (Stevens Institute of Technology, US) 
 

Medium Access for Hybrid, Large-scale Wireless Networks for Missile Defense (1569210042)

Thaddeus Walker (Naval Postgraduate School, US); Murali Tummala (Naval Postgraduate School, CA); John McEachen (Naval Postgraduate School, US); Bret Michael (Naval Postgraduate School, US) 
 

Wearable Knee Kinematics Monitoring System of MARG Sensor and Pressure Sensor Systems (1569187892) Syoji Kobashi (University of Hyogo, JP); Yohei Tsumori (Hyogo College of Medicine, JP); Seturo Imawaki (Ishikawa Hospital, JP); Shinichi Yoshiya (Hyogo College of Medicine, JP); Yutaka Hata (University of Hyogo, JP) 
 

Human Health Monitoring System of Systems by Non-Contacted Sensors (1569203072)

Yutaka Hata (University of Hyogo, JP); Syoji Kobashi (University of Hyogo, JP); Hayato Yamaguhci (University of Hyogo, JP); Osamu Ishikawa (Ishikawa Hospital, JP); Naoki Tsuchiya (OMRON Corporation, JP); Hiroshi Nakajima (Omron Corporation, JP) 
 
 

Session:  Security Engineering 
 

Using RuleML to Specify Cross-Domain Information Flow Control Policies (1569188108)

Randall Arvay (Naval Postgraduate School, US); Duminda Wijesekera (George Mason University, US); Bret Michael (Naval Postgraduate School, US) 
 

Statechart Based Formal Process Modeling: a Flexible Approach (1569203316)

Michael Schumann (Naval Postgraduate School, US); Bret Michael (Naval Postgraduate School, US) 
 

A Model for Generating Evidence of Web Service Behavior (1569203442)

Murat Gunestas (George Mason University, US); Duminda Wijesekera (George Mason University, US); Ahmed Elkhodary (George Mason University, US) 
 

An Integrated Cyber Security Monitoring System Using Correlation-based Techniques (1569203571)

Qishi Wu (University of Memphis, US); Denise Ferebee (University of Memphis, US); Yunyue Lin (University of Memphis, US); Dipankar Dasgupta (The University of Memphis, US) 
 
 

Session:  Modeling & Simulation  
 

A System of Systems Approach to Model an Artificial Immune System Using Discrete Event (1569203800)

Ryan Bowen (Rochester Institute of Technology, US); Ferat Sahin (Rochester Institute of Technology, US) 
 

A System of Systems Approach to Modeling and Analysis of P2P Overlays for WSNs (1569191004)

Shaymaa Al-Shukri (University of Arkansas at Little Rock, US); Lenin Bhavanandan (Dhiribhai Ambani Institute of Information and Communication Technology, IN); Srini Ramaswamy (University of Arkansas at Little Rock, US); Alexandre Imperiele (INSA de Rouen, FR); Mhamed Itmi (INSA-Rouen, FR) 
 

A Discrete Event XML based System of Systems Hardware-in-the-Loop Simulation for Robust Threat Detection (1569210046)

Matthew Hosking (Rochester Institute of Technology, US); Ferat Sahin (Rochester Institute of Technology, US) SoSE 2009  
 

The Simulation of Pressurized Water Reactor NPP Physical Process (1569186280)

Xi Shi (Wuhan University, CN) 
 

Extraction of Memory Colors Using Bayesian Networks (1569208234)

Mustafa Jaber (Rochester Institute of Technology, US); Eli Saber (Rochester Institute of Technology, US); Ferat Sahin (Rochester Institute of Technology, US) 
 

Web-based and Chip Design Implementation for multi inputs (1569210133)

SN Wael El-Medany (University Of Bahrain, BH) 
 
 

Session:  Verification & Validation 
 

Verification of Temporal Requirements of Complex Systems Using UML Patterns, Application to a Railway Control Example (1569187210)

Mohamed Ghazel (INRETS, FR); Malek Masmoudi (INRETS, FR); Armand Toguyeni (Professor, Ecole Centrale de Lille, FR) 
 

Guarding the Guard: Using Meta Formal Specifications to Guard Assertions (1569201104)

Doron Drusinsky (Naval Postgraduate School, US) 
 

TLtoSQL: Rapid Post-Mortem Verification using Temporal Logic to SQL Code Generation in the Eclipse PDE (1569201104)

Doron Drusinsky (Naval Postgraduate School, US) 
 

The Verification and Validation of Software Architecture for Systems of Systems (1569203302)

Bret Michael (Naval Postgraduate School, US); Richard Riehle (Naval Postgraduate School, US); Man-Tak Shing (Naval Postgraduate School, US) 
 

Software Reuse in the IV&V of System of Systems (1569203306)

Thomas Otani (Naval Postgraduate School, US); Bret Michael (Naval Postgraduate School, US); Man-Tak Shing (Naval Postgraduate School, US) 
 
 

Session:  Safety & Fault Tolerance Engineering 
 

A Validation Metrics Framework for Safety-Critical Software-Intensive Systems (1569202686)

Kristian Cruickshank (Royal Australian Air Force, AU); Bret Michael (Naval Postgraduate School, US); Man-Tak Shing (Naval Postgraduate School, US) 
 

Standards Interoperability: Applying Software Safety Assurance Standards to the Evolution of Legacy Software (1569203300)

Bret Michael (Naval Postgraduate School, US); Man-Tak Shing (Naval Postgraduate School, US); Jeffrey Voas (SAIC, US); Desmond Meacham (Royal Australian Air Force, AU) 
 

A Hybrid Fault Diagnosis for a Team of Unmanned Aerial Vehicles (1569210044)

Mani Tousi (Concordia University, CA); Amir Aghdam (Concordia University, CA); Kash Khorasani (Concordia University, CA) 
 

A Simulation Approach for the Design of Safety-Relevant Automotive Multi-ECU Systems (1569187819)

Thomas Herpel (University of Erlangen-Nuremberg, DE); Reinhard German (Universitaet Erlangen-Nuernberg, DE) 
 

If-cube2: Evaluating Throughput of an Improved Wormhole-Switched Routing for NoC with Faults (1569210035)

Arshin Rezazadeh (Iran University of Science and Technology, IR) 
 
 

Session:  Agent-based Systems for Command & Control 
 

Motion Coordination of Multi-agent Formation of Rovers (1569187628)

Anjan Ray (IIT Kanpur, IN); Patrick Benavidez (University of Texas at San Antonio, US); Mo Jamshidi (University of Texas at San Antonio, US) 
 

Intelligent agent control using simple logic-based hierarchical planning (1569188150)

Huy Pham (University of Guelph, CA); Qusay Mahmoud (University of Guelph, CA); Alexander Ferworn (Ryerson University, CA) 
 

A Dependency Based Framework for the Evaluation of Agent Oriented Methodologies (1569188003)

Reza Basseda (University of Tehran, IR); Tannaz Alinaghi (University of Tehran, IR); Camellia Ghoroghi (Sharif University of Technology, IR) 
 

Mobile Agents Formation Control in 3D Environments based on Self Organization Strategies (1569203526)

Miguel Sánchez-Acevedo (CINVESTAV Unidad Guadalajara, MX); Ernesto Lopez-Mellado (CINVESTAV Unidad Guadalajara, MX); Félix Ramos-Corchado (CINVESTAV Unidad Guadalajara, MX) 
 

Path Planning for a Multiple Robot System (1569203549)

Scott Dearie (New Mexico Institute of Mining and Technology, US); Kevin Wedeward (New Mexico Tech, US) 
 
 

Session:  SoSE Case Studies II 
 

Self-Organization of Mobile Devices Networks (1569203822)

Guadalupe Olascuaga-Cabrera (CINVESTAV Unidad Guadalajara, MX); Ernesto Lopez-Mellado (CINVESTAV Unidad Guadalajara, MX); Félix Ramos-Corchado (CINVESTAV Unidad Guadalajara, MX) 
 

A Physics of Interdependence for Human-Robot-Machine Organizations (1569189222)

William Lawless (Paine College, US); Donald Sofge (Naval Research Laboratory, US); Ganesh Venayagamoorthy (Missouri University of Science and Technology, Rolla, US) 
 

Optimizing Social Life using Online Friend Networks (1569188127)

Wenbin Luo (St. Mary's University, US) 
 

Coordinated Control of Distributed Generation to Balance Line Powers (1569210023)

Karina Munoz-Ramos (New Mexico Tech, US); Kevin Wedeward (New Mexico Tech, US)